理学 形式模型 释 Kripke structure 克里普克结构 针对正规模态逻辑提出的一种语义结构。由一个表示所有可能世界的集合和该集合上的若干关系组成。它的基本形式是一个图，节点表示系统的可达状态，边用来表示状态间可能的迁移。由美国学者S.A.克里普克[注]（Saul Aaron Kripke，1940～ ）于1963年提出。
人工智能 人工智能逻辑 释文 Kripke structure 克里普克结构
- folktale of the abandoned old man who saves the kingdom
- folktale of the Conch Girl
- folktale of the Feather Girl
- folktale of the grateful animals
- folktale of the man clad in feather-made costume
- folktale of the python monster
- folktale of the stupid son-in-Law
- folktale of the tiger being frightened by "leakage"
- folk taxonomy
- Folkung Dynasty
- Folkways
- folkways of scenic regions
- folk weightlifting
- follicle
- follicle cell
- follicle mite
- follicle stimulating hormone
- follicle-stimulating hormone
- follicle stimulating hormone releasing factor
- follicular antrum
- follicular cavity
- follicular cell
- follicular dendritic cell
- follicular development
- follicular epithelial cell