理学 形式模型 释 Kripke structure 克里普克结构 针对正规模态逻辑提出的一种语义结构。由一个表示所有可能世界的集合和该集合上的若干关系组成。它的基本形式是一个图，节点表示系统的可达状态，边用来表示状态间可能的迁移。由美国学者S.A.克里普克[注]（Saul Aaron Kripke，1940～ ）于1963年提出。
人工智能 人工智能逻辑 释文 Kripke structure 克里普克结构
- Japanese music
- Japanese occupation of Taiwan
- Japanese ophiorrhiza
- Japanese pagoda tree
- Japanese panicgrass
- Japanese paper, Washi
- Japanese parrotfish
- Japanese photography
- Japanese pieris
- Japanese pipistrelle
- Japanese Pirates
- Japanese pittosporum
- Japanese Poetry and Painting Axis
- Japanese private international law
- Japanese pussy willow
- Japanese quail
- Japanese rice fish
- Japanese ring
- Japanese River Act
- Japanese Rock Garden
- Japanese royal fern
- Japanese sardinella
- Japanese sawshark
- Japanese seahorse
- Japanese Shinkansen