理学 形式模型 释 Kripke structure 克里普克结构 针对正规模态逻辑提出的一种语义结构。由一个表示所有可能世界的集合和该集合上的若干关系组成。它的基本形式是一个图，节点表示系统的可达状态，边用来表示状态间可能的迁移。由美国学者S.A.克里普克[注]（Saul Aaron Kripke，1940～ ）于1963年提出。
人工智能 人工智能逻辑 释文 Kripke structure 克里普克结构
- borneol; Baros camphor; endo-2-bornanol; borneo camphor alcohol; endo-2-camphanol; camphol; dryobalanops camphor
- Born Global New Venture
- Born-Green equation
- Born-Green-Yvon equation
- Born Haber cycle
- Born-Haber cycle
- Born-Huang approximation
- Born Infeld equation
- Born-Infeld equation
- Born Into Brothels: Calcutta's Red Light Kids
- bornite
- Born, Max
- Born-Mayer potential
- bornologic
- bornological
- bornologic dual
- bornologic reflexivity
- bornologic set
- bornologic space
- bornologic topology
- bornology
- Born on the Fourth of July
- Born Oppenheimer approximation
- Born-Oppenheimer approximation
- Born Oppenheimer molecular dynamics