1、.一 題目：動物識別專家系統(tǒng)二 實驗?zāi)康?. 理解并掌握基于規(guī)則系統(tǒng)的表示與推理2. 學(xué)會編寫小型的生產(chǎn)式系統(tǒng)，理解正向推理和反向推理的過程以及兩者的區(qū)別3. 學(xué)會設(shè)計簡單的人機交互界面三 實驗內(nèi)容動物識別專家系統(tǒng)是流行的專家系統(tǒng)實驗?zāi)Ｐ停卯a(chǎn)生式規(guī)則來表示知識，共15條規(guī)則、可以識別七種動物，這些規(guī)則既少又簡單，可以改造他們，也可以加進(jìn)新的規(guī)則，還可以用來識別其他東西的新規(guī)則來取代這些規(guī)則。四 實驗要求1、確定推理方法（正向還是反向），并根據(jù)問題設(shè)計實現(xiàn)一個簡單的不通用推理機（匹配、沖突消解）2、規(guī)則庫要求至少包含15條規(guī)則3、初始事實可以任意給定，輸入初始事實后能夠得到推理結(jié)果4、設(shè)計人

2、機界面，解釋模塊提供查詢規(guī)則的功能5、可以不考慮知識庫管理模塊6、提交實驗報告，7、報告中要有推理樹五 實驗原理動物識別專家系統(tǒng)是流行的專家系統(tǒng)實驗?zāi)Ｐ?，它用產(chǎn)生式規(guī)則來表示知識，共15條規(guī)則、可以識別七種動物，這些規(guī)則既少又簡單，可以改造他們，也可以加進(jìn)新的規(guī)則，還可以用來識別其他東西的新規(guī)則來取代這些規(guī)則。動物識別15條規(guī)則:規(guī)則1：如果：動物有毛發(fā)則 ：該動物是哺乳動物規(guī)則2： 如果：動物能產(chǎn)奶 則 ：該單位是哺乳動物規(guī)則3: 如果：該動物有羽毛 則 ：該動物是鳥規(guī)則4： 如果：動物會飛，且會下蛋 則 ：該動物是鳥規(guī)則5： 如果：動物吃肉 則 ：該動物是肉食動物規(guī)則6： 如果：動物有犬齒

3、，且有爪，且眼盯前方則 ：該動物是食肉動物規(guī)則7： 如果：動物是哺乳動物，且有蹄 則 ：該動物是有蹄動物規(guī)則8： 如果：動物是哺乳動物，且是反芻動物 則 ：該動物是有蹄動物規(guī)則9： 如果：動物是哺乳動物，且是食肉動物，且是黃褐色的，且有暗斑點 則 ：該動物是豹規(guī)則10： 如果：如果：動物是黃褐色的，且是哺乳動物，且是食肉，且有黑條紋 則 ：該動物是虎規(guī)則11： 如果：動物有暗斑點，且有長腿，且有長脖子，且是有蹄類 則 ：該動物是長頸鹿規(guī)則12： 如果：動物有黑條紋，且是有蹄類動物 則 ：該動物是斑馬規(guī)則13： 如果：動物有長腿，且有長脖子，且是黑色的，且是鳥，且不會飛 則 ：該動物是鴕鳥規(guī)則1

4、4： 如果：動物是鳥，且不會飛，且會游泳，且是黑色的 則 ：該動物是企鵝規(guī)則15： 如果：動物是鳥，且善飛 則 ：該動物是信天翁六 推理樹規(guī)則1 有毛發(fā)老虎哺乳動物黑條紋黃褐色肉食動物能產(chǎn)奶吃肉有爪有犬齒眼頂前方規(guī)則2 規(guī)則5 規(guī)則6規(guī)則10七 代碼#include #include #include #include #define True 1#define False 0#define DontKnow -1char *str=chew_cud反芻動物,hooves蹄類動物,mammal哺乳動物,forward_eyes眼盯前方,claws有爪,pointed_teeth有犬齒,eat_

5、meat吃肉,lay_eggs會下蛋,fly會飛,feathers有羽毛,ungulate有蹄,carnivore食肉動物,bird鳥,give_milk能產(chǎn)奶,has_hair有毛發(fā),fly_well善飛,black&white_color黑白色,can_swim會游泳,long_legs長腿,long_neck長脖子,black_stripes黑條紋,dark_spots黑斑點,tawny_color黃褐色,albatross信天翁,penguin企鵝,ostrich駝鳥,zebra斑馬,giraffe長頸鹿,tiger老虎,cheetah獵豹,0;int rulep6=22,23,12,

6、3,0,0,21,23,12,3,0,0,22,19,20,11,0,0,21,11,0,0,0,0,17,19,20,13,-9,0,17,18,13,-9,0,0,16,13,0,0,0,0,15,0,0,0,0,0,14,0,0,0,0,0,10,0,0,0,0,0,8,7,0,0,0,0,7,0,0,0,0,0,4,5,6,0,0,0,2,3,0,0,0,0,1,3,0,0,0,0;int rulec=30,29,28,27,26,25,24,3,3,13,13,12,12,11,11,0;class factprivate:int Number;char Name21;int Act

7、ive;int Succ;public:fact *Next;fact(int Num,char *L)strcpy(Name,L);Number=Num;Active=False;Succ=DontKnow; Next=NULL;char *GetName()char *L;L=new char21;strcpy(L,Name);return L;int GetNumber()return Number;int GetAct()return Active;int GetSucc()return Succ;void PutAct(const int Act0,int Suc0)Active=A

8、ct0;Succ=Suc0;fact *Fact;class listprivate:int Number;public:list *Next;list(int Num)Number=Num;Next=NULL;int GetNumber()return Number;class rulechar *Name;list *Pre;int Conc;public:rule *Next;rule(char *N,int P,int C);rule();int Query();void GetName()coutNext;delete Pre;Pre=L;delete Name;rule:rule(

9、char *N,int P,int C)int i;list *L;Pre=NULL;Next=NULL;Name=new charstrlen(N)+1;strcpy(Name,N);i=0;while(Pi!=0)L=new list(Pi+);L-Next=Pre;Pre=L;Conc=C;int rule:Query()char c;int Tag=0;list *L;fact *F;F=Fact;L=Pre;if(L=NULL)coutGetNumber()=F-GetNumber()break;F=F-Next;if(L-GetNumber()0)if(F-GetSucc()=tr

10、ue) L=L-Next;continue;if(F-GetSucc()=false) return false;elseif(F-GetSucc()=True)return False;if(F-GetSucc()=False)L=L-Next;continue;coutGetName()(Y/N)GetNumber()0)F-PutAct(1,True);if(L-GetNumber()PutAct(1,True);Tag=-1;return False;elseif(L-GetNumber()PutAct(-1,False);elseF-PutAct(-1,False);Tag=-1;

11、return False;L=L-Next;F=Fact;for(;)if(Conc=F-GetNumber()break;F=F-Next;if(ConcPutAct(1,True);return False;if(Tag!=-1)F=Fact;for(;)if(Conc=F-GetNumber()break;F=F-Next;if(ConcPutAct(1,True);return False;coutnThis aniamal is GetName()Next=Fact;Fact=F;i+;F=Fact;Fact=NULL;while(F) T=F;F=F-Next;T-Next=Fact;Fact=T;i=0;ch0=R;ch1=U;ch2=L;ch3=E;ch4=_;ch5=a;ch6=0;Rule=NULL;for(i=0;iNext=Rule;Rule=R;ch5+;R=Rule;for(;)i=R-Query();if(i=1)|(i=-1)break;R=R-Next;if(!R)break;if(!R)cout沒有這種動物.endl;coutpress any key to exit.endl;getchar