理学 形式模型 释 Kripke structure 克里普克结构 针对正规模态逻辑提出的一种语义结构。由一个表示所有可能世界的集合和该集合上的若干关系组成。它的基本形式是一个图，节点表示系统的可达状态，边用来表示状态间可能的迁移。由美国学者S.A.克里普克[注]（Saul Aaron Kripke，1940～ ）于1963年提出。
人工智能 人工智能逻辑 释文 Kripke structure 克里普克结构
- sirocco fan
- sirofil spinning
- sirolimus
- Sir Oliver Mowat
- Sirona
- sirospun
- Sirrah
- Sir Richard John Evans
- Sir Richard William Southern
- Sir Robert Geoffrey Edwards
- Sir Robert Laird Borden
- Sir Robert Peel
- Sir Robert Robinson
- Sirte
- Sirte Declaration
- SIRTF
- Sir Thomas Malory
- Sirufer
- Si Ruixuan
- Sir Walter Ralegh/Raleigh
- Sir Wilfrid Laurier
- Sir William Arthur Lewis
- Sir William Chambers
- Sir William Henry Perkin
- Sir Winston (Leonard Spencer) Churchill