在线期刊

DRS与一阶谓词逻辑公式

作者:夏年喜

关键字:DRSDRT一阶谓词逻辑公式

摘要/Abstract

DRS是DRT的灵魂部分,DRT对自然语言语义的刻画正是通过DRS来实现的。每个DRS都是由话语所指集和DRS-条件集构成的有序对。从DRS的模样可以看出,它和一阶谓词逻辑的公式是十分相象的,如果我们分别给出二者的严格定义,并在此基础上对二者间的翻译也进行定义的话,我们就可以顺利地实现二者间的互译了,这说明这二者在本质上是相通的。不过,当我们把DRS置于DRT中,并把一阶谓词逻辑公式置于一阶谓词逻辑中,再对二者进行比较的话就会发现,这二者其实是有着重大差异的:前者是算出来的,后者则是感觉出来的。

DRS is the soul of DRT which is a very important theory in natural language logic. Every DRS consists of two sets, one is the set of discourse references, the other is the set of DRS-conditions. DRS looks like the formulas of First-Order Predicate Logic. If we give them definition separately, and then the definition of the translation between them, we will translate them each other successfully. This fact shows that they are the same essentially. But when put DRS into DRT and the formulas into First-Order Predicate Logic, we will find there is big difference between them: the former is the result of Algorithm, the latter is the result of feeling.

版权声明:社科网的所有在线期刊内容均由各期刊编辑部根据协议提供。 任何个人、机构、网站如未经本网书面授权,私自复制或转载本网中的图片、文字,均将被视为侵权行为。此类行为一经发现,本网将依据《中国人民共和国版权法》和《互联网管理条例》,追究侵权者的责任。