理学 形式模型 释 Kripke structure 克里普克结构 针对正规模态逻辑提出的一种语义结构。由一个表示所有可能世界的集合和该集合上的若干关系组成。它的基本形式是一个图，节点表示系统的可达状态，边用来表示状态间可能的迁移。由美国学者S.A.克里普克[注]（Saul Aaron Kripke，1940～ ）于1963年提出。
人工智能 人工智能逻辑 释文 Kripke structure 克里普克结构
- boundness test
- bound nucleus
- bound occurrence
- bound of convergence
- bound of star-likeness
- bound of the error
- bound of uniqueness
- bound on effective properties
- bound orbit
- bound osculating space
- boundpair
- bound rotation
- Bound Slave
- bound state
- bound state as pole of Green's function
- bound tariff rate
- bound term
- bound variable
- bound vector
- bound volume
- Bound Volume of Spring and Autumn Annals and Zuo's Commentary, block-printed edition by Family Yue's private school in Jingxi County, Yuan Dynasty
- bound vortex
- bound water
- bound wave
- Bounseun Songmany