Epistemic Logic

知识的逻辑（2024秋季） Epistemic Logic 
教师：王彦晶， 时间：每周三 7－9节 地点：地学楼 101 理教212
相关其他课程详情见逻辑语言认知中心的网站：http://logic.pku.edu.cn

News:

12月25日学生报告，小论文交稿时间: 2025.1.5日 要求:

  • 符合学术规范，可参考这里的建议和tips。
  • 有一定的原创性。
  • 中英文皆可。
  • 用$\LaTeX$写作，输出PDF提交。

12 月 18 日第十四次课 (Slides1， Slides2)

12 月 11 日第十三次课 (Slides)

12月4日第十二次课 (Slides1, Slides2) 相关文献：

11月27日第十一次课 (Slides)

Logics of (goal-directed) knowing how
相关文献：

11月20日第十次课 (Slides)

我们讲了知道值逻辑的来龙去脉。
参考文献

11月15日 第九次课(Slides) Hans van Ditmarsch 教授讲的puzzle.

我们讲了know-whether的逻辑和相关的工作。
延伸阅读：

  • Hart, S., Heifetz, A., & Samet, D.: Knowing whether, knowing that, and the cardinality of state spaces. Journal of Economic Theory, 70(1), 249–256. (1996) 关于用 knowing whether 构造不可数多个 knowledge states
  • 关于knowledge的状态的基数 的各种讨论，请参见这个slides
  • W. van der Hoek and A. Lomuscio: A logic for ignorance. Electronic Notes in Theoretical Computer Science, 85(2)(2):117-133, 2004. 关于无知的逻辑。
  • J. Fan, Y. Wang and H. van Ditmarsch: Contingency and knowing whether, in Review of Symbolic Logic 8 (1):75-107 (2015), 我们的文章，里面有和noncontingency logic 过去六十年结果的综述和比较。
  • J. Fan, Y. Wang and H. van Ditmarsch: Almost necessary, in Advances in Modal Logic Vol. 10: 178-197 (2014), College Publications 我们提出 NCL 互模拟的文章。
  • J. Fan, H. van Ditmarsch: Neighborhood Contingency Logic. in Proceedings of ICLA 2015: 88-99 极小的NCL 逻辑
  • 范杰 《非偶然算子的逻辑研究》 博士论文 北京大学 2015 (Logical Studies for Non-contingency Operator PhD thesis of Jie Fan , in Chinese) 其他论文见范杰主页 范杰博士论文里有互模拟的传递性证明。
  • Commonly knowing whether的论文。
  • M. Aloni, P. Égré, Tikitu de Jager: Knowing whether A or B. Synthese 190(14): 2595-2621 (2013)
  • Andreas Herzig 在WoLLiC上关于know whether 和 commonly know whether的特邀报告
  • 和Rough set 的关系的论文
  • Kit Fine：Ignorance of Ignorance. Synthese 195：4031–4045 (2018) 高阶无知的不可知

11月6日第八次课 (Slides)
我们介绍了 Beyond knowing that 的基本思路

延伸阅读：

  • Hintikka, J., Hintikka, M.: Reasoning about knowledge in philosophy: The paradigm of epistemic logic. In: The Logic of Epistemology and the Epistemology of Logic. Volume 200 of Synthese Library. Springer Netherlands (1989) 17–35
  • Hintikka, J. (2003). A Second Generation Epistemic Logic and its General Significance. In V. F. Hendricks, K. F. Jørgensen, & S. A. Pedersen (Eds.), Knowledge Contributors (pp. 33–55). Springer. (用 IF logic 的思想处理二阶的量化)
  • Yanjing Wang: Beyond knowing that: a new generation of epistemic logic  in Jaakko Hintikka on knowledge and game theoretical semantics: 499-533. Springer (See the section about Hintikka’s contributions and the references therein)
  • Rendsvig, Rasmus, John Symons, and Yanjing Wang, “Epistemic Logic“, The Stanford Encyclopedia of Philosophy (Summer 2024 Edition), Edward N. Zalta & Uri Nodelman (eds.)
  • Gochet P, Gribomont P (2006) Epistemic logic. In: Gabbay DM, Woods J (eds) Handbook of the History of Logic, vol 7 早期的有关一阶模态的综述
  • Jason Stanley and John W. Krakauer (2013): Motor skill depends on knowledge of facts. Frontiers in Human Neuroscience. know-how哲学家与神经科学家合作的工作

10月30日第七次课（Slides）

我们举了一个例子用动态和时态的思想的结合去做 planning 的事，然后讲了更一般性的 event model DEL.

10月23日第六次课（Slides）

我们介绍了两种把动态语义转换成静态语义的办法：引入语境依赖和考虑二维模型的特殊类，我们分别用这两种思路系统性地梳理了各种完全与不完全的基于规约公理的PAL的公理化，之后提出了不依赖于规约公理的新的公理化动态知识逻辑的方法。

10月18日第五次课（Slides）

我们介绍了动态知识逻辑的思想来源，最基本的PAL的思想和基于reduction的公理化。

  • Jan Plaza: Logics of public communications Synthese 58(2)165-179 2007 (reprint). （大家可以看看Plaza用的符号，我们之后还会回到这篇经典文章）
  • Hans P. van Ditmarsch, Barteld P. Kooi: The Secret of My Success. Synthese 151(2): 201-232 (2006) （关于什么公式在announce后可以保持真值）
  • Wesley H. Holliday, Tomohiro Hoshi, Thomas F. Icard III: Information dynamics and uniform substitution. Synthese 190(Supplement-1): 31-55 (2013) （关于对substitution 封闭的PAL子逻辑）
  • Wesley H. Holliday, Thomas F. Icard III: Moorean Phenomena in Epistemic Logic. Advances in Modal Logic 2010: 178-199 （关于说出来就变假的公式的语形刻画）
  • Carsten Lutz: Complexity and succinctness of public announcement logic. AAMAS 2006: 137-143 关于 PAL 简洁性的文章
  • Thomas Ågotnes, Hans van Ditmarsch, Yanjing Wang: True lies. Synthese 195(10): 4581-4615 (2018) （关于假话说出来就变真的以及来回变真值的命题的刻画）
  • Jan van Eijck, Floor Sietsma, Yanjing Wang: Composing models. Journal of Applied Non-Classical Logics 21(3-4): 397-425 (2011) （关于通过组合的方式造模型的工作）

10月 9 日第四次课（Slides）

我们介绍了和知识逻辑相关的一些“兄弟”逻辑以及他们是怎么结合在一起的。

参考文献：

9月25日第三次课（Slides）
我们讨论了基本知识逻辑的一些（哲学上及技术上）的问题。

参考文献：

注意从下周开始我们在理教212上课

9月 18 日 第二次课，Slides

课上我们简单回顾了 epistemic logic 发展早期的历史。相关参考文献：

9月 11 日第一次课 (课程介绍，Slides)

我们先介绍了课程的一些基本信息，然后从什么是逻辑学讲起，结合一些和知识有关的 puzzle 介绍了知识逻辑的一些基本内容。本次课主要面向没有逻辑基础来旁听第一次课的同学。

相关参考：

  • 关于“知道”逻辑的中国开拓者北大的马希文教授，
  • 马希文曾统筹了奇书Gödel, Escher, Bach: an Eternal Golden Braid（GEB）的翻译 中文版
  • 请参考王仁俊老师的博士论文的2-3章关于epistemic logic发展的部分，我们之后会梳理知识逻辑最原初的思想脉络：Ren-June Wang: Timed Modal Epistemic Logic. PhD thesis, City University of New York (2011)
  • 相关会议： TARK，LOFT，AiML，LORI, KR, AAMAS 等

本课程定位为研究导向的偏技术性逻辑学课程，建议有较好模态逻辑基础的同学选课，欢迎旁听。

大概内容（Contents）：

 知识逻辑（Epistemic Logic）起源于哲学中对知识概念及其推理的分析，后广泛应用于理论计算机科学、人工智能、以及博弈论等各相关学科中对于知识的刻画和推理。传统的知识逻辑集中处理“知道如是”（knowing that）的逻辑并取得了较为丰富的结果。然而日常生活中的知识陈述除了”知道如是“以外还有很多种，比如“知道如何”（knowing how）、“知道为何”（knowing why）、”知道什么“（knowing what）等等。这些知识的概念和推理规则是否与传统的”知道如是“类似？在逻辑上应该如何刻画？有何有趣的技术问题及解决方案？本课将梳理知识逻辑的哲学及技术发展，特别突出前述非经典知识逻辑的最新技术结果，特别是一阶模态逻辑的一系列可判定的打包片段以及非经典逻辑的知识逻辑翻译。

大概计划（Plan）：

Lecture 1 Introduction

Lecture 2 A Brief History

Lecture 3 Classical Problems

Lecture 4 Friends of EL

Lectures 5-7 Dynamics

Lecture 8 Know-wh: Intro

Lecture 9 Know-whether

Lecture 10 Know-what

Lecture 11 Know-how

Lecture 12 Know-why/who

Lecture 13 Bundled fragments of FOML as a new epistemic framework

Lecture 14 Nonclassical logics as epistemic logic

Lecture 15-16 Student presentations


目标（Objectives）：

  • 知识储备：知道知识逻辑这个领域中的思想基础，主要分支、重要问题和基本结果。 
  • 逻辑技能：掌握一些非正规的模态逻辑的公理化以及刻画表达力的技术。
  • 学术技能：熟练阅读英文文献（精读），能自主发现问题，能熟练使用相关信息化工具收集跟踪文献，能用LaTeX写作合乎规范的学术文章并做学术报告。 
  • 态度培养：开放且审慎的心态，不盲从迷信权威，不畏惧复杂问题，忍受做研究过程中的挫折感与不确定性，逐渐形成学术品位，遵守学术伦理做真诚的探究。

教学材料（Course material）：

以课堂幻灯片及相关文献为主，经典知识逻辑部分的参考书：

  • Fagin, R., Halpern J., Moses, Y., and Vardi, M.: Reasoning about knowledge The MIT Press 1995
  • van Ditmarsch, H., Halpern, J., van der Hoek, W., and Kooi B., eds: Handbook of Epistemic Logic College Publications 2015
  • van Ditmarsch, H., van der Hoek, W., and Kooi, B. (2007): Dynamic Epistemic Logic, Springer
  • van Benthem, J. (2011): Logical Dynamics of Information and Interaction

考核（Grading）：

  • 小论文（70%） 
  • 学术报告及课堂讨论（30%）

大致安排（Plan）：

老师讲授+小论文课题讨论及报告

预备知识（Prerequisites）：

一阶逻辑基本知识及模态逻辑的模型论、公理化、判定性技术。

Office hours：

办公室：哲学系2号楼139 周四下午4 pm – 6 pm（请提前预约）。
意见、建议或其它问题请发email：y.wang艾特pku.edu.cn