试论话语表现理论与动态谓词逻辑

来源 :河南大学 | 被引量 : 0次 | 上传用户:FishGWDC
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
话语表现理论是形式语义学发展过程中的一道分水岭,人们称其之前的为传统形式语义学。它与传统形式语义学最大的不同就是:后者对句子的分析是静态的,而话语表现理论对句子的分析则是动态的。该理论是动态地描述自然语言意义的逻辑语义学理论,把传统语义学对单个句子的处理扩大到句子序列,通过逐渐增添话语信息的方法,联系上下文展现其中名词与代词的指代照应关系;而且还从算法的角度展现了从英语语句的句法结构到其语义表现的过程,刻画了语义分析的动态过程,还在话语表现结构等概念的基础上创建了独特的形式推演系统。正是这种动态的分析方法使其成功地解决了蒙太格语法对摹状词处理的不恰当问题。动态谓词逻辑与话语表现理论一脉相承,为经典谓词逻辑提供一种动态的语义解释。根据塔斯基的真值定义,动态谓词逻辑用指派的集合来确定公式在模型中的所指外延,将公式的语义表现为指派之间的二元有序对关系,适当地延伸了量词的约束力,使“?xΦ∧Ψ”与“?x(Φ∧Ψ)”等价,与话语表现理论相比,更好地处理了跨句照应和驴子句的指代照应关系。尽管话语表现理论与动态谓词逻辑都是动态的形式语义学,但是前者的处理对象直接针对自然语言表达式,而后者则针对一阶谓词逻辑对自然语言表达式的翻译公式;并且前者使用的是方框型的非标准语言,后者则是普通的一阶谓词逻辑语言。二者的实质都是动态地处理语言表达式,相应地各自系统中又都有相应的静态成分,静、动结合的分析方法充分展现了二者分析自然语言意义的优越性。
其他文献
2008年8月~2009年6月,我们对48例冠心病患者行经皮穿刺冠状动脉内支架植入术治疗,术后给予精心护理,效果满意。现将术后护理体会报告如下。
大规模多输入多输出(MIMO)是第五代(5G)蜂窝通信网络的主要技术,具有较高的能效和谱效。当基站天线数很大时,使用简单的线性处理就可以获得满意的性能。但是大规模天线阵列增
艾丽斯·沃克是当代美国文学界杰出的黑人女作家。她在其长篇小说《紫色》中着力揭示了黑人妇女遭受双重压迫的艰难处境和她们积极寻找自我解放的曲折历程。本文通过对西丽与
<正>血脂异常是冠心病、动脉粥样硬化发生的主要危险因素。人载脂蛋白(Apo)能与血浆脂质结合,构成脂蛋白的主要成分,是决定脂蛋白结构、功能和代谢的核心组分,其结构和合成异
采用顶空固相微萃取法,利用气相色谱-质谱法(GC-MS)分离鉴定了浓缩前后的焦糖色素挥发性风味物质成份。浓缩后的焦糖色素与浓缩前的焦糖色素风味差别较大,有大量的风味物质在浓缩
从古希腊开始,人们就对存在问题产生了兴趣,但对其进行深入的研究却是在现代逻辑产生之后。本文将客观、详实地阐述国内外各种不同的观点,并对之进行评价,最后提出自己的观点。
目的:改进用于头孢呋辛钠中有关物质检查的HPLC法。方法:色谱柱为Agilent HC-C8(250 mm×4.6mm,5μm),以醋酸盐缓冲液(取醋酸钠0.68 g和冰醋酸5.8 g,加水稀释成1 000 mL的溶
<正>当前,应着力从以下七个方面入手扎实做好相关工作,不断推动主题教育走实走深并取得积极实效。一是以学为先,着力抓好理论学习确保学深悟透。主题教育能否取得实效,学习始
决策是管理学中最为关键的环节,决策的正确与否直接关系到项目的顺利进展。决策也是一种管理行为,有诸多类型,其本质是择优,可以把它看成为一个系统,同时又是一个活动过程。