本文關鍵詞：基于可廢止邏輯的動態(tài)預設推理模型

  更多相關文章： 預設可取消性 動態(tài)變更類預設 可廢止邏輯 形式模型

【摘要】：預設可取消問題是指言語中默認不變的信息在某些語境中會消失,從而引起交流沖突的問題。如何及時調整預設并將新信息納入自己的知識體系是處理預設可取消問題的關鍵所在。已有研究大都孤立地關注預設的觸發(fā)或取消,忽略了預設背后的可廢止性。本文將預設的產生、取消和恢復看作一個完整的動態(tài)過程,在給出動態(tài)變更類預設定義的基礎上,以可廢止邏輯為知識表征和推理的工具構建預設的邏輯模型,并嘗試從貼近語言現象的途徑來解決預設取消性問題。全文從以下四個方面展開論述:第一,論述了預設發(fā)展脈絡和近年的理論成果,引出預設可取消性問題。第二,嘗試在語用預設基礎上將預設分為兩類,并重點研究動態(tài)變更類預設。第三,運用可廢止邏輯來建構動態(tài)變更類預設模型P,這是全文主體。第四,嘗試將預設模型P應用到實例分析中,從而較完整地展示了預設產生、取消和恢復的動態(tài)過程。
【關鍵詞】：預設可取消性 動態(tài)變更類預設 可廢止邏輯 形式模型
【學位授予單位】：浙江大學
【學位級別】：碩士
【學位授予年份】：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 動態(tài)變更類預設18-20
• 2.3 動態(tài)變更類預設20-23
• 3 可廢止邏輯23-29
• 3.1 可廢止邏輯基本架構24-25
• 3.2 可廢止邏輯的證明形式25-27
• 3.3 證明理論的分析27-29
• 4 預設動態(tài)變更理論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 主要創(chuàng)新之處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 郄萌;基于可廢止邏輯的動態(tài)預設推理模型[D];浙江大學;2015年

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

3 于洋;面向自治協(xié)同的政策導向型Agents可信模型研究[D];湖南大學;2011年

，

本文編號：871674