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

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

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

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