理学 形式模型 释 Kripke structure 克里普克结构 针对正规模态逻辑提出的一种语义结构。由一个表示所有可能世界的集合和该集合上的若干关系组成。它的基本形式是一个图，节点表示系统的可达状态，边用来表示状态间可能的迁移。由美国学者S.A.克里普克[注]（Saul Aaron Kripke，1940～ ）于1963年提出。
人工智能 人工智能逻辑 释文 Kripke structure 克里普克结构
- Lv Zhu
- L. Walras
- L. Walras (1834—1910)
- L. W. Alvarez
- L. W. Alvarez, 1911—
- LWC
- LWD法
- LWGR nuclear power plant
- LWI
- L. Wittgenstein
- L. Wittgenstein (1889—1951)
- LWR
- LX
- LX bar
- LXI bus test instruments
- LXI总线测试仪器
- ly
- Lyapin
- Lyapunov
- Lyapunov, Aleksandr Mikhailovich
- Lyapunov characteristic exponent
- Lyapunov characteristic number
- Lyapunov condition
- Lyapunov convexity theorem
- Lyapunov curve