理学 形式模型 释 Kripke structure 克里普克结构 针对正规模态逻辑提出的一种语义结构。由一个表示所有可能世界的集合和该集合上的若干关系组成。它的基本形式是一个图，节点表示系统的可达状态，边用来表示状态间可能的迁移。由美国学者S.A.克里普克[注]（Saul Aaron Kripke，1940～ ）于1963年提出。
人工智能 人工智能逻辑 释文 Kripke structure 克里普克结构
- pedestal crater
- pedestrian and bicycle traffic system
- pedestrian and non-motor vehicle transportation planning
- pedestrian bridge
- pedestrian crossing facilities
- pedestrian detection
- pedestrian management
- pedestrian navigation
- pedestrian pocket
- pedestrians overpass facilities
- pedestrian street
- pedestrian system
- pedestrian transport facilities
- pedial
- pediatric occupational therapy
- pediatric physical therapy
- pediatrics
- pediatric speech therapy
- pedicel
- pedicellaria
- pediculosis
- pedigree
- pedigree analysis
- pedigree diagram
- pedigree of aquaculture germplasm