Epistemic Logic 2020

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

News

12 月 30 日第十四次课

洪博、秦云飞、孙宁远、王潇扬、王一廷同学报告了他们的小论文题目。

小论文请参照之前发过的论文格式，提交截止日期 1 月 17 日，直接发送老师信箱。

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

相关文献：


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

12月9日第十一次课 (Slides)
相关文献：

12月2日第十次课 (Slides)
参考文献

11月25日第九次课 (Slides)
延伸阅读：

  • 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), Cambridge University Press 我们的文章，里面有和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)

11月18日第八次课 (Slides)
延伸阅读：

  • 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 (arXiv) in Jaakko Hintikka on knowledge and game theoretical semantics: 499-533. Springer (See the section about Hintikka’s contributions and the references therein)
  • Gochet P, Gribomont P (2006) Epistemic logic. In: Gabbay DM, Woods J (eds) Handbook of the History of Logic, vol 7

11 月 3 日第七次课（Slides）

见 Slides 后的参考文献及以下延伸阅读：

11 月 4 日 第六次课 （Slides）

参考文献见Slides及以下：

  • Yanjing Wang, Qinxiang Cao: On axiomatizations of public announcement logic. Synthese 190(S1): 103-134 (2013) 课上讲的两个问题的回答。
  • Johan van Benthem, Jelle Gerbrandy, Tomohiro Hoshi, Eric Pacuit: Merging Frameworks for Interaction. Journal of Philosophical Logic 38(5): 491-526 (2009) 用反复更新生成ETL-like森林，刻画其性质。
  • Yanjing Wang, Guillaume Aucher: An Alternative Axiomatization of DEL and Its Applications. IJCAI 2013: 1139-1146 不用 reduction 做更一般的 DEL。
  • Yanjing Wang: Book Review of Logical Dynamics of Information and Interaction by van Benthem. Studia Logica 102(3): 647-654 (2014) 关于 JvB 书的 guide。

10月28日 第五次课（Slides）

我们介绍了动态转向的基本思想和最基本的公开宣告逻辑的标准系统。

参考文献

  • 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
  • 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 月 21 日第四次课（Slides）

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

参考文献：


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

参考文献：

Lecture 2 (9月 30 日，Slides)

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

Lecture 1（9月 23 日）

9月23日第一次课 导言（Slides，课程介绍）
关于“知道”逻辑的中国开拓者北大的马希文教授
请阅读如下博士论文的2-3章关于epistemic logic发展的部分，我们之后会梳理知识逻辑最原初的思想脉络：
Ren-June Wang: Timed Modal Epistemic Logic. PhD thesis, City University of New York (2011)

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

大概内容（Contents）：

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


目标（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