理学 形式模型 释 Kripke structure 克里普克结构 针对正规模态逻辑提出的一种语义结构。由一个表示所有可能世界的集合和该集合上的若干关系组成。它的基本形式是一个图，节点表示系统的可达状态，边用来表示状态间可能的迁移。由美国学者S.A.克里普克[注]（Saul Aaron Kripke，1940～ ）于1963年提出。
人工智能 人工智能逻辑 释文 Kripke structure 克里普克结构
- collectively normal space
- collective memory
- collective mode
- collective model
- collective motion
- collective negotiation
- collective noun phrases
- collective of automata
- collective opera rehearsal without instrumental accompaniment
- collective operation
- collective oscillation
- collective oscillation, mass oscillation
- collective-owned land
- collective ownership
- collective ownership industry
- collective ownership of rural land
- collective pinning
- collective pinning model
- collective plasma
- collective procurement
- collective reading
- collective responsibility
- collective risk model
- collective risk theory
- collective rotation