理学 形式模型 释 Kripke structure 克里普克结构 针对正规模态逻辑提出的一种语义结构。由一个表示所有可能世界的集合和该集合上的若干关系组成。它的基本形式是一个图，节点表示系统的可达状态，边用来表示状态间可能的迁移。由美国学者S.A.克里普克[注]（Saul Aaron Kripke，1940～ ）于1963年提出。
人工智能 人工智能逻辑 释文 Kripke structure 克里普克结构
- Robert Ezra Park
- Robert Ferdinand Wagner
- Robert Filmer
- Robert Fisk
- Robert FitzGereald
- Robert Flaherty
- Robert Floyd Curl Jr.
- Robert Forester Mushet
- Robert Francis Furchgott
- Robert Francis Kennedy
- Robert Frank
- Robert Franz
- Robert Fritz Graebner
- Robert Frost
- Robert Fulton
- Robert Gabriel Mugabe
- Robert Garnier
- Robert Geoffrey Edwards
- Robert Gilpin
- Robert Gober
- Robert Gordon Menzies
- Robert Gray Gallager
- Robert Greene
- Robert Hallowell Richards
- Robert Harding Whittaker