本文關(guān)鍵詞：信念修正邏輯初探，由筆耕文化傳播整理發(fā)布。

【摘要】： 經(jīng)典的信念邏輯系統(tǒng)S_(KD45)只能表達主體某個靜止狀態(tài)的信念及推理,事實上,在收到新信息后,主體的信念將發(fā)生變化。動態(tài)認知邏輯是動態(tài)邏輯和認知邏輯相結(jié)合的結(jié)果,它為信息變化提供了一種形式化的處理方法。本文旨在建立一個能處理信念變化的信念修正邏輯系統(tǒng)S_(DBR)。 第一部分:首先介紹經(jīng)典的信念邏輯系統(tǒng)S_(KD45),該系統(tǒng)能較好地刻畫相信算子的性質(zhì):無矛盾性、正內(nèi)省性、負內(nèi)省性,同時指出它的不足——不能描述動作所產(chǎn)生的變化,也不能刻畫多主體間的相互作用。接著介紹傳統(tǒng)的信念修正理論——AGM理論,它雖然能反映主體信念變化的過程,但并不是一個形式化的系統(tǒng)。 第二部分:為了將信念排序,首先介紹順序條件函數(shù),它可以處理當主體收到帶一定牢固度的命題后信念是如何變化的。在此基礎(chǔ)上,引入靜態(tài)的信念邏輯系統(tǒng)S_(SBR),給出語言、語義以及證明系統(tǒng),最后給出完備性的證明。 第三部分:在靜態(tài)的信念邏輯系統(tǒng)S_(SBR)基礎(chǔ)上,將行動模型在認知邏輯中的執(zhí)行作為動態(tài)模態(tài)算子引入邏輯語言中,建立動態(tài)的信念修正邏輯系統(tǒng)S_(DBR)。由于S_(DBR)可以歸約到S_(SBR),所以可以證明S_(DBR)也是完備的。 第四部分:對S_(DBR)做出評價,指出不足之處,并指明在未來需要進一步研究的問題。
【關(guān)鍵詞】：信念 AGM理論 順序條件函數(shù) 信念修正 動態(tài)信念修正邏輯
【學位授予單位】：西南大學
【學位級別】：碩士
【學位授予年份】：2008
【分類號】：B812
【目錄】：

• 摘要4-5
• Abstract5-6
• 文獻綜述6-8
• 第1章 經(jīng)典的信念邏輯8-13
• 1.1 信念邏輯系統(tǒng)S_(KD45)8-9
• 1.2 信念修正的AGM理論9-13
• 第2章 信念邏輯系統(tǒng)S_(SBR)13-23
• 2.1 順序條件函數(shù)13-16
• 2.2 S_(SBR)的證明系統(tǒng)16-19
• 2.3 S_(SBR)系統(tǒng)完備性的證明19-23
• 第3章 信念修正邏輯系統(tǒng)S_(DBR)23-29
• 3.1 S_(DBR)的證明系統(tǒng)23-27
• 3.2 S_(DBR)系統(tǒng)完備性的證明27-29
• 第4章 總結(jié)與展望29-30
• 參考文獻30-31
• 致謝31

【參考文獻】

中國期刊全文數(shù)據(jù)庫 前2條

1 劉瑞勝,孫吉貴,劉敘華;認識邏輯(1):關(guān)于知識和信念的邏輯框架[J];計算機學報;1998年07期

2 熊立文;信念修正的AGM理論[J];現(xiàn)代哲學;2005年01期

中國博士學位論文全文數(shù)據(jù)庫 前1條

1 郭美云;帶有群體知識的動態(tài)認知邏輯[D];北京大學;2006年

  本文關(guān)鍵詞：信念修正邏輯初探，由筆耕文化傳播整理發(fā)布。

，

本文編號：404948