發(fā)布時(shí)間：2020-08-25 13:58

【摘要】：信念修正是當(dāng)前研究的一個(gè)熱點(diǎn)問(wèn)題,如何構(gòu)建信念修正系統(tǒng)形式化描述主體信念的動(dòng)態(tài)變化以及利用更好的技術(shù)處理信念修正問(wèn)題,具有重要的研究意義和價(jià)值。但就目前的情況來(lái)看,信念修正在取得一定研究成果的同時(shí)還存在許多亟待解決的問(wèn)題。 本文介紹了三種不同的研究信念修正的方法,通過(guò)分析這幾種方法各自的優(yōu)勢(shì)和不足,嘗試找出各種信念修正理論的共通點(diǎn)和共同的不足之處抑或是面臨的問(wèn)題。同時(shí)也希望通過(guò)對(duì)這幾種方法的介紹及比較分析,能管中窺豹似地對(duì)現(xiàn)代邏輯中信念修正的研究方法或技術(shù)作一個(gè)大概的展示。 第一部分：通過(guò)闡述認(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)。通過(guò)分析這幾種具有一定代表性的信念修正研究方法,試圖展示現(xiàn)代邏輯對(duì)信念修正的各類研究技術(shù)和方案。 第三部分：這部分是本文的重點(diǎn),主要內(nèi)容是詳細(xì)說(shuō)明了上述三種信念修正方法各自的優(yōu)點(diǎn)和不足,通過(guò)比較分析三種方法在處理信念修正問(wèn)題時(shí)的優(yōu)勢(shì)和不足,嘗試找出各種信念修正方法之間的內(nèi)在關(guān)聯(lián)和共同面臨的問(wèn)題。 第四部分：總結(jié)了本文的主要內(nèi)容,并結(jié)合對(duì)信念修正相關(guān)理論的分析,給出了作者的一些觀點(diǎn)和結(jié)論。
【學(xué)位授予單位】：西南大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2014
【分類號(hào)】：B815.3

【參考文獻(xiàn)】

相關(guān)期刊論文 前5條

1 蕭瑤;;一個(gè)基于順序條件函數(shù)的信念邏輯系統(tǒng)[J];畢節(jié)學(xué)院學(xué)報(bào);2009年07期

2 廖德明;;動(dòng)態(tài)認(rèn)知邏輯視域下的知識(shí)與信念[J];畢節(jié)學(xué)院學(xué)報(bào);2010年01期

3 郭佳宏;;研究主體信念修正的不同路徑[J];暨南學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2008年03期

4 欒尚敏;李未;;信念修正的各種方法之比較[J];計(jì)算機(jī)科學(xué);1999年07期

5 陳慕澤;多主體系統(tǒng)中的知道推理[J];中山大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2003年S1期

本文編號(hào)：2803781