理学 形式模型 释 Kripke structure 克里普克结构 针对正规模态逻辑提出的一种语义结构。由一个表示所有可能世界的集合和该集合上的若干关系组成。它的基本形式是一个图，节点表示系统的可达状态，边用来表示状态间可能的迁移。由美国学者S.A.克里普克[注]（Saul Aaron Kripke，1940～ ）于1963年提出。
人工智能 人工智能逻辑 释文 Kripke structure 克里普克结构
- salicyl alcohol
- salicylic acid
- salience
- salience inventory
- salience network
- saliency detection
- salient
- salient angle
- salient point
- salient pointed cone
- salient pole motor
- Salim Ahamed Salim
- Salim Ahmed Salim
- saline-alkali soils amelioration materials
- saline-alkali tolerant plants
- saline and alkali stress
- saline injection machine
- saline-lake fishery environment
- saline lake microbes
- saline lakes in China
- saline soil
- saline taste
- salinity
- salinity and composition analysis of seawater
- salinity control with freshwater replenishing