理学 形式模型 释 Kripke structure 克里普克结构 针对正规模态逻辑提出的一种语义结构。由一个表示所有可能世界的集合和该集合上的若干关系组成。它的基本形式是一个图，节点表示系统的可达状态，边用来表示状态间可能的迁移。由美国学者S.A.克里普克[注]（Saul Aaron Kripke，1940～ ）于1963年提出。
人工智能 人工智能逻辑 释文 Kripke structure 克里普克结构
- shaft boring
- shaft-boring machine
- shaft bottom plan
- shaft construction machinery
- shaft construction scheme
- shaft construction survey
- shaft cover platform
- shaft current
- shaft current of hydro-generator unit
- shaft deepening
- shaft development
- shaft distortion
- shaft drainage
- shaft drilling
- shaft drilling machine
- shaft encoder
- shaft excavation
- shaft fixed platform
- shaft for cable and pipe
- shaft furnace
- shaft furnace iron smelting in Africa
- shaft hoisting
- shafting
- shaft kiln
- shaft-less printing system