信念修正邏輯探析.pdf

1、獨創(chuàng)性聲明學位論文題目：焦盒修正塑塑拯塹本人提交的學位論文是在導師指導下進行的研究工作及取得的研究成果。論文中引用他人已經(jīng)發(fā)表或出版過的研究成果，文中已加了特別標注。對本研究及學位論文撰寫曾做出貢獻的老師、朋友、同仁在文中作了明確說明并表示衷心感謝。學位論文作者：多慈、紗簽字日期：緲f眸‘月p日學位論文版權(quán)使用授權(quán)書本學位論文作者完全了解西南大學有關(guān)保留、使用學位論文的規(guī)定，有權(quán)保留并向國家有關(guān)部門或機構(gòu)送交論文的復(fù)印件和磁盤，允許論文

2、被查閱和借閱。本人授權(quán)西南大學研究生院(籌)可以將學位論文的全部或部分內(nèi)容編入有關(guān)數(shù)據(jù)庫進行檢索，可以采用影印、縮印或掃描等復(fù)制手段保存、匯編學位論文。(保密的學位論文在解密后適用本授權(quán)書，本論文：口不保密，口保密期限至年月止)。學位論文作者簽名：王忠元簽字日期：伊((f年易月向日導師簽名：簽字日期：么∥幺年(月扣日西南大學碩士學位論文摘要信念修正邏輯探析邏輯學專業(yè)碩士研究生王忠元指導老師唐曉嘉教授摘要信念修正是當前研究的一個熱點問題，

3、如何構(gòu)建信念修正系統(tǒng)形式化描述主體信念的動態(tài)變化以及利用更好的技術(shù)處理信念修正問題，具有重要的研究意義和價值。但就目前的情況來看，信念修正在取得一定研究成果的同時還存在許多亟待解決的問題。本文介紹了三種不同的研究信念修正的方法，通過分析這幾種方法各自的優(yōu)勢和不足，嘗試找出各種信念修正理論的共通點和共同的不足之處抑或是面臨的問題。同時也希望通過對這幾種方法的介紹及比較分析，能管中窺豹似地對現(xiàn)代邏輯中信念修正的研究方法或技術(shù)作一個大概的展示

4、。第一部分：通過闡述認知邏輯中知識與信念的不同邏輯特征，強調(diào)應(yīng)將信念概念與知識概念區(qū)分開來，從知識到信念。由此引出基本的信念邏輯系統(tǒng)KD45以及為信念修正奠定研究方向和理論基礎(chǔ)的AGM系統(tǒng)。第二部分：主要介紹了現(xiàn)代邏輯中研究信念修正的兒種方法，主要包括基于可信度的迭代信念修正方法、基于動態(tài)認知邏輯的信念修正理論以及基于代數(shù)方法的信念修正系統(tǒng)。通過分析這幾種具有一定代表性的信念修正研究方法，試圖展示現(xiàn)代邏輯對信念修正的各類研究技術(shù)和方案。