理学 形式模型 释 Kripke structure 克里普克结构 针对正规模态逻辑提出的一种语义结构。由一个表示所有可能世界的集合和该集合上的若干关系组成。它的基本形式是一个图，节点表示系统的可达状态，边用来表示状态间可能的迁移。由美国学者S.A.克里普克[注]（Saul Aaron Kripke，1940～ ）于1963年提出。
人工智能 人工智能逻辑 释文 Kripke structure 克里普克结构
- Dream of Pomegranate Blossoms
- Dream of the Red Chamber
- Dreams of Cyan Chamber
- Dreams of Heaven
- Dreams of Richly-Decorated Chambers
- Dreams of This and Nether Worlds to Caution the World
- Dream Talk at the Pine Window
- Dreamtime
- Dream Weavers—Beijing 2008
- dream work
- drecursor chemical control
- dredge
- dredged sludge
- dredge engineering survey
- dredger
- dredger filling area vertical displacement observation
- dredger filling engineering survey
- dredge the kidney essence qi
- dredge-up
- dredge-up net fishing
- dredging
- dredging engineering
- dredging engineering of port
- dredging of inland waterway
- dredging on sea