1、如何合理處理信念間的不一致性是常識推理過程的一個(gè)關(guān)鍵性問題。目前，信念修正方法作為處理信念間的不一致性被國內(nèi)外學(xué)者廣泛研究，該方法引入一個(gè)修正算子，對不一致信念進(jìn)行修改以獲得一致信念的推理。修改原有信念就不可避免的會出現(xiàn)重要信息缺失，甚至結(jié)論集無法抉擇的問題。而信念非修正方法是以不修正為前提，利用限定推理的過程獲得一致的結(jié)論集，實(shí)現(xiàn)有效的推理。
　　在一階邏輯中，已有的基于Horn子句型信念假說的擴(kuò)充具備較好的數(shù)學(xué)特性，但是其在計(jì)

2、算機(jī)上的可編程和可實(shí)現(xiàn)性上仍存在一些問題。考慮到將該方法更容易的應(yīng)用在實(shí)際中，本文總結(jié)出了構(gòu)建Horn子句型信念非修正推理系統(tǒng)亟需處理的主要問題，就此設(shè)計(jì)實(shí)現(xiàn)了Horn子句型信念非修正推理系統(tǒng)。具體研究內(nèi)容如下:
　　(1)定義了Horn子句型信念假說的擴(kuò)充。在這種定義下，有限假說的擴(kuò)充仍然是一個(gè)有限集合，它可以不是演繹封閉的，但與原假說的擴(kuò)充在邏輯上是相等的，并進(jìn)行了證明。對于任意Horn子句型信念的可信程度，本文中引入權(quán)值的概

3、念。通過權(quán)值既滿足了合理性又滿足了可實(shí)現(xiàn)性。
　　(2)提出了Horn子句型信念假說擴(kuò)充的生成算法。在算法的設(shè)計(jì)中借鑒了本原蘊(yùn)涵的方法，使用歸結(jié)方法進(jìn)行推理，在歸結(jié)過程采用了刪除策略和有序歸結(jié)方法進(jìn)行優(yōu)化。為了易于得到一致的假說的擴(kuò)充集，定義了推導(dǎo)解釋，構(gòu)建了子句圖，詳細(xì)記錄了信念間的推理過程。
　　(3)構(gòu)建了Horn子句型信念非修正推理系統(tǒng)的模型，并實(shí)現(xiàn)了Horn子句型信念非修正推理系統(tǒng)。本文根據(jù)問題描述與設(shè)計(jì)，構(gòu)建了系