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

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

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