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

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

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