未名学者讲座36

知识的逻辑——从哲学到人工智能

时间：5月30日（周三）19:00

地点：北京大学二体地下报告厅B102

主讲人：王彦晶（北京大学哲学系 副教授）

评议人：林作铨（北京大学数学科学学院 教授）

主持人：邢滔滔（北京大学哲学系 教授）

【内容简介】

知识逻辑（epistemic logic）主要研究知识及信念的推理及更新模式，它发源于哲学讨论，利用数学工具对相关概念进行形式化，进而被广泛应用于理论计算机、博弈论及人工智能等领域，是哲学逻辑（philosophical logic）最具代表性及应用性的子领域之一。本次报告首先简要介绍经典知识逻辑的发展历史，梳理哲学讨论如何推动了逻辑技术的进展，而逻辑技术的进展又如何启发了进一步的哲学讨论及其在人工智能中的应用。本报告的第二部分着重介绍报告人近期的工作：关于“知道如何”、“知道为何”、“知道是谁”等等的非标准的知识逻辑，以及与它们相关的哲学、语言学以及人工智能的问题。（本次报告不预设任何背景，欢迎各种专业的听众，希望能通过知识逻辑的例子让大家看到人文学科与其他学科在现代的交叉融合。）

【相关阅读】

泥孩谜题（Muddy Children） ： 三个小孩在门口玩，他们的额头上都弄上了泥巴，不过他们只能看到别人头上有泥巴，而不知道自己头上有没有泥巴。他们的老爸(一位逻辑学家) 出门看到孩子们玩的脏兮兮的很生气, 他说: “你们中间有人把泥巴弄到头上了!” 

• 接着他命令: “知道自己头上有泥巴的给我站出来!”

• 没人站出来。他重复道: “知道自己头上有泥巴的站出来!”

• 还是没人站出来，他最后又大声说了一遍：“现在知道自己头上有泥巴的给我站出来!”

突然，这三个小孩都齐刷刷的站出来了。 

这是为什么? (假设虎父无犬子)

尾声：老爸严厉地批评了他们不爱干净的坏习惯，但是为了奖赏他们出色的逻辑推理能力，每人又发了一个苹果（洗手之后才能吃！）。

【主讲人简介】

王彦晶，北京大学哲学学士（2004），荷兰阿姆斯特丹大学逻辑学博士（2010），现任北京大学哲学系长聘副教授，中国逻辑学会现代逻辑专业委员会秘书长，中国数学学会数理逻辑专业委员会理事，入选第二批国家万人计划之青年拔尖人才支持计划。主要研究领域是模态逻辑（modal logic），专长为与哲学及人工智能相关的知识逻辑（epistemic logic）。在Synthese, Artificial Intelligence, Review of Symbolic Logic, Advances in Modal Logic, Studia Logica, Minds and Machines 等刊物及论文集上发表英文论文四十余篇。个人主页：www.wangyanjing.com。