理学 形式模型 释 Kripke structure 克里普克结构 针对正规模态逻辑提出的一种语义结构。由一个表示所有可能世界的集合和该集合上的若干关系组成。它的基本形式是一个图，节点表示系统的可达状态，边用来表示状态间可能的迁移。由美国学者S.A.克里普克[注]（Saul Aaron Kripke，1940～ ）于1963年提出。
人工智能 人工智能逻辑 释文 Kripke structure 克里普克结构
- useful life
- useful load
- useful skew
- use function
- useless symbol
- use little to comprehend much
- U.S. Energy Information Administration （EIA）
- U.S. Environmental Protection Agency
- use of collection
- use principle
- user
- user account
- user accuracy
- user agent
- user authorization file
- user behavior data
- user-centered design
- user charge
- user cognitive style
- user cost
- user CPU time
- user datagram protocol
- user datagram protocol protocol
- user datagram protocol, UDP
- user-defined character-formation program