理学 形式模型 释 Kripke structure 克里普克结构 针对正规模态逻辑提出的一种语义结构。由一个表示所有可能世界的集合和该集合上的若干关系组成。它的基本形式是一个图，节点表示系统的可达状态，边用来表示状态间可能的迁移。由美国学者S.A.克里普克[注]（Saul Aaron Kripke，1940～ ）于1963年提出。
人工智能 人工智能逻辑 释文 Kripke structure 克里普克结构
- round-off rule of significant figure
- roundout
- round pottery pot with song and dance patterns
- round robin
- round-robin scheduling
- round robin tournament
- round sacculus
- round sardinella
- round scad
- round sum
- Roundtable on the Development and the Role of Museums in Today's World
- round-trip gain
- round trip time
- round trip time, RTT
- round-trip transit time
- roundup
- Roundworm
- Rouran Nomadic Tribes
- Rouruo language
- Rouse model
- Rousham House and Garden
- Rou Shi
- Roushi Memorial Hall
- Roussas
- Rousseau's educational thoughts of naturalism