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

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

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

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