信念非修正原型系統(tǒng)知識庫和用戶界面的設(shè)計與實現(xiàn).pdf

1、信念修正是一個解決不一致信念推理的重要方法，信念修正的主要思想是當(dāng)出現(xiàn)不一致時，就修改知識庫使其恢復(fù)一致性。信念修正易丟失有用的信息。信念非修正推理方法容忍知識庫中的不一致，通過提出新的推理方式來獲得一致的結(jié)論集。信念非修正原型系統(tǒng)利用信念非修正最基本的邏輯，實現(xiàn)最基礎(chǔ)的信念非修正推理過程，但是沒有結(jié)合實際領(lǐng)域知識進行驗證。
　　本文在信念非修正原型系統(tǒng)上，結(jié)合船舶領(lǐng)域的故障診斷知識，設(shè)計一階謂詞邏輯下有可信度Horn子句形式的表

2、示方式，對不精確的領(lǐng)域知識做有效的表示，簡化了領(lǐng)域知識到形式語言的表示過程，方便了系統(tǒng)中信念形式的解析設(shè)計，提高整個系統(tǒng)的推理效率。因為知識的表示形式，將知識庫設(shè)計成“事實-規(guī)則”型知識庫，將Horn子句形式的知識有序高效的進行存儲。根據(jù)知識庫中知識的結(jié)構(gòu)，改進信念非修正原型系統(tǒng)的推理方法，減少推理過程中的組合爆炸，利用單元歸結(jié)的推理方法。在推理過程中，將進行推理的信念創(chuàng)建信念圖，在信念圖上計算信念的可信度和進行信念的修正操作。