理学 形式模型 释 Kripke structure 克里普克结构 针对正规模态逻辑提出的一种语义结构。由一个表示所有可能世界的集合和该集合上的若干关系组成。它的基本形式是一个图，节点表示系统的可达状态，边用来表示状态间可能的迁移。由美国学者S.A.克里普克[注]（Saul Aaron Kripke，1940～ ）于1963年提出。
人工智能 人工智能逻辑 释文 Kripke structure 克里普克结构
- natural width
- natural width of gamma ray spectrum
- natural width of spectral line
- natural width of γ-ray spectrum
- Natural will
- natural X-ray background
- natural year
- natural zeolite material
- natural γ-ray background
- natural γ-ray logger
- Nature
- nature
- Nature and Destiny, theory of
- nature and form
- nature and society
- nature and talent
- nature as a whole and as a necessity
- nature-based solution
- nature climbing
- nature conservation
- Nature Conservation Act
- nature defects of wood
- nature exhibition
- nature fiber thermoplastic composites
- nature gas roll over