理学 形式模型 释 Kripke structure 克里普克结构 针对正规模态逻辑提出的一种语义结构。由一个表示所有可能世界的集合和该集合上的若干关系组成。它的基本形式是一个图，节点表示系统的可达状态，边用来表示状态间可能的迁移。由美国学者S.A.克里普克[注]（Saul Aaron Kripke，1940～ ）于1963年提出。
人工智能 人工智能逻辑 释文 Kripke structure 克里普克结构
- thou
- thought
- Thought and Language
- thought constitutes the greatness of man
- thought control training
- thought experiment
- thought experiment, gedanken experiment
- Thoughtful and Flexible
- Thoughtful and Flexible Historical Writing
- Though the Divine Turtle Is Long-Lived
- thought imprint psychotherapy in a lowered resistance state
- thought of valuing agriculture
- thought of water conservancy planning in ancient China
- Thoughts
- thoughts about journalism by Deng Xiaoping
- thoughts about journalism by Hu Jintao
- thoughts about journalism by Jiang Zemin
- thoughts about journalism by Liu Shaoqi
- thoughts about journalism by Mao Tsetung
- thoughts advocated by the Graduate Library School of Chicago University
- thoughts meet the scope
- Thoughts Miscellaneous Talk
- Thoughts of a Lady in the Chamber
- Thoughts of art education in The West
- thoughts of industrialization in modern history of China