语义 - 天津大学计算机科学与技术学院.pdf

自然语言处理的核心问题： 意义（语义） 侯越先 天津大学网络智能信息技术研究所 2015年11月 1 关于意义（语义）的哲学诘问 • 如何定义和建模意义（语义）？ • 我们可以让计算机在多大程度上“理解”意义（语义）？在此基 础上，计算机可以完成什么样的任务？ 2 哲学家的意义（语义）观 • 维特根斯坦 早年：事实－命题－意义（表述为命题的事实的集合及其演绎结果） “Whereof one cannot speak, thereof one must be silent.” 晚年： （《哲学研究》）：语词的意义即其用法。 3 计算机科学家的视角 • 批评：哲学家的意义观不足够精确，也缺乏可操作性 • 探索：意义可以由形式系统定义和建模吗？ • 探索（弱化版本）：形式系统可以定义和建模所有真命题吗？ • 注：形式系统的例子包括形式化数学系统、形式文法系统和计算机程 序等 4 “There are truths of silence, when spoken, no longer true anymore.” • 例子：哥德尔型命题 • 例子：惊奇考试佯谬 逻辑课老师在周四下课时宣布： 1 下周上逻辑课时将有一次考试 2 考试之前，你们不可能逻辑地断定考试在哪一天 背景：每周有两次逻辑课，分别在周一和周三 5 考试佯谬的形式化 命题常元 P: 考试在下周一举行 Q: 考试在下周三举行 K：学生（在考试之前）能推断出考试具体在哪一天 6 考试佯谬的形式化 7 对于考试佯谬形式化的反思 • 基于上述形式化，不难确认两个简单的观察：1 推断过程（1-9 ） 严格遵循命题逻辑推理原则，不存在错误；2 系统公理A1-A5存在 内在的不一致（矛盾）。正是由于这种不一致，导致推出了矛盾 的结果。 • 问题：A1-A5确实存在事实的不一致（矛盾）吗？ • 结论：就建模真和意义的目的而言，形式系统并不充分 8 突破的方向：一个类比？ 启发性类比：量子计算对于丘奇－图灵论题（Every effectively calculable function is a (Turing) computable function ）的颠覆。 • 直觉的算法概念 图灵机 经典物理实现➢量子力学实现 • 意义、真 形式系统 经典物理实现➢非经典（量子力学）实现 9 意义的非经典模型 • 非经典模型： 不能被冯·诺伊曼计算机（图灵机）所模拟 不遵守经典逻辑（及其派生逻辑） 不遵守Kolmogoro