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

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

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