中文专业毕业论文 论自然语言量化结构的单调推理关系

《中文专业毕业论文 论自然语言量化结构的单调推理关系》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、论自然语言量化结构的单调推理关系OnMonotonicInferentialRelationshipsofQuantifiedStructuresinNaturalLanguage论文摘要本文把「广义量词理论」的理论框架扩大应用于自然语言的多种量化结构，借助集合论、三分结构、可能世界理论、模糊数学以及逻辑学、数学和形式语义学的其他理论工具，对传统逻辑研究的某些课题，如对当方阵和三段论推理提供了数学解释，并把它们与「广义量词理论」研究的单调推理统一起来。透过对对当方阵和单调推理的深入研究，本文取得两个有广泛应用的重要结果－「对当方阵一般模式」和「单调推理原理」。除了简单句外，

2、本文亦把研究结果推广应用于含有多个量词／算子的句子以及某些并列结构和焦点结构，以解释及解决自然语言的某些语义／逻辑疑难问题。ABSTRACTThisstudyextendsthescopeofthegeneralizedquantifiertheory(GQT)tovariousquantifiedstructuresinnaturallanguage.Byusingsettheory,tripartitestructure,possibleworldstheory,fuzzymathematicsandotherconceptualtoolsinlogic,mathema

3、ticsandformalsemantics,certainconceptsstudiedbytraditionallogicsuchasthesquareofoppositionandsyllogismaregivenamathematicalinterpretationandareunifiedwiththemonotonicinferencesstudiedbyGQT.Throughthoroughstudiesofthesquareofoppositionandmonotonicinferences,twoimportantresultswithwideapplic

4、ations–the“GeneralPatternofSquaresofOpposition”andthe“PrincipleofMonotonicInferences”,aregenerated.Apartfromsimplesentences,theseresultsarealsoextendedandappliedtosentenceswithmorethanonequantifier/operatoraswellassomecoordinatestructuresandfocusconstructionstoexplainandresolvecertainseman

5、tic/logicalproblemspertainingtonaturallanguage.目录1.引言82.本文的主旨和研究方法113.基本定义133.1广义量词133.2三分结构133.3单调性144.对当关系的数学解释164.1个体论域164.1.1「所有对当方阵」164.1.2「只有对当方阵」174.1.3「所有对当方阵」与「只有对当方阵」的关系204.2时间论域214.3可能世界论域234.4相关词论域与命题论域244.5模糊程度与比较结构254.6不可数名词与部分-整体关系274.7数量比较算子284.8「对当方阵一般模式」的推导294.8.1第一形式294.

6、8.2第二形式314.9「对当方阵一般模式」的应用324.9.1「刚好n个对当方阵」324.9.2「多于n成、多于m个对当方阵」334.9.3模糊算子344.9.4「除...外」对当方阵374.9.5「对当方阵一般模式」的其他应用384.10对当方阵与单调性的关系394.10.1差等关系的单调性394.10.2差等关系与否定词的结合405.传统逻辑其他课题的数学解释415.1结构变换的数学解释415.2三段论的数学解释41836.左、右单调性的数学解释436.1引言436.2存在量词436.2.1存在量词的左、右单调性436.2.2各种否定对单调性的影响436.2.3单调推

7、理的对当方阵446.3全称量词456.4只有466.5数量比较算子476.5.1绝对数量比较476.5.2相对数量比较486.5.3「所有」、「只有」和「没有」的特殊性496.5.4含有相等语义的算子496.5.5模糊算子506.5.6「极多」等的歧义问题506.6非单调算子总表516.7其他算子516.8其他论域上的应用526.8.1连续时间论域526.8.2离散时间论域536.8.3比较结构536.8.4命题论域546.9单调推理原理547.「单调推理原理」的扩展557.1引言557.2无算子结构557.2.1