與或句型信念集非修正處理方法研究.pdf

1、信念修正是常識(shí)推理的主要手段，然而信念修正方法在處理不一致信念時(shí)常常會(huì)出現(xiàn)有用的信念丟失和結(jié)論集難于抉擇的問(wèn)題。為了解決這些問(wèn)題，鄧安生教授提出了信念的非修正方法，其主要思想是，當(dāng)信念集中存在不一致信念時(shí)，不再對(duì)信念集修正，而是使用某種形式語(yǔ)義和限制條件從不一致信念集中推出唯一存在的集合作為最終結(jié)論集。這一方法不僅彌補(bǔ)了傳統(tǒng)信念修正方法存在的有用信念丟失和結(jié)論集難于抉擇的問(wèn)題，且已被證明是一種性能良好，具有較高穩(wěn)定性的信念修正方法。

2、r>　　信念非修正方法已經(jīng)取得了階段性的成果，但是這種方法目前只能處理語(yǔ)法形式在一階邏輯下的一般子句。為了使信念非修正方法具有更好的適用性，本文將信念非修正方法進(jìn)一步擴(kuò)展應(yīng)用到一階邏輯下的與或句型上。與已經(jīng)取得的成果相比，本文不僅解決了信念修正方法所存在的一些問(wèn)題，還擴(kuò)展了信念非修正方法的應(yīng)用范圍，簡(jiǎn)化了知識(shí)的形式化過(guò)程，提高了效率。
　　(1)將信念非修正方法擴(kuò)展應(yīng)用到一階邏輯下的與或句上，提高了知識(shí)形式化的效率，使其更具有一般

3、性。首先，將假說(shuō)的語(yǔ)法形式限制在一階邏輯下的與或句;其次，采用基于刪除策略的廣義歸結(jié)方法進(jìn)行推理從信念集中得到可能結(jié)論集。然后，使用限制條件從可能信念集中得到唯一存在的最終結(jié)論集。最后，證明了與或句上的假說(shuō)擴(kuò)充是唯一存在的，且具有演繹封閉行、一致性、累積性等良好的數(shù)學(xué)性質(zhì)。
　　(2)研究了與或句型上的假說(shuō)的多次修正情況。首先定義了假說(shuō)的認(rèn)識(shí)進(jìn)程，刻畫了假說(shuō)的進(jìn)化過(guò)程。隨后，研究了假說(shuō)的認(rèn)識(shí)進(jìn)程的極限，并證明了假說(shuō)的認(rèn)識(shí)進(jìn)程收斂于