不一致信念的定量非修正分層處理方法研究.pdf

1、隨著計(jì)算機(jī)技術(shù)的發(fā)展，人們由最初的利用機(jī)器模仿人類行為逐漸轉(zhuǎn)向利用機(jī)器模擬人類智能。種種人工智能的實(shí)踐表明，現(xiàn)今的多數(shù)智能系統(tǒng)對(duì)常識(shí)的表示及其推理都存在一定的困難。人們?cè)诓粩嗟膶?shí)踐后發(fā)現(xiàn)，不一致信念的處理問(wèn)題是常識(shí)推理中的難點(diǎn)及重點(diǎn)。
　　 根據(jù)不同應(yīng)用領(lǐng)域的不同需要，研究者們已經(jīng)提出了許多對(duì)不一致信念的處理辦法，概括起來(lái)，主要包括修正和非修正兩種方法。信念修正的方法是根據(jù)新信念的情況修正原有知識(shí)庫(kù)以維護(hù)知識(shí)庫(kù)的一致性，研究者們

2、在這一領(lǐng)域已經(jīng)取得了很多的研究成果。但是，由于要對(duì)知識(shí)庫(kù)進(jìn)行修正，幾乎所有的信念修正方法都存在著丟失希望信息、產(chǎn)生不希望結(jié)論或結(jié)論難于選擇的問(wèn)題。而非修正方法是在容忍不一致的前提下進(jìn)行的推理，它不需要對(duì)原有知識(shí)庫(kù)進(jìn)行修正，因而很好地避免了上述問(wèn)題。
　　 本文基于非修正方法的思想，在命題邏輯下討論不一致信念的定量非修正分層處理方法。
　　 為了保證假說(shuō)擴(kuò)充具有良好的數(shù)學(xué)性質(zhì)和行為表現(xiàn)，本文首先通過(guò)限制假說(shuō)為子句集的形式，

3、用歸結(jié)法進(jìn)行推理，對(duì)推理結(jié)果進(jìn)行分層處理，將矛盾信息隔離在某一層次中，重新修正了假說(shuō)擴(kuò)充的定義，并給出了修正后的假說(shuō)擴(kuò)充滿足一致性、演繹封閉性、累積性等相關(guān)數(shù)學(xué)性質(zhì)的證明。如果將假說(shuō)的無(wú)限增長(zhǎng)過(guò)程理解為認(rèn)識(shí)進(jìn)程，則認(rèn)識(shí)進(jìn)程收斂于確定的極限。
　　 為了對(duì)信息進(jìn)行更好的篩選和甄別，使假說(shuō)擴(kuò)充中保存的信息更加全面，本文又引入了信念權(quán)值的表示方法，從定量的角度進(jìn)一步優(yōu)化了假說(shuō)擴(kuò)充的定義，并證明了優(yōu)化后的假說(shuō)擴(kuò)充同樣滿足相關(guān)的數(shù)學(xué)性質(zhì)。