常識(shí)推理中不一致信念的兩種修正策略研究.pdf

1、在人類基于知識(shí)的推理中，由于知識(shí)的不完全、不確定、不精確及不同知識(shí)源的知識(shí)可能相互抵觸等原因，人們?cè)谕评頃r(shí)所用的知識(shí)未必總是一致的，因而不能把這些知識(shí)看成絕對(duì)真理，只能作為一些信念（belief）。隨著人類認(rèn)識(shí)的深入，人們獲取的新信念往往會(huì)與人們?cè)械男拍畎l(fā)生沖突，利用不一致信念如何進(jìn)行有效的推理，這是常識(shí)推理問(wèn)題的一個(gè)關(guān)鍵問(wèn)題。 對(duì)于不一致信念，目前人們主要采取兩種態(tài)度。一種是修正原有知識(shí)庫(kù)中的信念以保持新信念加入后的知識(shí)庫(kù)的

2、一致性，即信念修正的方法[1-10]。另一種是接受不一致信念，在容忍不一致性的前提下進(jìn)行一致性推理，即非修正的方法。 在信念修正中，當(dāng)面臨新信念時(shí)，如何將其加入原有協(xié)調(diào)的知識(shí)庫(kù)并保持知識(shí)庫(kù)的協(xié)調(diào)性是信念修正所要解決的問(wèn)題。當(dāng)新信念與原有知識(shí)庫(kù)一致時(shí)，只需將其直接并入知識(shí)庫(kù)；而不一致時(shí)，為了維護(hù)修正后的知識(shí)庫(kù)的協(xié)調(diào)性，往往要在加入新信念的同時(shí)刪除原有知識(shí)庫(kù)的部分信念。這種刪除不是任意的，而是盡可能多的保留原有知識(shí)庫(kù)的信息，使得信念

3、修正遵循最小改變?cè)瓌t。 近年來(lái)，信念修正問(wèn)題在人工智能、哲學(xué)以及數(shù)據(jù)庫(kù)領(lǐng)域得到了廣泛的關(guān)注。在信念修正問(wèn)題的研究中，學(xué)者們提出了許多不同的框架，其中最有影響力的就是AGM理論。后來(lái)一些學(xué)者又先后提出了各種修正算子，這些算子主要是通過(guò)兩種途徑給出的：要么給出算子直接的構(gòu)造算法，要么通過(guò)一組合理公設(shè)作為算子的限制條件。我們把這些算子看成是傳統(tǒng)的修正方法。 本文基于傳統(tǒng)的修正方法，提出一種弱化矛盾信息的修正策略，把傳統(tǒng)修正方法