首页
[{"ID":42422,"Name":"理学"},{"ID":81272,"Name":"计算机科学技术"},{"ID":81604,"Name":"计算机软件"},{"ID":81605,"Name":"软件基础理论"},{"ID":81610,"Name":"形式模型"}]
克里普克结构
/Kripke structure/
最后更新 2022-12-23
浏览 40次
针对正规模态逻辑提出的一种语义结构。由一个表示所有可能世界的集合和该集合上的若干关系组成。它的基本形式是一个图，节点表示系统的可达状态，边用来表示状态间可能的迁移。由美国学者S.A.克里普克[注]（Saul Aaron Kripke，1940～ ）于1963年提出。
- 英文名称
- Kripke structure
- 提出者
- 美国学者S.A.克里普克（Saul Aaron Kripke，1940～ ）
- 所属学科
- 计算机科学技术
京公网安备 11010202008139号
