信念非修正的極小模型方法.pdf

1、單調(diào)推理無法滿足人們對客觀世界的認(rèn)知，為此提出了非單調(diào)推理。人們從外界獲取的信念往往不總為真，當(dāng)獲取的新信念與原有信念集中的信念相矛盾時就會出現(xiàn)不一致，如何對信念集進(jìn)行協(xié)調(diào)性維護(hù)是常識推理的關(guān)鍵問題之一。目前對不一致信念進(jìn)行處理的主要方法是信念修正方法，其主要不足之處在于:有可能會丟失有用信念和產(chǎn)生多個結(jié)論難以選擇。
　　本論文對不一致信念的處理則采用信念非修正的極小模型方法，其基本思想是:允許信念集中存有不一致信念，進(jìn)而據(jù)此信念

2、集推理出“不含不一致信念的推理結(jié)論”，且保證其為最簡。信念非修正的極小模型方法能夠避免丟失有用信念和產(chǎn)生多個結(jié)論難以選擇，同時也能夠解決“在含有不一致信念的情況下無法進(jìn)行推理”的問題。
　　首先，探討信念集的極小模型的定義、信念集的極小蘊(yùn)涵的定義、信念集的極小模型的性質(zhì)。在對擇優(yōu)邏輯和擇優(yōu)蘊(yùn)涵研究的基礎(chǔ)上，給出信念集的極小模型的定義，并形式化給出信念集的極小蘊(yùn)涵的定義;對信念集的極小模型的性質(zhì)進(jìn)行分析，期望其具有良好的反身性、右弱

3、化性、剪切性。
　　其次，討論信念集的擴(kuò)充集的定義、信念集的擴(kuò)充集的性質(zhì)。通過分析信念集的極小模型與信念集的極小蘊(yùn)涵，棄用信念非修正的歸結(jié)方法而選用信念非修正的極小模型方法來求解信念集的擴(kuò)充集;對信念集的擴(kuò)充集的性質(zhì)進(jìn)行分析，期望其具有良好的一致性、演繹封閉性、累積性。
　　最后，設(shè)計(jì)并實(shí)現(xiàn)基于信念集的極小模型的信念非修正推理系統(tǒng)。基于信念集的極小模型和信念集的極小蘊(yùn)涵設(shè)計(jì)信念集的極小模型集的求解算法，并在此基礎(chǔ)之上設(shè)計(jì)基于