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

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

自然语言处理的核心问题：

意义(语义)

侯越先

天津大学网络智能信息技术研究所

2015年11月

1

关于意义(语义)的哲学诘问

• 如何定义和建模意义(语义)？

• 我们可以让计算机在多大程度上“理解”意义(语义)？在此基

础上，计算机可以完成什么样的任务？

2

哲学家的意义(语义)观

• 维特根斯坦

早年：事实－命题－意义(表述为命题的事实的集合及其演绎结果)

“Whereofonecannotspeak,thereofonemustbesilent.”

晚年： (《哲学研究》)：语词的意义即其用法。

3

计算机科学家的视角

• 批评：哲学家的意义观不足够精确，也缺乏可操作性

• 探索：意义可以由形式系统定义和建模吗？

• 探索(弱化版本)：形式系统可以定义和建模所有真命题吗？

• 注：形式系统的例子包括形式化数学系统、形式文法系统和计算机程

序等

4

“Therearetruthsofsilence,whenspoken,no

longertrueanymore.”

• 例子：哥德尔型命题

• 例子：惊奇考试佯谬

逻辑课老师在周四下课时宣布：

1 下周上逻辑课时将有一次考试

2 考试之前，你们不可能逻辑地断定考试在哪一天

背景：每周有两次逻辑课，分别在周一和周三

5

考试佯谬的形式化

命题常元

P:考试在下周一举行

Q:考试在下周三举行

K：学生(在考试之前)能推断出考试具体在哪一天

6

考试佯谬的形式化

7

对于考试佯谬形式化的反思

• 基于上述形式化，不难确认两个简单的观察：1推断过程(1-9 )

严格遵循命题逻辑推理原则，不存在错误；2系统公理A1-A5存在

内在的不一致(矛盾)。正是由于这种不一致，导致推出了矛盾

的结果。

• 问题：A1-A5确实存在事实的不一致(矛盾)吗？

• 结论：就建模真和意义的目的而言，形式系统并不充分

8

突破的方向：一个类比？

启发性类比：量子计算对于丘奇－图灵论题(Everyeffectively

calculablefunctionisa(Turing)computablefunction)的颠覆。

• 直觉的算法概念

图灵机

经典物理实现➢量子力学实现

• 意义、真

形式系统

经典物理实现➢非经典(量子力学)实现

9

意义的非经典模型

• 非经典模型：

不能被冯·诺伊曼计算机(图灵机)所模拟

不遵守经典逻辑(及其派生逻辑)

不遵守Kolmogoro