第42卷第6期

2

015年11月

四川师范大学学报(社会科学版)

JournalofSichuanNormalUniversity(SocialSciencesEdition)

Vol.42,No.6

November,2015

基于动态谓词逻辑的汉语指代现象的信息处理

林胜强

(四川师范大学政治教育学院,成都610066)

摘要:组合性是对自然语言进行信息处理时考虑问题的出发点。动态谓词逻辑主要是从语言信息的可计算性

和组合语义的角度,使用标准一阶谓词逻辑的正统句法,通过对话语表现理论等逻辑理论进行改进而得到的。动

态谓词逻辑的提出本质上是为了处理两类问题:跨语句的指代消解和表示语句内部约束关系的“驴子句”中的指代

消解。动态谓词逻辑的核心思想是使用逐渐递增信息的动态方法对句子或者句子序列进行分析,并对于变项的指

派进行扩展,或者对作为模型参照物的状态进行流动更新。

关键词:动态谓词逻辑;标准一阶逻辑;汉语指代现象;信息处理

中图分类号:H146.2 文献标志码:A 文章编号:1000-5315(2015)06-0085-06

组合性原则是在对自然语言进行信息处理时考虑问题的出发点。这是因为组合性是满足语句或篇章语

义计算需求最直观的方式之一。从计算语义学的观点来看,在对自然语言的转换程序中,对一个篇章已经解

[1]83

释的语境而言,希望能够就地及时且逐次递增地处理和翻译随之而来的每一个语言基本单位。

[2]

虽然Kam_p的话语表现理论(DiscourseRe_presentationTheor_y) 具有动态地处理语义现象的能力,但

[3]

是却不满足语义计算的组合性原则。为了使话语表现理论更加符合组合性原则,Groenendi_jk与Stokhof

[4]

提出了动态谓词逻辑(D_ynamicPredicateLo_gic,简称DPL) 。动态谓词逻辑基本上只有一种结构———程

[5]

序,此逻辑是量化动态逻辑的子系统,处于“公式即程序”语言中最基础的地位。从计算机科学的视角来

[6]

看,动态谓词逻辑是关于测试(testin_g)和变元/寄存器(re_gister)复位(resettin_g)的理论,是重要的自然语

言动态语义理论。动态谓词逻辑具有三个主要特征:组合性的语义特征、变元/寄存器的复位特征、表达式的

[3]48

测试特征。在动态谓词逻辑中,一个语句的意义依赖于语句更新解释程序的信息的方式,而不是依赖于

[1]83ꢀ84

[7]

语句的真值条件。这一观点与“意义就是算法”和“意义就是潜在的语境更新” 等意义的算法理论具

有异曲同工之处。

动态谓词逻辑主要是从语言信息的可计算性和组合语义的角度,使用标准一阶谓词逻辑的正统句法,通

过对话语表现理论等逻辑理论进行改进而得到的。原版的动态谓词逻辑与标准的一阶谓词逻辑相比,它们

[8]

[6]

有着同样的逻辑语言,仅仅语义有别,二者的主要区别体现在对存在量词的辖域处理上。借助霍尔规则

可把动态谓词逻辑化归为标准的一阶逻辑,使用量化动态逻辑规则也可把动态谓词逻辑化归为标准一阶逻

[8]

辑,而且标准一阶逻辑也可在动态谓词逻辑中得到解释。

相对于标准的一阶谓词逻辑而言,动态谓词逻辑的优越性体现在以下三个方面:(1)动态谓词逻辑改革

了经典逻辑的静态语义模型,引入了动态算子,提升了逻辑对自然语言进行信息处理的能力;(2)动态谓词逻

收稿日期:2015-08-20

基金项目:本文系杜国平主持的国家社科基金重大项目“应用逻辑与逻辑应用研究”(14ZDB014)之阶段性成果。

作者简介:林胜强(1963—),男,四川隆昌人,四川师范大学政治教育学院副教授,研究方向为语言逻辑、应用逻辑和逻辑哲学。

85

四川师范大学学报(社会科学版)

辑对自然语言逐步解释的过程,正好对应于信息的逐步流动更新过程,这符合人类运用自然语言的认知过

程,它比经典逻辑更适合作为自然语言信息处理的逻辑基础与描述工具;(3)在动态谓词逻辑中:一个公式表

示的语义对象就是赋值的可能的“输入ꢀ输出”序对的集合,而且它本质上只有一种结构———程序,可以据此

编制计算机处理自然语言的程序指令,甚至可以直接提供便于计算机处理的相应算法,从而为计算机理解自

然语言提供理论依据。

一

动态谓词逻辑的语法与语义

[4]

动态谓词逻辑的非逻辑符号包括:n-元谓词、个体常元和变元。与标准一阶逻辑或广义量词理论一

样,动态谓词逻辑常用的逻辑符号也包括(否定)、∧(合取)、∨(析取)、→(蕴涵)、∃(存在量词)、∀(全称

量词)以及=(等词)。

定义1.动态谓词逻辑的语法

()若_a, ,…,_a_n是个体常元或变元,_R是一个_n_-元谓词,则_R_a …_a_n是一个公式。

1 2 1 2

1 a a

()若_a, 是个体常元或变元,则_a₌_a₂是一个公式。

1 2 1

2 a

(₃)若_β是公式,则_β是一个公式。

₍₄₎_若_β_与_γ是公式,则[_β_∧_γ]是一个公式。

₍₅₎_若_β_与_γ是公式,则[_β_∨_γ]是一个公式。

₍₆₎_若_β_与_γ是公式,则[_β_→_γ]是一个公式。

(

)若_β

是一个公式,_x是一个变元,那么_∃_x_β是一个公式。

是一个公式,_x是一个变元,那么_∀_x_β是一个公式。

7

(

8

⁽₉)除了以(₁)—(₈)为基础所生成的公式外,没有别的公式。

可见,动态谓词逻辑的语法与通常的谓词逻辑的语法是一样的。

在动态谓词逻辑中,一个模型M就是一个序对<S,F>,其中S是由个体组成的非空集合,F是一个以个

体常元和谓词作为其定义域的解释函数。如果α是一个个体常元,那么F(α)∈S;如果α是一个n-元谓词,

n

那么F(α)⊆S。一个赋值u或v是把一个个体指派给每个变元的函数:u(x)∈S或v(x)∈S。而V则是所

有赋值函数的集合。如果a是一个变元,我们定义〖a〗_v=v(a);如果a是一个个体常元,我们定义〖a〗_v=F

DPL

()。现在可以定义一个解释函数(〖〗 )_⊆_V_×_V_如_下₍_在_不_引_起_混_淆_的_情_况_下_,_可_以_省_略_这_里_的_上_标_和

a

M

下标):

定义2.动态谓词逻辑的语义

…_a_n

(

1

⁾^〖Ra

)〖

1 2

a=a

^〗=^{^<u^,v^>|v=u& a1 v

a

2 v

^〗=^{^<u^,v^>|v=u&^〖a1^〗v=^〖a2^〗v^}

<〖〗〖〗…〖_a_n〗_v>

∈F⁽R⁾^}

1

a

2

(

2

(

)〖

_β^〗=^{^<u^,v^>|v=u& ∃w uw∈

:<, > 〖〗}

β

3

(

)〖

∧γ^〗=^{^<u^,v^>|∃w vw∈ &wu∈γ

:<, > 〖〗 < ,> 〖〗}

4

β

(

)〖

∨γ^〗=^{^<u^,v^>|v=u&∃w uw∈ ∨wu∈γ

:<, > 〖〗 < ,> 〖〗}

5

β

(

)〖

→γ^〗=^{^<u^,v^>|v=u&∀w uw∈ ⇒∃t wt∈γ

:<, > 〖〗 :< ,> 〖〗}

6

β

(

7

⁾^〖∃x_β^〗=^{^<u^,v^>|∃w^:w^[x^]v&wu∈

< ,> 〖〗}

β

(

8

⁾^〖∀x_β^〗=^{^<u^,v^>|v=u&∀w^:w^[x^]u⇒∃t wt∈

:< ,> 〖〗}

β

在定义2中,v[x]u表示v与u的区别最多在于v指派给x的值与u指派给x的值不同。一个表达式

的解释是指它在一个可适合的模型中的语义值,其中的“〖〗”就是表示指派语义值的函数。在动态谓词逻辑

中,对于一个模型M中的赋值u而言,一个公式是真的,当且仅当,把u输入该公式,该公式就有一个输出

_v。即:

定义3.真(truth) _β相对于M中的u为真,当且仅当,∃v:<u,v>∈〖_β〗_M。

根据这个概念,我们就可以定义一个公式什么时候是有效的,什么时候是矛盾的。

定义4.有效_β是有效的,当且仅当,对于∀M∀u,_β相对于M中的u为真。

86

林胜强基于动态谓词逻辑的汉语指代现象的信息处理

二

动态谓词逻辑的动态思想

动态谓词逻辑的核心思想是:使用逐渐递增信息的动态方式对句子或者句子序列进行分析,并对于变项

[9]

的指派进行扩展,或者对作为模型参照物的状态进行流动更新。动态谓词逻辑本质上只有一种结构———

程序,它的所有公式都是程序;所有的结构都给定公式一个动态解释,这样,不同的语言学结构的语法范畴与

[1]88

语义类型之间就没有区别,所有的意义都是状态之间的关系 ,语句的意义就是解释程序的一个指令。因

此,动态谓词逻辑可以看作是一种“程序设计语言”,而不是对这类程序进行推理的语言。普通动态逻辑可以

作为对动态谓词逻辑进行形式化推理的一种手段。

在标准的一阶谓词逻辑中,一个公式的解释就是赋值的集合,这些赋值验证了这些公式。在动态谓词逻

辑中,一个公式_β表示的语义对象就是赋值的可能的“输入ꢀ输出”序对<u,v>的集合。序对<u,v>在公式_β

的解释中,当且仅当,_β是相对于状态赋值u而言,v就是其一个可能输出的结果。而u与v是从对象到变元

的赋值,输入赋值u和输出赋值v之间的区别仅仅在于:被指派给一个或多个变元的那个不同对象,这表示

从u到v仅仅经过了一个步骤的变化。因此,当对v[x]u中的输入赋值u逐步地进行流动更新时,其输出赋

值v也得到流动更新,这样,对句子序列的逐步分析就可以看成是特定的“输入ꢀ输出”程序的逐步执行。

比如:对于u、v、w是这三个连续的输入赋值,v[x]u表示赋值u与赋值v仅仅在一个变元x处的取值不

同(这对应于从赋值u到v仅仅经过了一个步骤的变化),同理w[_y]v表示赋值v与赋值w仅仅在变元_y处

取值不同(这对应于从赋值v到w也只仅仅经过了一个步骤的变化),这样,从赋值u与赋值w之间就仅仅

在两个变元x与_y处取值不同(这对应于从u到w正好经过两个步骤的变化)。因此动态谓词逻辑对“v[x]

”

所表示的意义的规定,正好对应于程序(或事物)的一步一步的执行(或变化)过程,简单地说,这种规定就

u

保证了程序的逐步执行过程,正好对应于信息的逐步流动更新过程。

三

动态谓词逻辑产生的必要性

指代(ana_phora)是自然语言中极其普遍的语言现象,它对于衔接上下文、简化表述和意义的连贯有着不

可忽视的作用。指代消解(ana_phoraresolution)就是为指代词确定先行词的过程,它在机器翻译、自然语言

[10]264

接口、信息抽取、文本摘要和问答系统等人工智能领域中有着重要的作用。而动态谓词逻辑的提出本

质上是为了处理两类问题:跨语句的指代消解和表示语句内部约束关系的“驴子句”(donke_y-sentence)中的

指代消解。我们用下面三个语句的翻译来说明动态谓词逻辑产生的必要性。

(

₁)李四穿着黑衣,他笑着。

₂)如果一个人有头驴,他会喜欢它。

₃)一个有驴的人都会喜欢它。

(

若用标准一阶谓词逻辑来翻译自然语言语句,则指示代词将以约束变元的形式出现。为了使语句(1)的第2

个子句中的代词“他”,能够指代语句(1)中第一个子句中的“李四”,需要在所涉及的两个子句的合取的宽域

上给出一个存在量词,这样就可得到语句(1)在标准一阶谓词逻辑中的翻译:

(

⁾∃x^[lisi⁽x⁾∧chuanzhuoheiyi⁽x⁾∧xiaozhuo⁽x⁾^]

4

注意,这种翻译并不能够通过组合性的方法从语句(1)逐步地得到(4),因为这里对语句(1)中第一个子句的

翻译∃x[lisi(x)∧chuanzhuohei_yi(x)],在(4)中不是以子句的形式出现的。为了满足组合性,我们似乎应该

把(1)翻译成:

(

⁾∃x^[lisi⁽x⁾∧chuanzhuoheiyi⁾^]∧xiaozhuo⁽x⁾

5

然而,从标准一阶谓词逻辑的视角来看,这个翻译对语句(1)来说是不恰当的,因为(5)中的存在量词并没有

约束变元x的最后一次出现,因而就没有表示出(1)中的指代关系。

在标准一阶谓词逻辑中,语句(2)与(3)对应的翻译为:

(

⁾∀x∀y^[^[ren⁽x⁾∧lv⁽y⁾∧own⁽x^,y⁾^]→xihuan⁽x^,y⁾^]

由于语句(2)与语句(3)中包含不定词项,通常把它们翻译成存在量化语句,但是根据它们在语句(2)与语句

₃)中的实际意义来看,需要用全称量化来表示这两个不定词项在语句中的意义,而且相应的全称量词需要

6

(

87

四川师范大学学报(社会科学版)

在整个公式的宽域上给出。这样,就不能把不定词项统一翻译成存在量化语句。

从组合的观点看,语句(2)似乎更应该翻译成:

(

⁾∃x^[ren⁽x⁾∧∃y^[lv⁽y⁾∧own⁽x^,y⁾^]^]→xihuan⁽x^,y⁾

7

语句(3)似乎更应该翻译成:

(

⁾∀x^[^[ren⁽x⁾∧∃y^[lv⁽y⁾∧own⁽x^,y⁾^]^]→xihuan⁽x^,y⁾^]

8

_但_是_,_由_于₍₇₎_中_的_变_元_x_、_以_及₍₈₎_中_的_变_元_y都是在各自的前件中出现的,不能够被前件中的存在量词约

y

束。因此,在标准一阶谓词逻辑中,(7)与(8)的意义与(6)意义并不等价,故(7)与(8)所表示的意义也是不适

当的。

在话语表现理论中,像(1)—(3)这样的语句已经得到了成功的处理,但是组合性的翻译问题仍然没有得

到真正的解决,而且话语表现理论使用的是非正统的逻辑语言。在话语表现理论中,语句(1)可以表示为:

9

xlisix chuanzhuoheiyi⁽x⁾^,xiaozhuo⁽x⁾^]

()[][ (),

(₂)与(₃)可以表示为:

(

0 Ø xyrenx lvy ownxy →Ø xihuan⁽x^,y⁾^]^]

(, )] [ ][

)[ ][[, ][ (), (),

1

从本质上看,(9)与(4)、(10)与(6)具有同样的真值条件,而且本质上,(9)的结构与(4)是一样的,而与(5)不

一样。

动态谓词逻辑则使用动态语义,而不是标准一阶谓词逻辑语言的标准语义,组合地来处理了像语句

(₁)—(₃)这样的指代现象,而且它所使用的句法是标准一阶谓词逻辑的正统句法。这些都是优越于标准一

阶谓词逻辑和话语表现理论的地方。具体地说,动态谓词逻辑从组合语义和语言信息的可计算性的角度,使

得用(5)、(7)与(8)来分别表示语句(1)、(2)与(3)的意义成为可能,而且其动态语义使得(5)的真值条件与

(₄)在标准一阶谓词逻辑的真值条件相同,(₇)和(₈)的真值条件与(₆)在标准一阶谓词逻辑的真值条件相

同。

四

动态谓词逻辑的动态约束机制

能够进行指代消解的自然语言语义理论主要有:动态谓词逻辑、话语表现理论、动态蒙太格语法、范畴类

型逻辑、增量动态逻辑,这些理论进行指代消解的机制分别对应于:动态约束机制、中介机制、加标机制、范畴

[11]

机制、复合机制。这些理论都各有利弊,相对而言,动态谓词逻辑是一种程序设计语言。

动态谓词逻辑进行指代消解所采取的机制是动态约束机制:在语句范围之内和跨语句范围的情况下,动

态谓词逻辑把动态解释,只限于“传递到”后续指示代词的可能先行词的可能变化的语句意义方面。

在动态谓词逻辑的意义动态观与程序设计语言语义学的指称方法之间,存在着一个紧密对应:机器状态

之间的一个关系对应于一个程序的意义。对于先行词———指示代词而言,一个机器状态对应于从对象到变

元的一个赋值,这样,一个程序的解释就可看作是赋值的有序对的集合,即所有可能的“输入ꢀ输出”序对的

集合:序对<u,v>在一个公式_β的解释中,当且仅当,_β是相对于u来评价时,v就是此评价过程的一个可能

的结果。比如:在状态u时,执行程序π,一个可能的结果状态是v,则可因此说,序对<u,v>在程序π的解释

[1]85ꢀ86

中。因此,在动态谓词逻辑中,意义(的某个特定方面)可以根据状态之间的关系来描述。

现在来考察存在量化公式∃xAx在动态谓词逻辑中的动态解释。在标准的语义中,一个赋值u在

xAx的解释中^,

当且仅当,存在某个赋值,而且

v v^在Ax^的^解^释^中^。^即^v

把一个对象_v(_x)指派给_x,使得

∃

v⁽x∈FA v x^的^值^与u^指^派^给x^的^值^不^同^,^为^此^,^我^们^用^v^[^x^]^u

) ()。这里的的区别最多在于:指派给

u^与v

来表示。当动态谓词逻辑对∃xAx进行动态处理时,所有赋值v使得v[x]u且v(x)∈F(A),其中,赋值v

是相对于输入u的一个可能的输出。这可表示为:

(

1⁾^〖∃xAx= uv|vxu&v⁽x⁾∈F⁽A⁾^}

〗 {<, > []

1

动态谓词逻辑对∃x_β的动态解释,将由那些赋值序对<u,v>组成,这些序对使得存在某个最多在x处与u

不同的赋值w,而且w与v一起组成_β的一个可能的输入ꢀ输出序对,这表示为:

(

2⁾^〖∃x_β^〗=^{^<u^,v^>|∃w^:w^[x^]u& wv∈_β

< , > 〖〗}

1

88

林胜强基于动态谓词逻辑的汉语指代现象的信息处理

为了说明(11)与(12)的区别,需要首先说明原子公式的动态解释。在动态谓词逻辑中,原子公式被看作是

关于“输入赋值”的一种“测试”,其动态解释就是:使得满足条件的赋值通过,并使得不满足条件的赋值被阻

隔,这可表示为:

(

3⁾^〖Ra

…_a_n<〖〗〖〗…〖_a_n〗_u>

^〗=^{^<u^,v^>|v=u& a1 u ∈F⁽R⁾^}

a

2 u

1

a

2

其中,对于每个i(1≤i≤n),若a是个体常元,则〖a_i〗_u=F(a);若a是变元,则〖a_i〗u=u(a)。

因此,存在量化公式∃xAx的动态解释:

(

4⁾^〖∃xAx^〗=^{^<u^,v^>|∃w^:w^[x^]u&^<w^,v^>∈^〖Ax^〗^}

1

=

^{^<u^,v^>|∃w^:w^[x^]u&w=v&u⁽x⁾∈F⁽A⁾^}

^{^<u^,v^>|w^[x^]u&v⁽x⁾∈F⁽A⁾^}

其直观意义是:给定一个输入赋值u,可得到作为可能输出的赋值v,而v最多在x中与u不同,而且v是满

足v(x)具有性质F(A)这一条件的赋值。

这里所表示的动态解释仅仅是,前面语句(1)“李四穿着黑衣,他笑着”这样的跨语句指代现象的前一个

子句。考虑到组合性语义翻译的原则,语句(1)的翻译可由一个存在量化公式以及包含与存在量词对应的自

由变元的一个公式组成合取式,即:∃xAx∧Bx。

为了得到关于这种公式的动态的组合性的指代解读,还需要对合取式进行动态解释:在存在量词辖域外

的x的第二次出现应该被对x的第一次出现具有约束力的存在量词所约束。也就是说,在动态谓词逻辑中,

合取式可以把第一个合取支中变元的值传递到第二个合取支中的变元上,而且一个合取式中指派给变元的

值,对于进一步添加的合取支来说,也保持有效。这可表示为:

(

5 ∧γ^〗=^{^<u^,v^>|∃w^:^<u^,w^>∈& wv γ

< , >〖〗}

)〖

1

β

具体地说,具有输入u的_β∧γ的解释是输出v这一结果,当且仅当存在某个w,使得在u中解释_β可得到

w

^,^而^且^在w^中^解^释γ^可^得^到v^。

由于存在量词的约束力可延伸到它的辖域以外的一个或多个合取支上,因此,我们可以对前面语句(1)

所对应的公式∃xAx∧Bx进行动态的组合性的指代消解:

(

6⁾^〖∃xAx∧Bx^〗=^{^<u^,v^>|∃w^:^<u^,w^>∈^〖∃xAx^〗& wv∈Bx

< , > 〖〗}

1

=

^{^<u^,v^>|∃w^:w^[x^]u&w⁽x⁾∈F⁽A⁾&v=w&v⁽x⁾∈F⁽B⁾^}

^{^<u^,v^>|v^[x^]u&v⁽x⁾∈F⁽A⁾&v⁽x⁾∈F⁽B⁾^}

可见,在动态谓词逻辑中,∃xAx∧Bx与∃x[Ax∧Bx]这两个公式的意义是一样的。这是由于存在量词可

以约束右边的变元:存在量词的辖域内部和辖域外部的变元都可被存在量词约束。这就使得动态谓词逻辑

具有动态地解决跨语句范围的先行词ꢀ指示代词关系的组合性处理的能力,在进行翻译时,把指示代词处理

成与先行词相对应的一个普通变元进行即可。

一个简单驴子句所对应的公式就是:∃xAx→Bx。与合取式类似,为了给这个公式一个组合性的动态解

释,就必须允许蕴涵式前件中的存在量词能够约束它后件中的一个变元,即:前件中的存在量词具有全域约

束力。一个蕴涵式_β→γ的解释,是使得对在_β→γ的解释中的每一个序对<u,v>而言,存在某个赋值w使得

^<v^,w^>^在γ^的^解^释^中^。^因^此^,^蕴^涵^式^的^动^态^解^释^是^:

(

7 →γ^〗=^{^<u^,v^>|v=u&∀w vw∈ ⇒∃t wt∈γ

)〖 :< , > 〖〗}

:<, > 〖〗

1

β

其意思是:_β→γ的解释接受一个赋值u,当且仅当,_β关于u的每一个可能输出,会得到γ的一个成功解释,

否则_β→r的解释拒绝u。可见,蕴涵式也具有测试的特点。

至此,我们可以对语句(2)“如果一个人有头驴,他会喜欢它”,所例示的驴子句所对应的公式∃xAx→Bx

进行组合性的动态指代消解:

(

8⁾^〖∃xAx→Bx^〗=^{^<u^,v^>|v=u&∀w^:^<v^,w^>∈^〖∃xAx^〗⇒∃t wt∈Bx

:< , > 〖〗}

1

^{^<u^,u^>|∀w^:^<u^,w^>∈^〖∃xAx^〗⇒∃t wt∈Bx

:< , > 〖〗}

=

^{^<u^,u^>|∀w^:w^[x^]u&w⁽x⁾∈F⁽A⁾⇒w⁽x⁾∈F⁽B⁾^}

89

四川师范大学学报(社会科学版)

换言之,在动态谓词逻辑中,蕴涵式的前件的输出赋值v,应该被看作是后件的输入赋值,结果输出赋值w。

具体到∃xAx→Bx而言,对于一个输入赋值u,前件∃xAx的结果是赋值v的集合,而这里的每一个v使得

v^[x^]u^且v⁽x⁾∈F⁽A⁾^且v⁽x⁾∈F⁽B⁾^。^可^见^,^在^动^态^谓^词^逻^辑^中^,∃xPx→Qx ∀xPx→Qx

与 ( )这两个公式

的意义是一样的。

类似地,在动态谓词逻辑中,全称量化式的组合性的动态解释是:

:< , > 〖〗}

(

9⁾^〖∀x_β^〗=^{^<u^,v^>|v=u&∀w^:w^[x^]v⇒∃t wt∈

β

1

可见,全称量化公式∀x_ϕ也具有测试特点:一个输入赋值被传递,当且仅当,最多在x处与u不同的每一个

赋值是_β的一个真输入;否则,此赋值将被拒绝。事实上,一个输出赋值常常等同于相应的输入赋值。至此,

像前面语句(3)“一个有驴的人都会喜欢它”这样的驴子句,在动态谓词逻辑中动态的组合性的指代消解是:

(

0⁾^〖∀x^[^[Ax∧∃y^[By∧Cxy^]^]→Dxy^〗

2

=

^{^<u^,v^>|v=u&∀^:w^[x^]v⇒∃s^:^<w^,s^>∈^〖Ax∧∃y^[By∧Cxy^]^]→Dxy^〗

^{^<u^,u^>|∀^:w^[x^]u⇒⁽∀t^:^<w^,t^>∈^〖Ax∧∃y^[By∧Cxy^〗⇒∃z^:^<t^,z^>∈^〖Dxy^〗⁾^}

^{^<u^,u^>|∀w^:w^[x^]u&w⁽x⁾∈F⁽A⁾⇒∀t^:t^[x^]w&t⁽y⁾∈F⁽B⁾& tx ty ∈F⁽C⁾⇒

<(), ()>

tx ty ∈F⁽D⁾^}

<( ), ()> ( ) <( ),

^{^<u^,u^>|∀v^:v^[x^,y^]u&v⁽x⁾∈F⁽A⁾&v⁽y⁾∈F⁽B⁾& vx vy ∈FC⇒vx v

=

⁽y⁾^>∈F⁽D⁾^}

从(16)、(18)和(20)可以看出,动态谓词逻辑的指代消解,使得我们可以用直观的、组合性的方式跨语句的指

代关系和表示语句内部约束关系的驴子句进行直接处理,把与不定词具有指代关系的一个代词简单处理成

与该不定词对应的量词相对应的一个变元。

动态谓词逻辑除了能够处理跨语句的指代关系和表示语句内部约束关系的“驴子句”结构中的指代关系

以外,还可用于处理涉及意义的动态方面和话语的信息流等现象,比如:用于分析跨句子边界的指代关系、话

语的时态结构、命令句的语义效果、祈使句的语义作用、预设现象、陈述句对“共同基础”(common_ground)的

作用等等。动态谓词逻辑也给出了否定式和析取式的动态解释,限于篇幅,笔者将另外撰文讨论。

参考文献:

[

1]张晓君,郝一江.动态谓词逻辑的动态机制[J].哲学动态,2010,(9):83-89.

2]KAMPH,REYLEU.From DiscoursetoLo_gic:Introductionto Model-theoreticSemanticso_f NaturalLan_gua_ge,

FormalLogicandDiscourseRepresentationTheory [M].Dordrcht:Kluwer,1993.

3]张晓君,邹崇理.动态谓词逻辑的改进与扩张[J].中国社会科学院研究生院学报,2012,(6):48-52.

4]GROENENDIJKJ,STOKHOFM.D_ynamicPredicateLo_gic[J].Lin_guisticsandPhiloso_ph_y,1991,14(3).

[

[5]KOLLERA,NIEHRENJ.OnUnders_pecifiedProcessin_gofD_ynamicSemantics[C]//Proceedin_gso_fthe18thCon_ference

onComputationalLinguistics,2000,1-7.

[6]VISSERA.ContextsinD_ynamicPredicateLo_gic[J].Journalo_fLo_gicLan_gua_geandIn_formation,1998,7(1).

[7]张晓君,邹崇理.从信息与智能交互的角度看周礼全先生的四层次意义理论———兼论语言表达式的意义理论[J].哲学研

究,2012,(9):104-109.

[8]VANEIJCKJ,STOKHOFM.TheGamutofD_ynamicLo_gics[C]//WOODSJGABBAYDM.,(eds.)Handbooko_fthe

HistoryofLogic,Vol.7:LogicandtheModalitiesintheTwentiethCentury.Netherlands:NorthHolland,2006.

[9]邹崇理.语言、逻辑和信息—逻辑语法研究[M].北京:人民出版社,2002.

[10]周国栋,等.指代消解:国内外研究现状及趋势[C]//孙茂松,陈群秀.内容计算的研究与应用前沿.北京:清华大学出版

社,2007.

[11]张晓君.指代消解的主要方法与机制[J].毕节学院学报,2012,(10).

[责任编辑:唐普]

90