甘蔗收獲機械智能設計系統(tǒng)知識庫系統(tǒng)的優(yōu)化與復合推理.pdf

1、本論文是結合國家自然科學基金資助項目“基于知識的甘蔗收獲機械智能設計系統(tǒng)關鍵技術研究”而展開的。在對智能設計系統(tǒng)發(fā)展狀況以及知識庫優(yōu)化與維護方法進行調(diào)研和論述的基礎上，給出了甘蔗收獲機械智能設計系統(tǒng)的總體結構以及各關鍵模塊的主要功能； 針對甘蔗收獲機械智能設計系統(tǒng)存在的兩個不能融合的知識庫，本文對甘蔗收獲機械設計知識特點的分析以及對基礎知識庫和衍生知識庫知識表達方式差異分析的基礎上，構造了基礎知識庫與衍生知識庫之間的接口模塊，衍

2、生知識庫中的知識經(jīng)過接口的分析和轉化，再存入基礎知識庫，從而整合優(yōu)化了知識庫； 在對知識庫系統(tǒng)人工維護弊端分析的基礎上，通過構造和分析規(guī)則庫條件集和規(guī)則庫結論集，從比較規(guī)則的結論出發(fā)，提出一有效算法檢測知識庫中的冗余規(guī)則，矛盾規(guī)則，并給出了循環(huán)規(guī)則的檢測算法，實現(xiàn)了知識庫的一致性維護；本文給出了甘蔗收獲機械知識庫規(guī)則中選擇子的概念，通過構造各選擇子之間的集合來檢測知識庫中存在的不可達子句，死子句，并給出了遺漏規(guī)則的檢測算法，實現(xiàn)