理学 形式模型 释 Kripke structure 克里普克结构 针对正规模态逻辑提出的一种语义结构。由一个表示所有可能世界的集合和该集合上的若干关系组成。它的基本形式是一个图，节点表示系统的可达状态，边用来表示状态间可能的迁移。由美国学者S.A.克里普克[注]（Saul Aaron Kripke，1940～ ）于1963年提出。
人工智能 人工智能逻辑 释文 Kripke structure 克里普克结构
- internet protocol security, IPsec
- internet protocol television
- internet protocol television, IPTV
- internet protocol version 4
- internet protocol version 4, IPv4
- internet protocol version 6
- internet protocol version 6, IPv6
- Internet Public Access Catalog
- Internet public opinion
- internet public opinion about the explosion
- Internet public opinion monitoring
- Internet public sentiment management
- internet radio
- Internet reference model
- internet relay chat
- internet relay chat, IRC
- Internet resource
- Internet routing registry
- Internet routing registry, IRR
- internet rumor
- internet rumors disposal
- Internet search technology
- internet security association and key management protocol
- internet security association and key management protocol, ISAKMP
- internet security protection management system