DRS与一阶谓词逻辑公式.PDFVIP

Http:///journal.htm 逻辑与认知 Vol.3, No.3, 2005 DRS 与一阶谓词逻辑公式* 夏年喜 (首都师范大学哲学系，北京 100089) 摘要：DRS是DRT的灵魂部分，DRT对自然语言语义的刻画正是通过DRS来实现的。每个DRS都是由话语 所指集和DRS-条件集构成的有序对。从DRS 的模样可以看出，它和一阶谓词逻辑的公式是十分相象的，如 果我们分别给出二者的严格定义，并在此基础上对二者间的翻译也进行定义的话，我们就可以顺利地实现 二者间的互译了，这说明这二者在本质上是相通的。不过，当我们把 DRS 置于 DRT 中，并把一阶谓词逻辑 公式置于一阶谓词逻辑中，再对二者进行比较的话就会发现，这二者其实是有着重大差异的：前者是算出 来的，后者则是感觉出来的。 关键词：DRS DRT 一阶谓词逻辑公式 中国分类号: B81 文献标识码: A DRS 是Discourse Representation Structure 的简称，是DRT 的灵魂部分。DRT 即Discourse Representation Theory，是一种自然语言逻辑理论，有人将之译为“话语表征理论”[1](p112)， 也有人将之译为“篇章表述理论”[2](p454)和“话语表达理论”[3](p360) ，还有人将之译为“话 语表现理论”[4](p95) 。对DRT有多少种译法对DRS就有多少种译法，本文的宗旨只是对DRS 与一阶谓词逻辑的公式进行比较，所以可以不必纠缠于这些译名中哪个更准确。通过 DRS 与一阶谓词逻辑的公式的比较，我们可以更加清楚地看到DRT与一阶谓词逻辑之间的内在联 系与差异，从而加深我们对DRT这一理论的了解，为将这一理论运用于汉语的语义分析打下 更加坚实的基础。 1 DRS——DRT 的灵魂 DRT [5] 由“句法规则” “DRS 的构造规则”和“DRS 在模型中的解释”三部分构成 。 句法规则给出的是英语的句法算法，DRS 的构造规则给出的是语言形式和语义之间的 转换模式，DRS 在模型中的解释部分则是用真值条件模型论语义学方法对 DRS 进行解释。 在这三个组成部分中，居于核心位置的是 DRS ，因为DRS 就是 DRT 对英语句子序列的语义 刻画。 DRS 究竟是何模样的呢？每个 DRS 都含有两部分的内容：话语所指 （discourse referent ） 和与话语所指相关的各种条件，即DRS-条件 （DRS-condition ），分别组成话语所指集和 DRS- 条件集。其中话语所指集又称论域（universe ）。以语句 Mary owns a dog ”来说，其DRS 如下图所示： 收稿日期：2005-9-20 ； 作者简介：夏年喜（1965-），女，湖北潜江人，哲学博士，首都师范大学哲学系副教授。主要从事语 言逻辑和逻辑哲学研究。 基金项目：本文得到教育部哲学社会科学研究重大课题攻关项目“基于自然语言的知识表达和推理系 统”（04JZD006 ）资助。 18 逻辑与认知 Vol. 3, No.3, 2005 （1） x y Mary（x） dog（y） x owns y 该 DRS 中有两个话语所指x 和 y ，分别表示Mary 和 dog，它们位于框图的上部，所以， 该 DRS 的论域是集合{x , y}，记作UK = {x , y} 。DRS-条件有三个：Mary （x ）、John （y ）、 x