Epistemic Logic

释义 Definition

认识逻辑 / 知识逻辑：研究“知识”“信念”“信息”等概念如何被形式化并用于推理的一类模态逻辑。常用来分析“某个主体知道什么”“主体之间的共同知识”“在不确定信息下如何推断”等问题。（该术语也常与多智能体系统、博弈论、计算机科学中的形式验证相关。）

发音 Pronunciation (IPA)

/ˌɛpɪˈstiːmɪk ˈlɒdʒɪk/（BrE）
/ˌɛpɪˈstiːmɪk ˈlɑːdʒɪk/（AmE）

例句 Examples

Epistemic logic helps us talk precisely about what an agent knows.
认识逻辑帮助我们精确地讨论一个主体“知道什么”。

In multi-agent systems, epistemic logic can model how each agent’s knowledge changes after a public announcement.
在多智能体系统中，认识逻辑可以刻画公开宣告之后每个主体的知识如何变化。

词源 Etymology

epistemic 来自希腊语 epistēmē（“知识、认知”），通过哲学术语进入英语；logic 源自希腊语 logos（“言说、理性、论证”）。两者组合成 epistemic logic，字面即“关于知识的逻辑”，指用逻辑工具来形式化并研究知识/信念相关的推理。

相关词 Related Words

• Knowledge
• Belief
• Modal
• Modality
• Axiom
• Semantics
• Kripke
• Common
• Information
• Uncertainty

文学与著作 Literary Works

• Reasoning About Knowledge（Fagin, Halpern, Moses, Vardi）：系统介绍知识逻辑在计算机科学与多主体推理中的应用。
• Knowledge and Belief: An Introduction to the Logic of the Two Notions（Jaakko Hintikka）：早期经典著作之一，奠定知识与信念的逻辑分析框架。
• Dynamic Epistemic Logic（van Ditmarsch, van der Hoek, Kooi）：讨论信息更新（如公告、观察）下知识如何演化的核心教材。
• Epistemic Logic and the Theory of Games and Decisions（Robert J. Aumann 等相关文献脉络中常见）：在博弈论中用于刻画“我知道你知道……”的层级知识与共同知识。