1、话语表征理论简介与评述资料整理与报告简稿郑 植1.背景介绍自然语言中，表达式的意义依赖于语境/上下文。而话语表征理论 DRT 作为一种动态语义学理论，其着眼点在于意义的上下文依赖。句子与篇章存在着互动关系。单个句子是组成篇章的要素，它们按照最初给定的语义解释规则为篇章“贡献”意义，使得篇章发生改变，而已有的篇章又决定着接下来的句子的意义的走向，即决定了接下来句子的解释规则。对上下文的关注改变了“经典”形式语义学对“意义”的理解。 “经典”形式语义学关注语言表达式的指称和真值条件。现在我们将句子的意义的解读由“真值条件”改为“信息改变潜力” （information change potenti
2、al）即将已给出的篇章（信息）塑造为新篇章（信息）的能力。典型的例子：回指代词（Anaphoric pronouns）he, her, it, him, his, its 等。A DYNAMIC AND REPRESENTATIONAL ACCOUNT OF MEANING篇章中的句子往往通过回指/照应（Anaphoric）结合在一起。形式语义学要关注句内和句间的回指/照应要关注以下两点：1）将意义视为真值条件的传统观点应让位给一种动态的（dynamic）的意义观。2）传统的对 NP 回指的分析方法将回指的 NP 看做量化结构中的约束变元需要修正。Truth Conditions, Disco
3、urse and Interpretation in Context在一阶逻辑中有 （1）x x其应用：x(delegate(x) arrive(x) （2）A delegate arrived. 一个代表到达了。等值于：x(delegate(x) arrive(x)（3）It is not the case that every delegate failed to arrive. 并非每个代表都没有到达。将其扩展为一个小型的语篇：（回指关系用脚标标出）（4）A delegatei arrived. Shei registered. 一个代表 i到达了。她 i进行了注册。但是下面的等值变换出
4、了问题：（5）* It is not the case that every delegatei failed to arrive. Shei registered. 并非每个代表 i都没有到达。她 i进行了注册。真值条件语义学失效。直觉上看，原因在于：（2） update the initially available context with an antecedent which can be picked up by anaphoric expressions in subsequent discourse; the truth conditionally equivalent (3)
5、 doesnt.在这个问题上一阶逻辑出问题，但蒙太古语法似乎可以合理解释：（4）实际上用（6）来刻画：（6）(P.x(delegate(x) P(x)(y.(arrive(y) register(y)（6）可以归约为（7）(7) x(delegate(x) arrive(x) register(x)（6）实际上是将（4）的两个句子归约为一个主从复合句：There is a delegate who arrived and registered.但是，(8) Exactly one delegate arrived. She registered.(9) Exactly one delegate
6、 arrived and registered.如果把（8）形式化为：Px(delegate(x)P(x) y(delegate(y)P(y) x = y)，则（8）的真值条件等于（9） 。而事实上不是。蒙太古也无法恰当地解释这个问题。Donkey Sentences不定指的 NP 传统上被视为由存在量词约束的变元。例如：a/an + n.句（2） 存在一位代表到达了。A quick brown fox jumps over the lazy dog. 存在一只快棕狐但是，这种观点也有反例：(12) If Pedroi owns a donkeyj, hei likes itj .(13) E
7、very farmer who owns a donkeyj likes itj .应该形式化为：(14) x(donkey(x) own(pedro, x) like(pedro, x)(15) xy(farmer(x) donkey(y) own(x, y) like(x, y)（注：以下几种使用存在量词的尝试均是错的）x(donkey(x) own(pedro, x) like(pedro, x)x(donkey(x) own(pedro, x) like(pedro, x)x(donkey(x) own(pedro, x) x=y like(pedro, y)xdonkey(x) (o
8、wn(pedro, x) like(pedro, x)对不定指的 NP 的处理方法存在相互矛盾的两种做法。DRT the Basic IngredientsExamples (2), (3), (4) and (5) illustrate the need to extend the narrowconception of meaning as truth conditions to a more dynamic notion ofmeaning relative to context. Examples (8) and (9), (12) and (13) illustratethe nee
9、d to reconsider the traditional quantificational and bound variableapproach to nominal anaphora on the intra- and intersentential level.DRT 的解释包含两个步骤：从输入的话语构建语义表征一个话语表征结构 DRS，然后在模型论的意义上对 DRS 进行解释。动态性：基本步骤S1DRS1S2+DRS1DRS2S3+DRS2DRS3Discourse Representation StructuresDRT 使用的语言DRS一个 DRS 是一个有序对,U 是话语所指
10、对象的集合（个体域、论域） ，Con 是条件（即关于 U 中个体的性质、关系等，条件本身也可以是 DRS）的集合。例如（2）对应于如下一个 DRS：或者使用更直观的框图表示法：此 DRS 的各组成部分均是由原句的相应组成部分赋予的。xdelegate(x)arrive(x)（此 DRS 为真，只要有一个从 U 到模型的映射，使得 DRS 中的全部条件被满足。这样，上面的 x 是存在的，下面的条件是合取的。 ）DRS Conditions and Accessibility上面的DRS中的x有双重作用：充当先行词和充当约束变元。后者要求x必须能够stand to each other in ce
11、rtain scope relations.以上表示的是一个原子DRS。原子DRS可以复合为更复杂的DRS。和分别是 DRS间的蕴涵和否定算子。例如：若S1，则S2 对应于并非 S，对应于由此可递归地定义复合 DRS。 （具体定义见下文）(12) If Pedroi owns a donkeyj, hei likes itj. 表示为其中可以看到子 DRS 以及作为约束变元的个体的辖域关系。DRS 的语义解释原则：先行词的解释要被扩展到后续句子中去。即下文的代词要被解释到上文的先行词上去。这就是 DRT 中词语的可及性（accessibility）下文的代词出现在上文的先行词的“辖域”中，则称
12、。下文提到的个体不会可及上文的代词，故可及关系是反对称的。可及关系刻画了回指/照应何时是可能的，何时是不可能的。的辖域中的个体不被在子 DRS（此子 DRS 在的辖域之中）的外面的个体可及。也是如此。除非某些个体在特定条件下可以逃逸（escape）到更上面的 DRS 之中。可及关系在框图中的表现就是“向左走” “向上走” 。例句（2）和（3）可以表示为下面的 2 个 DRS：（24）和（25）的真值条件等价（后文有详细定义） 。但（24）可以被扩展为而（25）只能被扩展为其中 x 被隔绝，y 不可及 x，故无法找到先行词，即原句中的 she 指代不明。例（8）的 DRS 如下：DRS Cons
13、truction给定一个自然语言句子，如何正确地写出它的 DRS？DRT-Top-Down Construction AlgorithmTwo Stage Bottom-Up DRS Construction基于语形变换的一系列算法可以帮助我们将自然语言转换为 DRS。2.DRT 的形式系统BASIC DRS LANGUAGES AND THEIR INTERPRETATIONS3.1 A First-Order, Extensional DRS Language定义 1 基本 DRS 的词汇表一个基本的，外延的 DRS 语言 L 的词汇表包括：（1）一个作为话语所指的个体的集合 Ref，（2
14、）一个用来定义常项的一元关系的集合 Name，（3）谓词常项的集合 Rel n，（4）逻辑符号集,。注：在谓词逻辑中表示个体常项直接使用常项符号，但在这里采取了将个体常项视为谓词的处理方式。Pedro(x )就表示 x 代表 Pedro 这一个体。定义 2 DRS 和 DRS 条件的语法规则（1）如果 URef 并且 Con 是一个（可空）的条件集，那么结构 是一个 DRS。（2）如果 xi,xjRef，那么 xix j 是一个条件。（3）如果 NName，且 xRef ，那么 N(x)是一个条件。（4）如果 PRel n，且 x1,xnRef，那么 P(x1,xn)是一个条件。（5）如果 K
15、 是一个 DRS，那么K 是一个条件。（6）如果 K1,K2 是 DRS，那么 K1K 2 是一个条件。（7）如果 K1,K2 是 DRS，那么 K1K2 是一个条件。注意到 Con 中的元素或者是公式（即 xix j，N(x)，P(x 1,xn)） ，或者是一个 DRS。这两类对象都会作为“条件”而在下面的形式定义中一起讨论。给定一个 DRS K，FV(K)表示 K 的自由会话所指（free discourse referent）集。定义 3 K 的自由会话所指集 FV(K)（1）FV():( Con K FV()U K。（2）FV(x ix j):x i,xj。（3）FV(P(x 1,xn
16、): x1,xn。（4）FV(K):FV (K)。（5）FV(K 1K 2):FV(K 1)FV(K 2)。（6）FV(K 1K2):FV(K 1)(FV(K 2)U K1)。我们还可以用 V(K)表示 K 中出现的全体所指的集合；BV (K)表示 K 的约束会话所指（bound discourse referent）集，即 BV(K)V (K)FV(K)。定义 4 一个 DRS K 是合适 /真（proper）的，当且仅当 FV(K) 。K 中没有会话自由变元，即所有的个体词都找到了指称。定义 5 K1 是 K 的直接子 DRS（记作 K1K） ，只要以下任意条件成立：（1）K 1Con K
17、。（2）有一个 DRS K2 使得 (K1K2)Con K 或者(K 2K1)Con K。（3）有一个 DRS K2 使得 (K1K 2)Con K 或者(K 2K 1)Con K。定义 6 一个 DRS K 是纯正（ pure）的，当且仅当，对任意两个不同的 K1和 K2，如果 K2 是 K1 的子 DRS，K 1 是 K 的子 DRS，那么 UK2(U K1FV(K)。纯正 DRS 不含不必要的（冗余的）会话所指。定义 7 DRS 间的可及关系给定 DRS K 和 K1，K 是由 K1 可及的，记作 K acc K1，当且仅当（1）K 1K ，或者，（2）有 K2 和 K3，使得 K2K3
18、，并且 K acc K2，并且 K3 acc K1。定义 8 给定 DRS K 和 K1，以及会话所指 x 和 y， x 是由 y 可及的，记作 x acc y，当且仅当 xU K，yU K1，K acc K1。基本 DRS 语言的模型是一个二元组，其中 U 是论域， 是解释函数。此模型是外延性的和一阶的。定义 9 解释函数 （1） :Nameu|uU。（2） :Rel nP(U)。一个 DRS K 可以被看做一个“部分”的模型，它表征了由某个会话 D 传达的信息。K 是真的，当且仅当 K 可以被嵌入“总”的模型 M之中。在这个嵌入中，U K 中的会话所指被映射到 U 中的个体上，并且保持所有
19、的条件Con K 在 M 中是真的。换言之， K 是真的，当且仅当有一个从 K 到 M 的同态。这样一个同态被称为 K 在 M 中的 verifying 嵌入（verifying embedding） 。一个嵌入是一个部分的变元（会话所指）指派函数。设 X 是一个可空的变元集，g 是一个同态，g Xk 表示 k 是 g 的加入了 X 中所有元素的扩充，即dom(k)dom (g)X 。定义 10 DRS 和 DRS 条件的 verifying 嵌入 （重要， DRT 的真理论）设 g 是对变元的指派函数。（1） M，当且仅当，g Uh 且对任意 Con，h M。 （注： 或者是公式，或者是 D
20、RS。 ）（2）g M xix j，当且仅当，g(x i)g(x j)。（3）g M N(x)，当且仅当，(N)g(x)。（4）g M P(x1,xn)，当且仅当，(P )。（5）g MK，当且仅当，不存在 h 使得 MK。（6）g M K1K 2，当且仅当，存在 h 使得 MK1 或者 MK2。（7）g M K1K2，当且仅当，对任意 m，如果 MK1，那么就存在k， MK1。 是一个条件，若 gM，我们称 g 在 M 中 verify 了 。K 是一个 DRS，若 MK，我们称 h 关于 g verify 了 K。定义 11 一个合适 DRS 在 M 中的真一个合适 DRS K 在 M 中
21、真，当且仅当，存在一个 K 在 M 中的，关于空指派 的 verifying 嵌入。即： MK，当且仅当，存在 h 使得 MK。由定义 10 的（2）到（4）可以明显地看出 g 是一个（单）同态。所以 g 满足一个形如（2）到（4）条件，就是说 g：U K gUK。哲学上看，DRT 的满足与真是基于话语世界与模型世界的同构。DRS 可以对应于一阶谓词逻辑 FOPL。定义 12 L 到 FOPL 的翻译pl:L 的 DRS 集FOPL 的公式集，是一个翻译函数。（1）pl(): x 1xn(pl(1)pl (m)。（2）pl(x ix j): x ix j。（3）pl(N (x): Nx。N 是
22、 FOPL 的常项符号。（4）pl(P(t 1,tn): P(t 1,tn)。（5）pl(K):pl(K)。（6）pl(K 1 K2):pl( K1)pl (K2)。（7）pl(K2):x 1xn(pl(1)pl( m)pl(K 2)。DRS 与 QDL 的对应（略）3.内涵的 DRS定义 18 一个内涵模型 M 是一个三元组：（1）W M 是可能世界集；（2）U M 是非空集；（3）对于专名， M:Nameu|uU；对于 n 元关系， M:Rel n(W MP (U n)。Verifying 嵌入是全局性的（global） ，即，对某个 XRel，一个Verifying 嵌入 g 定义为从
23、X 到 UM 的函数，而这一函数适用于所有的可能世界。定义 19 DRS 和 DRS 条件的内涵语义一个 proper DRS K 在 M 中的世界 w 上真（记作 M,w K） ，当且仅当，有一个 UK 的嵌入 h 使得M,w K。定义 20 命题的语义解释KpM:wW M|M,w K。一个命题的语义解释即为使该命题为真的所有可能世界的集合。定义 21 模态真值条件M,wK 当且仅当对任意 wW M 都有 M,w K。M,wK 当且仅当存在 wW M 使得 M,w K。定义 22 由 K 表达的信息状态（information state）KsM:|M,w K。定义 23 给定一个内涵模型 M，一个 DRS K 和一个会话所指集 X，
