理学 形式模型 释 Kripke structure 克里普克结构 针对正规模态逻辑提出的一种语义结构。由一个表示所有可能世界的集合和该集合上的若干关系组成。它的基本形式是一个图，节点表示系统的可达状态，边用来表示状态间可能的迁移。由美国学者S.A.克里普克[注]（Saul Aaron Kripke，1940～ ）于1963年提出。
人工智能 人工智能逻辑 释文 Kripke structure 克里普克结构
- chemical mutation breeding for forage plants
- chemical oscillation
- chemical oxidation
- chemical oxygen balance
- chemical oxygen demand
- chemical oxygen demand (COD)
- chemical patterning
- chemical pattern recognition
- chemical phase analysis
- chemical physics
- chemical plant training simulator
- chemical plating
- chemical polishing
- chemical polishing machine
- chemical pollution
- chemical pollution prevention and control law
- chemical potential
- chemical potential of mixing perfect gas
- chemical power source
- chemical preservation
- chemical pre-treatment
- chemical process control
- chemical process control system
- Chemical Process Design Handbook
- chemical processes for water pollution