知识的逻辑-北京大学哲学系.PDF

知识的逻辑 从哲学到人工智能 王彦晶 北大哲学系 2018 年5 月30 日未名学者报告 1 海报是啥意思? 让我们做个小游戏来体会知识相关的推理。 2 泥孩谜题 三个小孩在门口玩，他们的额头上都弄上了泥巴，不过他们只能 看到别人头上有泥巴，而不知道自己头上有没有泥巴。他们的老 爸(一位逻辑学家) 出门看到孩子们玩的脏兮兮的很生气, 他说: “你们中间有人把泥巴弄到头上了!” • 接着他命令: “知道自己头上有泥巴的给我站出来!” • 没人站出来。他重复道: “知道自己头上有泥巴的站出来!” • 还是没人站出来，他最后又大声说了一遍：“现在知道自己 头上有泥巴的给我站出来!” 突然，这三个小孩都齐刷刷的站出来了。这是为什么? (假设虎父 无犬子) 更一般的, 如果一共n 个小孩里面有k 个头上有泥巴呢？ 人脑容易烧坏, 需要靠谱的推理工具. 3 想不清楚怎么办？ • “精炼我们的推理的唯一方式是使它们同数学一样切实，这 样我们能一眼就找出我们的错误，并且在人们有争议的时 候，我们可以简单的说：让我们来算算吧。而无须进一步的 忙乱，就能看出谁是正确的”–莱布尼兹 4 背景: 逻辑学 知识逻辑 超越“知道如是” 的知识逻辑 结语 5 背景: 逻辑学 逻辑学是什么？ • 容易接受的定义: 研究有效的推理形式 • 所有人都是会死的 苏格拉底是人 所有A都是B a是A 苏格拉底是会死的 a是B • 有效就是保真: 如果前提真则通过逻辑推理保证结论真. 类 似干净的水管... 谈论逻辑学时, 经常看到的东西: • 形式语言: e.g., 公式xRx Hx xRx Hx • (真值条件) 语义: 模型(数学结构)+ 公式在什么模型上为真 • 符号证明系统 • 公理e.g., φ φ • 推理规则e.g., φ φ 7 仅仅为了帮助理解 自然语言: 句子 句子 精确化 符号推理 ⊢ 形式语言: 公式 公式 形式语义 语义 语义 包含 ⊨ 模型: 性质 性质 抽象