理学 形式模型 释 Kripke structure 克里普克结构 针对正规模态逻辑提出的一种语义结构。由一个表示所有可能世界的集合和该集合上的若干关系组成。它的基本形式是一个图，节点表示系统的可达状态，边用来表示状态间可能的迁移。由美国学者S.A.克里普克[注]（Saul Aaron Kripke，1940～ ）于1963年提出。
人工智能 人工智能逻辑 释文 Kripke structure 克里普克结构
- infrared star
- infrared staring detector
- infrared staring imaging guidance
- infrared stealth composites
- infrared stellar radiation
- infrared stimulated luminescence
- infrared-submillimeter background
- infrared sun
- infrared surface thermometer
- infrared system
- infrared system simulation
- infrared system test method
- infrared target simulator calibration
- infrared technique
- infrared telescope
- Infrared Telescope in Space
- infrared television radar radio command combined guidance
- infrared temperature
- infrared temperature measurement
- infrared therapy
- infrared thermal imager
- infrared thermal imaging
- infrared thermographic inspection
- infrared thermography
- infrared thermometer