加權(quán)子句型信念集的靜態(tài)非修正處理方法研究.pdf

1、常識推理中的一些信息具有不一致性、不完全性與不確定性。這樣的信息，不能稱為真理，只能稱為信念。信念修正是一種研究常識推理的重要方法。該方法的主要思想是首先根據(jù)一定的假設(shè)對信念進行排序，然后用較可靠的信念去修正不夠可靠的信念，最后得到一致的信念集。由于信念修正方法對信念集不斷地進行修正，在推理過程中會丟失希望的信息，產(chǎn)生不希望的結(jié)論。
　　 信念非修正方法的主要思想是當(dāng)獲得的新信念與原信念集中的一些信念產(chǎn)生沖突時，對這些不一致信念

2、不做任何處理。采用某種形式的語義，通過將該信念集能夠推出的并且沒有矛盾的信息作為系統(tǒng)最終的結(jié)論集，這種方法解決了不希望結(jié)論的產(chǎn)生以及結(jié)論集合難于抉擇的情況。
　　 對于信念的加權(quán)問題，傳統(tǒng)的方法主要采用有限鏈結(jié)構(gòu)去刻畫信念的可靠程度。雖然得到了廣泛的應(yīng)用，但是由于有限鏈中的元素是非連續(xù)的和全序的，應(yīng)用范圍過于局限。本文將有限鏈結(jié)構(gòu)推廣為平滑格結(jié)構(gòu)，在語法上用平滑格中的元素刻畫信念的可靠性，解決了信念存在不可比較的問題。
　

3、　 本文主要針對于有限鏈結(jié)構(gòu)表示范圍的局限性以及信念修正方法的不足，在一階邏輯中，將假說限制為使用平滑格元素加權(quán)的子句集，采用歸結(jié)的方法作為蘊含語義，定義了假說擴充。并且證明了該假說的擴充具有良好的性質(zhì)。同時對假說的擴充是否是一致的進行了討論。
　　 本文還對加權(quán)子句型假說的認(rèn)識進程的收斂性進行了研究。首先，定義了加權(quán)子句型假說的認(rèn)識進程，然后給出了判斷該認(rèn)識進程是否收斂的條件。最后證明了加權(quán)子句型假說的認(rèn)識進程具有收斂性。<