会话含义中规则性推理的形式化研究

来源 :复旦大学 | 被引量 : 0次 | 上传用户:greenbrowser
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
会话含义是一种本质性的语用现象,也是任何系统的语用研究必不可缺的重要课题。此类现象在普通的会话场合屡见不鲜,在表现形态上呈现出纷繁复杂的多样性,因而一贯被认为是传统语用研究取得突破的难点。本项研究针对的则是会话含义在杂驳的表象下深层的推理机制,宗旨是用形式化的手段揭示会话含义推理过程中的规律。 论文的主体以两种最基本的会话含义——一般会话含义(GCI)和特殊会话含义(PCI)为重点,建构了两个模型:一般会话含义推理的缺省逻辑方案(DL_G)和特殊会话含义推理的混合式模型(HMPI),并对两者分别加以刻画。 一般会话含义是一种不依赖交际者因素的语句类意义,它的成立并不一定是遵循Grice会话准则的结果。在其表现形式上,一般会话含义往往作为一种标准含义,可以由语句中明示的提示性语词激发,在Levinson的量原则、方式原则和信息原则的作用方式下推得。其中的“一般”体现于不依赖具体的语境因素。但在推理机制上,一般会话含义的突出特点是缺省性和可取消性,即在逻辑类型上属于非单调性推理。 根据一般会话含义非单调性推理的特点,本文在Reiter的缺省逻辑理论的基础上创制了一般会话含义推理的缺省逻辑方案(DL_G)。这是一套描述各种类型一般会话含义及相互抵消现象的综合性解决方案,由三个部分组成:DL_G-1司职级差量含义及信息含义;DL_G-2司职方式含义;DL_G-3司职小句量含义及含义间的取消。在具体应用中,就依此顺序逐步实施。 特殊会话含义则是一种与语境紧密联系的语句型意义,与一般会话含义既有相似也有差异。相似之处在于:特殊会话含义也是在非单调性逻辑的作用下推出的不依赖交际者因素的含义,它的成立同样不必考虑会话准则的作用。但与一般会话含义不同的是,特殊会话含义的具体表现形式灵活多样,对具体语境特别是先前语句的依赖性很强。而在推理机制上,(目标)关联、溯因推理、缺省推理、语句语境和话际关系等因素则共同作用,相互渗透。 为刻画特殊会话含义中的推理规律,本文创制了特殊会话含义推理的混合式模型(HMPI)。它吸收了来自于多种理论和模型的相关成果,重新搭配融合而成,在对特殊会话含义推理特点的描述上取得了一定的突破。在总体上,HMPI是一个建立在目标关联框架基础上的六元模型,并采用会话逻辑的手段丰富了“目标”的内涵。在优化规则的制约下,特殊会话含义就成为给定语句的所有可能解释方案中的最佳选择。 DL_G和HMPI的建立,使会话含义理论获得了新的诠释,并揭示出在表象之
其他文献
将磁技术运用到印染废水处理工艺中,为解决印染废水生物处理技术存在的剩余污泥难处理提供了新的思路。磁生物技术具有能耗低,占地面积小,易于操作、不会产生二次污染、成本
目前我国利用机器学习技术解决的肾病辅助诊断多为基于中医证型的中医肾病辅助诊断,而以西医血生化、尿常规等化验项目为基础的西医肾病辅助诊断研究案例较少;并且中医证型的肾病诊断结果多为是否患有该肾病,对机器学习在多种常见肾病如肾衰竭、肾结石等肾脏疾病的明确诊断方面鲜有研究。本文将机器学习分类算法与医疗信息技术相结合,以常见的西医肾病化验数据为实验数据,利用K近邻、决策树、随机森林这3种分类算法建立肾病分
基层微生物限度检查的现状及对策郑洁平(上海宝山区药检所200434)《药品卫生标准》已颁布10年,《中国药典》1995年版也收载了微生物限度检查法,而我国仍有许多小医院、小药厂的药检室在微生物
<正>~~
期刊
对浙江省脂肪酶测定试剂盒产品技术要求中的性能指标进行汇总,采用调查问卷形式对产品的实际性能指标进行调研,从统计学角度对脂肪酶测定试剂盒最低性能指标的制定提出了建议
《釋名》是繼《爾雅》、《方言》、《說文》之後的一部卽聲求義、集先秦兩漢聲訓之大成的訓詁書。此書由劉熙(字成國)所著,成書時間約在公元210年。清代乾嘉以來始得到學者系
学位
针对高校审美教育尚未得到普遍重视的现状,扼要地阐述了中外学者关于美育功能的主要观点,分析了大学生审美素质较差的表现及原因,提出了高校美育课程建设的初步构想。
东汉名臣张奂少时游学三辅,精研儒学;中年在对战羌敌中屡立战功,晚年因党事被禁锢而闭门著书,是儒家立功立言观念的践行者,在军队和士林中都有一定的影响力。虽然张奂的生平
基于交换机呼损码EOS的骚扰电话拦截系统主要包括监控、跟踪、分析、拦截四个模块。通过及时监控、及时跟踪、及时分析、及时拦截方式对骚扰电话进行处理。通过最直接的EOS呼
在机器人多轴电机控制过程中,发现带载情况下如果电机起步速度过快会导致电机堵转问题,很需要一种可以实现电机匀加速的精确控制方法;文章借助于STM32F103,通过其I/O口输出矩