语用推理的形式化研究

《语用推理的形式化研究》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、河北大学硕士学位论文语用推理的形式化研究姓名：李文霞申请学位级别：硕士专业：外国语言学及应用语言学指导教师：李佐文20100501摘要传统的语义学可以分为词汇语义学和成分语义学，词汇语义学强调单个词汇的作用，而成分语义学强调词汇以某种方式组合在一起而得出句子内容。人们在话语交际中，所要表达的意思经常比字面意义要丰富得多，仅仅依靠语法、词汇和句子结构來理解话语常常是不够的，语用推理在话语理解中扮演者重要的角色，没有语用推理，有些语篇常常是不连贯的，甚至没有任何意义。语用推理的冃的就是在句子的字面意思和话语暗含之间架起一座

2、桥梁，使得话语的含义得到充分理解。语用推理的形式化是以形式化的方法来研究语用推理。形式化的方法基于哲学和逻辑，它的优点在于严密、准确，形式化的研究方法在计算机广泛发展的今天相当普遍，在语用学领域也变得越来越重耍。自然语言形式化的研究可以追溯到塔斯基的真值条件语义理论，在这篇文章中，他给岀了形式语义学的基本思想和方法，但是他的理论仅适用于逻辑研究中的人工语言，不能宜接适用于自然语言。蒙太古发展了塔斯慕的真值语义理论，并将其应用于自然语言，形成了自然语言的形式语义理论：蒙太古语法。蒙太古语用学实际上是形式语义学向形式语用学

3、的一个延伸，可以说基于模型理论向语用问题延伸是形式语用学发展的一个基本理念，在这样的理念指引下，许多自然语言现象可以得到合理的解释。但是蒙太古语法很快暴漏岀了自身的缺陷，比如在处理人称代词的前指问题和量词辖域等问题上遇到了挑战。尽管这与蒙太古语法为多种语言现象都提供了统一的理论机制相比，只是一小部分问题，但是，它暴露了这样•个信息：那就是在自然语言背后有存在着深层次的本质特性，而以往的理论还没有意识到这些本质。塔斯基理论和蒙太古语法都是静态的形式化研究方法。DRT（语篇表征理论）和SDRT（分段式语篇表征理论）是动态语

4、义理论。DRT的兴起最初主耍是为了解决“非限定摹状词”和“驴子句”的指涉问题。DRT认为意义是一种心理表象，是人们思想的外在表征，DRT不仅关注句子的真值条件，更关注听者是如何理解句子的。DRT假设语言的使用者们是靠构建语义结构（DRS）来理解句子的，这样语篇表征就代表心理表征，这些语义结构运用DRS构建规则来构建，DRT的创新之处在于DRS构建规则中考虑到了先前构建的DRS的信息，这样语篇的理解是信息递增的，语篇是连摘要贯的，这种描述语境变化的能力是动态语义学的基本特征。在获得了第一个句子的语义理解之后，这个理解就作

5、为旧信息融入语境之中，服务于下一个句子的理解。DRT成功的解释了非限定摹状词和驴子句的指涉问题，但是对很多自然语言现象不能给出合理的形式化，比如说面对搭桥式前指，会话含义等，DRT都是无能为力的。SDRT是在DRT的基础之上发展而來，吸收了DRT的表征模式，将修辞关系引入语篇理解。SDRT比DRT耍复杂得多，SDRT在思想、理论和技术上都取得了很大的突破，从这个意义上说，SDRT不是DRT的-个理论分支，而是超越了DRT的新的语义理论。SDRT认为语篇中的句子尽管表面看起来像个语句串，但实际上存在着亲疏远近的不同关系，

6、因而形成语段。语篇的意义依靠修辞结构并且和修辞结构相互作用，修辞结构将句子的意义连接在一起形成一个连贯的整体。换句话说，语篇的理解依靠世界知识、认知状态、词汇意义、句子成分意义和修辞关系，而SDRT就是一种将这些知识融为一体的语篇理解理论。SDRT不仅将修辞结构和动态语义融合，而R给出了语用和语义的形式化描述，这是其他方法所不及的。SDRT阐述了几种相互作用的语篇现象：解决了不同种类的前指照应问题，包括桥式照应，词语歧义问题和会话含义等问题。限于本人的逻辑知识水平，本篇论文只介绍了几种前指照应现象的形式化分析和形式化方

7、法。向任何其他理论一样，SDRT有它自身的缺陷，比如说，SDRT对更多日常生活中常用的语篇关系还没有给出详细的分析，缺乏调查以获得更广泛的经验，等等。本文首先对传统形式语义学作以简单回顾，介绍了简单的逻辑知识，主要介绍了本文所用到的命题逻辑和一阶谓词逻辑，在这些准备知识基础之上，引出了DRT和SDRT,主要介绍SDRT的理论框架和形式化研究方法。最后在SDRT理论框架下，将搭桥推理形式化，这也是本文的创新之处。关键词形式化逻辑语用推理语篇表征理论分段式语篇表征理论应用AbstractAbstractSemanticst

8、raditionallycanbedividedintoLexicalSemanticsandCompositionalSemantics.LexicalSemanticsmeansthecontributionsofindividualwordstodiscoursecontents,andCompositionalSemant