理学 形式模型 释 Kripke structure 克里普克结构 针对正规模态逻辑提出的一种语义结构。由一个表示所有可能世界的集合和该集合上的若干关系组成。它的基本形式是一个图，节点表示系统的可达状态，边用来表示状态间可能的迁移。由美国学者S.A.克里普克[注]（Saul Aaron Kripke，1940～ ）于1963年提出。
人工智能 人工智能逻辑 释文 Kripke structure 克里普克结构
- Scouring Sediment Deposition in the Yellow River by Clear Water in the Huai River
- scouring wool yield
- scout
- Scouting
- scouting in the fire scene
- SCP
- SCP_1
- SCP_2
- SCPL
- SC-property
- SCR
- scram
- scramble
- scramble between Jinzhou and Yangzhou
- scrambled image
- Scramble for Malacca between the Britain and Netherlands
- scramble for the throne by Yunlu and Hongxi
- scramble network
- scramble pattern
- scrambler
- scrambling and descrambling
- scrambling for a sheep
- scramjet
- scramjet engine
- scrap