基于可废止逻辑的动态预设推理模型

发布时间：2017-09-17 22:16

  本文关键词：基于可废止逻辑的动态预设推理模型

  更多相关文章： 预设可取消性 动态变更类预设 可废止逻辑 形式模型

【摘要】：预设可取消问题是指言语中默认不变的信息在某些语境中会消失,从而引起交流冲突的问题。如何及时调整预设并将新信息纳入自己的知识体系是处理预设可取消问题的关键所在。已有研究大都孤立地关注预设的触发或取消,忽略了预设背后的可废止性。本文将预设的产生、取消和恢复看作一个完整的动态过程,在给出动态变更类预设定义的基础上,以可废止逻辑为知识表征和推理的工具构建预设的逻辑模型,并尝试从贴近语言现象的途径来解决预设取消性问题。全文从以下四个方面展开论述:第一,论述了预设发展脉络和近年的理论成果,引出预设可取消性问题。第二,尝试在语用预设基础上将预设分为两类,并重点研究动态变更类预设。第三,运用可废止逻辑来建构动态变更类预设模型P,这是全文主体。第四,尝试将预设模型P应用到实例分析中,从而较完整地展示了预设产生、取消和恢复的动态过程。
【关键词】：预设可取消性 动态变更类预设 可废止逻辑 形式模型
【学位授予单位】：浙江大学
【学位级别】：硕士
【学位授予年份】：2015
【分类号】：B812
【目录】：

• 致谢4-6
• 摘要6-7
• Abstract7-10
• 1 预设研究概况10-13
• 1.1 本文研究思路10
• 1.2 预设概念界定10-11
• 1.3 预设研究回顾11-13
• 2 预设可取消性13-23
• 2.1 预设产生及取消背景14-16
• 2.2 预设可取消现象分类16-20
• 2.2.1 不可变更类预设16-18
• 2.2.2 动态变更类预设18-20
• 2.3 动态变更类预设20-23
• 3 可废止逻辑23-29
• 3.1 可废止逻辑基本架构24-25
• 3.2 可废止逻辑的证明形式25-27
• 3.3 证明理论的分析27-29
• 4 预设动态变更理论P29-34
• 4.1 理论建立29-30
• 4.2 工作原理30-34
• 4.2.1 预设的相关限定31
• 4.2.2 预设的变更过程31-34
• 5 实例分析34-40
• 5.1 主动变更类预设应用实例34-37
• 5.1.1 理论P_134-36
• 5.1.2 证明36-37
• 5.2 被动变更类预设应用实例37-40
• 5.2.1 理论P_237-39
• 5.2.2 证明39-40
• 6 结论40-42
• 6.1 主要创新之处40
• 6.2 问题与局限40
• 6.3 研究小结40-42
• 参考文献42-45
• 作者简历45

【相似文献】

中国期刊全文数据库 前1条

1 金立;应腾;;论辩理论及其应用[J];浙江社会科学;2011年12期

中国博士学位论文全文数据库 前2条

1 应腾;论辩的结构化研究[D];浙江大学;2015年

2 魏定国;电子商务中谈判及其相关技术的研究[D];复旦大学;2003年

中国硕士学位论文全文数据库 前3条

1 郄萌;基于可废止逻辑的动态预设推理模型[D];浙江大学;2015年

2 李志昂;可控的Agent理性模型研究[D];湖南大学;2010年

3 于洋;面向自治协同的政策导向型Agents可信模型研究[D];湖南大学;2011年

，

本文编号：871674