理学 形式模型 释 Kripke structure 克里普克结构 针对正规模态逻辑提出的一种语义结构。由一个表示所有可能世界的集合和该集合上的若干关系组成。它的基本形式是一个图，节点表示系统的可达状态，边用来表示状态间可能的迁移。由美国学者S.A.克里普克[注]（Saul Aaron Kripke，1940～ ）于1963年提出。
人工智能 人工智能逻辑 释文 Kripke structure 克里普克结构
- chinese astronomical data center
- Chinese Astronomical Society
- Chinese Astronomy and Astrophysics
- Chinese Athletics Association
- Chinese Authors Association
- Chinese aviation press
- Chinese Badminton Association
- Chinese bahaba
- Chinese Ballads
- Chinese Ballad Singers Association
- Chinese Baroque Historical Cultural Preservation Areas
- Chinese Baseball Association
- Chinese Basketball Association
- Chinese bayberry
- Chinese Bible versions
- Chinese Big Five Personality Inventory
- Chinese Billiards & Snooker Association
- Chinese black olive
- Chinese black soft-shelled turtle, Pelodiscus sinensis nigrum
- Chinese block printing technology
- Chinese Bocce Association
- Chinese Bodybuilding Association
- Chinese Book Cataloguing Law
- Chinese Book Classification
- Chinese Book Review Monthly