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

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

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