理学 形式模型 释 Kripke structure 克里普克结构 针对正规模态逻辑提出的一种语义结构。由一个表示所有可能世界的集合和该集合上的若干关系组成。它的基本形式是一个图，节点表示系统的可达状态，边用来表示状态间可能的迁移。由美国学者S.A.克里普克[注]（Saul Aaron Kripke，1940～ ）于1963年提出。
人工智能 人工智能逻辑 释文 Kripke structure 克里普克结构
- Thompson group
- Thompson,John Griggs
- Thompson lamp paradox
- Thompson subgroup
- Thom's catastrophe theory
- [Thom's] catastrophe theory
- Thomsen's heat
- Thomsen, Vilhelm Ludwig Peter
- Thomson
- Thomson atomic model
- Thomson coefficient
- Thomson crater
- Thomson cross-section
- Thomson effect
- thomson effect
- Thomson electromotive force
- Thomson heat
- Thomson model of the atom
- Thomson problem
- Thomson Reuters
- Thomson scattering
- Thomson scattering coefficient
- Thomson scattering cross-section
- Thomson scattering diagnostics
- Thomson scattering tomography scanning