理学 形式模型 释 Kripke structure 克里普克结构 针对正规模态逻辑提出的一种语义结构。由一个表示所有可能世界的集合和该集合上的若干关系组成。它的基本形式是一个图，节点表示系统的可达状态，边用来表示状态间可能的迁移。由美国学者S.A.克里普克[注]（Saul Aaron Kripke，1940～ ）于1963年提出。
人工智能 人工智能逻辑 释文 Kripke structure 克里普克结构
- Eureka Youth League
- Eurico, the Presbyter
- Euripides
- Euro-Asian Continental Eastern Forest Transect
- Euro-Asian Continental Grassland Transect
- Euro-Asian Cooperation of National Metrological Institutions
- EUROFIX system
- EUROFIX系统
- Europa
- Europa Orbiter
- Europe
- Europeana
- european advanced pressurized water reactor nuclear power plant
- European agricultural revolution
- European Alliance of News Agencies
- European and International Booksellers Federation
- European Aquaculture Society
- European Association for Lexicography
- European Association for Library and Information Education and Research，EUCLID
- European Association of Geoscientists and Engineers
- European Association of National Metrology Institutes
- European Association of Sinological Librarians
- European Astronaut Psychological Working Group
- European Aviation Safety Agency
- European bird cherry