信念修正邏輯探析.pdf

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

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

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

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