Horn子句型信念的靜態(tài)非修正處理方法研究.pdf

1、常識(shí)推理中的信息常常具有不一致性、不完全性和不確定性。這樣的信息不能看作絕對(duì)真理，而只能稱為信念。對(duì)不一致信念的處理是人工智能特別是計(jì)算機(jī)推理研究中一個(gè)關(guān)鍵性的問(wèn)題。目前處理這一問(wèn)題的一個(gè)主要方法是信念修正方法，其基本思路是根據(jù)一定的假設(shè)對(duì)信念進(jìn)行排序，利用較可靠的信念修正不夠可靠的信念，從而使信念集是一致的。由于需要不斷對(duì)信念集合進(jìn)行修正，信念修正方法至少存在兩點(diǎn)不足：首先，一些希望信息在信念修正過(guò)程中丟失；其次，會(huì)在推理過(guò)程中產(chǎn)生不

2、希望的結(jié)論。
　　 信念靜態(tài)非修正方法被提出來(lái)以解決這些問(wèn)題。信念靜態(tài)非修正方法的主要思想是保留所有信念作為假說(shuō)。在容忍不一致信念的情況下，通過(guò)限制假說(shuō)的語(yǔ)法形式和蘊(yùn)涵語(yǔ)義的方法來(lái)取得假說(shuō)的擴(kuò)充來(lái)作為最終結(jié)論集。信念靜態(tài)非修正方法保留了新加入信念與原信念集中的全部信息，因此避免了希望信息丟失的現(xiàn)象。同時(shí)，信念靜態(tài)非修正方法借助某種語(yǔ)義機(jī)制取得唯一且一致的假說(shuō)擴(kuò)充作為結(jié)論集，避免了不希望結(jié)論的產(chǎn)生。
　　 信念靜態(tài)非修正處

3、理方法的研究重點(diǎn)是如何定義假說(shuō)及假說(shuō)的擴(kuò)充，以使得假說(shuō)的擴(kuò)充變成具有良好性質(zhì)的結(jié)論集合。本文在一階邏輯下，將信念定義為Horn子句，將假說(shuō)定義為Horn子句集，并利用單元?dú)w結(jié)作為蘊(yùn)涵的語(yǔ)義以使假說(shuō)的擴(kuò)充具有良好的性質(zhì)。證明了該蘊(yùn)涵語(yǔ)義定義下Horn子句型信念的假說(shuō)擴(kuò)充的唯一性、一致性和演繹封閉性。
　　 進(jìn)一步地，本文研究了應(yīng)用靜態(tài)非修正方法的Horn子句型信念的認(rèn)識(shí)進(jìn)程。首先建立了Horn子句型信念的認(rèn)識(shí)進(jìn)程的定義。其次建立了