DRS与一阶谓词逻辑公式

摘要：

@@ DRS是Discourse Representation Structure(话语表征结构)的简称,是DRT的灵魂部分.DRT即Discourse Representation Theory,在国内它至少有四种不同的译法:话语表征理论[1]、篇章表述理论[2]、话语表达理论[3]和话语表现理论[4].对DRT有多少种译法对DRS就有多少种译法,本文的宗旨只是对DRS与一阶谓词逻辑的公式进行比较,所以可以不必纠缠于这些译名中哪个更准确.通过DRS与一阶谓词逻辑的公式的比较,我们可以更加清楚地看到DRT与一阶谓词逻辑之间的内在联系与差异,从而加深我们对DRT这一理论的了解,为将这一理论运用于汉语的语义分析打下更加坚实的基础.[5]

机标关键词：一阶谓词逻辑、谓词逻辑公式

分类号：B81(逻辑学(论理学))

在线出版日期：2005-12-22（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：52-55