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

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

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

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