命題信念集的非修正處理方法研究.pdf

1、知識的表示和推理被認(rèn)為是人工智能符號主義流派最重要的研究內(nèi)容之一，而在這些研究中，邏輯則充當(dāng)著重要的角色。邏輯推理是認(rèn)知智能行為的典型特征，但是在推理過程中，由于不同原因產(chǎn)生了一些不一致信念，而這些不一致信念使知識庫出現(xiàn)了矛盾。能夠有效地對人工智能中出現(xiàn)的各種不同類型的知識庫進(jìn)行協(xié)調(diào)性維護(hù)，對于推動人工智能特別是基于知識推理的研究具有重要的意義。
　　 非單調(diào)邏輯主要的思想就是在知識不完全的情況下進(jìn)行推理。它修正了由加入新知識而

2、引起的矛盾。然而對已有的知識進(jìn)行修正，常常會出現(xiàn)這樣的情況，即系統(tǒng)丟失了能夠推導(dǎo)出來的某些原本希望得到的信息。針對以上問題，鄧安生教授提出的信念非修正理論主要克服以上信念修正存在的缺點(diǎn)。這種方法的優(yōu)勢在于，不僅可以得到唯一的結(jié)果集，并且將這種方法應(yīng)用在經(jīng)典邏輯中時(shí)，它表現(xiàn)出了良好的數(shù)學(xué)性質(zhì)如:一致性，封閉性，封閉性等。本文是將這種方法的應(yīng)用范圍進(jìn)一步擴(kuò)展，使得它更一般性化。
　　 (1)將假說的語法形式限制為命題邏輯下的與或句型

3、集;蘊(yùn)涵語義采用廣義歸法對假說的擴(kuò)充進(jìn)行定義;并證明了假說的擴(kuò)充具有良好的數(shù)學(xué)性質(zhì)，如一致性，封閉性和外延性等。
　　 (2)對命題邏輯下的與或句型假說的認(rèn)識進(jìn)程進(jìn)行了研究。首先，對與或句型假說的認(rèn)識進(jìn)程進(jìn)行了定義;其次，給出了判斷與或句型假說的認(rèn)識進(jìn)程是否收斂的條件;最后，證明了與或句假說的認(rèn)識進(jìn)程具有收斂性。
　　 (3)實(shí)現(xiàn)自動推理算法。首先，根據(jù)對與或句型假說使用廣義歸結(jié)方法進(jìn)行演繹推理過程完成了歸結(jié)集算法。其次