實(shí)驗(yàn)一：產(chǎn)生式系統(tǒng)實(shí)驗(yàn)

1、實(shí)驗(yàn)一：產(chǎn)生式系統(tǒng)實(shí)驗(yàn)一、實(shí)驗(yàn)?zāi)康模菏煜ず驼莆债a(chǎn)生式系統(tǒng)的運(yùn)行機(jī)制，掌握基于規(guī)則推理的基本方法。二、實(shí)驗(yàn)原理產(chǎn)生式系統(tǒng)用來(lái)描述若干個(gè)不同的以一個(gè)基本概念為基礎(chǔ)的系統(tǒng)，這個(gè)基本概念就是產(chǎn)生式規(guī)則或產(chǎn)生式條件和操作對(duì)。在產(chǎn)生式系統(tǒng)中，論域的知識(shí)分為兩部分：用事實(shí)表示靜態(tài)知識(shí)；用產(chǎn)生式規(guī)則表示推理過(guò)程和行為。產(chǎn)生式系統(tǒng)是由一組規(guī)則組成的、能夠協(xié)同作用的推理系統(tǒng)。其模型是設(shè)計(jì)各種智能專家系統(tǒng)的基礎(chǔ) .產(chǎn)生式系統(tǒng)主要由規(guī)則庫(kù)、綜合數(shù)據(jù)庫(kù)和推理機(jī)三大部分組成。本實(shí)驗(yàn)環(huán)境主要提供一個(gè)能夠?qū)崿F(xiàn)模擬產(chǎn)生式專家系統(tǒng)的驗(yàn)證、設(shè)計(jì)和開(kāi)發(fā)的可視化操作平臺(tái)。學(xué)生既能用本系統(tǒng)提供的范例進(jìn)行演示或驗(yàn)證性實(shí)驗(yàn)，也能夠用它來(lái)設(shè)計(jì)

2、并調(diào)試自己的實(shí)驗(yàn)?zāi)Ｐ?。 三、 實(shí)驗(yàn)條件：1、產(chǎn)生式系統(tǒng)實(shí)驗(yàn)程序。2、IE6.0以上，可以上Internet四、實(shí)驗(yàn)內(nèi)容：1. 對(duì)已有的產(chǎn)生式系統(tǒng)(默認(rèn)的例子)進(jìn)行演示，同時(shí)可以更改其規(guī)則庫(kù)或（和）事實(shí)庫(kù)，進(jìn)行正反向推理，了解其推理過(guò)程和機(jī)制。2. 自己建造產(chǎn)生式系統(tǒng)（包括規(guī)則庫(kù)和事實(shí)庫(kù)），然后進(jìn)行推理，即可以自己輸入任何的規(guī)則和事實(shí)，并基于這種規(guī)則和事實(shí)進(jìn)行推理。這為學(xué)生親手建造產(chǎn)生式系統(tǒng)并進(jìn)行推理提供了一種有效的實(shí)驗(yàn)環(huán)境。五、實(shí)驗(yàn)步驟：1. 定義變量，包括變量名和變量的值。2. 建立規(guī)則庫(kù)，其方法是，(a) 輸入規(guī)則的條件：每條規(guī)則至少有一個(gè)條件和一個(gè)結(jié)論，選擇變量名，輸入條件（符號(hào)）；選

3、擇變量值，按確定按鈕就完成了一條條件的輸入。重復(fù)操作，可輸入多條條件；(b) 輸入規(guī)則的結(jié)論：輸入完規(guī)則的條件后，就可以輸入規(guī)則的結(jié)論了，每條規(guī)則必須也只能有一個(gè)結(jié)論。選擇變量名，輸入條件（符號(hào)），選擇變量值，按確定按鈕就完成了一個(gè)結(jié)論的輸入。重復(fù)以上兩步，完成整個(gè)規(guī)則庫(kù)的建立。3. 建立事實(shí)庫(kù)（總數(shù)據(jù)庫(kù)）：建立過(guò)程同步驟2。重復(fù)操作，可輸入多條事實(shí)。4. 然后按“開(kāi)始”或“單步”按鈕即可。此外，利用實(shí)例演示，可以運(yùn)行系統(tǒng)默認(rèn)的產(chǎn)生式系統(tǒng)，并且可以進(jìn)行正反向推理。其他的可參見(jiàn)其幫助文件。六、實(shí)驗(yàn)流程圖和結(jié)果：七、程序清單：#include<iostream>#include<

4、iomanip>using namespace std;char *animal="企鵝","海燕","鴕鳥(niǎo)","斑馬","長(zhǎng)頸鹿","虎","金錢豹"char *feature="有毛","產(chǎn)奶","有羽毛","會(huì)飛","會(huì)下蛋","吃肉","有犬齒","有爪","眼睛盯前方&qu

5、ot;,"有蹄","反芻","黃褐色","有斑點(diǎn)", / 0 1 2 3 4 5 6 7 8 9 10 11 12"有黑色條紋","長(zhǎng)脖","長(zhǎng)腿","不會(huì)飛","會(huì)游泳","黑白兩色","善飛","哺乳類","鳥(niǎo)類","肉食類","蹄類", / 13 14 15 16 17 18 19 20 21

6、 22 23 "企鵝","海燕","鴕鳥(niǎo)","斑馬","長(zhǎng)頸鹿","虎","金錢豹" / 24 25 26 27 28 29 30typedef struct /存放規(guī)則的結(jié)構(gòu)體 int relation5; int name;Rule;Rule rule15= 0,-1,20,/規(guī)則0 1,-1,20,/規(guī)則1 2,-1,21,/規(guī)則2 3,4,-1,21,/規(guī)則3 20,5,-1,22,/規(guī)則4 6,7,8,-1,22,/規(guī)則5 20,8,-1,23,

7、/規(guī)則6 20,9,-1,23,/規(guī)則7 22,11,12,-1,30,/規(guī)則8 22,11,13,-1,29,/規(guī)則9 23,14,15,12,-1,28,/規(guī)則10 23,13,-1,27,/規(guī)則11 21,14,15,16,-1,26,/規(guī)則12 21,19,-1,25,/規(guī)則13 21,17,18,16,-1,24;/規(guī)則14int flag23=0;/標(biāo)記各個(gè)特征是否選擇int IsAnimal(int a);int inference();void input();void menu();void menu() int i=0; for(i=0;i<24;i+) if(i%4

8、=0&&i!=0) cout<<endl; printf("%-3d.%-15s",i,featurei); void input() int ti=0; for(int i=0;i<24;i+) flagi=0; while(ti!=-1) cout<<"n輸入選擇（-1結(jié)束）：" cin>> ti; if(ti>=0&&ti<=23) flagti=1; else if(ti!=-1) cout<<"輸入錯(cuò)誤!請(qǐng)輸入023之間的數(shù)字!"

9、;<< endl; / tanimal=25 cin.clear();/清除流錯(cuò)誤錯(cuò)誤標(biāo)記 cin.sync(); /清空輸入緩沖區(qū) int IsAnimal(int a) if(a>=24&&a<=30) return 1; return 0;int inference()/正向推理 int ti; int i,j; int tres; cout<<endl; for(i=0;i<15;i+) j=0; ti=rulei.relationj; while(ti!=-1) /-1作為結(jié)束 if(flagti=0) break; j+;

10、ti=rulei.relationj; if(ti=-1)/ti=-1代表規(guī)則滿足 tres=; flagtres=1; printf("運(yùn)用了規(guī)則%d : ",i); j=0; while(rulei.relationj!=-1) cout<<featurerulei.relationj<<" " j+; cout<<"=> "<<featuretres<<endl; if(IsAnimal(tres) return 1; if(i=15) cout<<"沒(méi)有這種動(dòng)物" return -1