產(chǎn)生式動(dòng)物識(shí)別系統(tǒng)

1、實(shí)驗(yàn)7:產(chǎn)生式動(dòng)物識(shí)別系統(tǒng)一、實(shí)驗(yàn)?zāi)康睦斫夂驼莆债a(chǎn)生式系統(tǒng)的推理方法，能夠用選定的編程語(yǔ)言實(shí)現(xiàn)推理機(jī)。二、編程環(huán)境本文主要編譯環(huán)境是Windows10VisualStudio2015三、問題描述設(shè)計(jì)一個(gè)用于動(dòng)物識(shí)別的產(chǎn)生式系統(tǒng)，該系統(tǒng)通過規(guī)則庫(kù)識(shí)別老虎、金錢豹、斑馬、長(zhǎng)頸鹿、企鵝、信天翁、鴕鳥7種動(dòng)物。四、解決方案1. 規(guī)則庫(kù):用于描述相應(yīng)領(lǐng)域內(nèi)知識(shí)的產(chǎn)生式集合稱為規(guī)則庫(kù)。本規(guī)則庫(kù)包括以下規(guī)則R1:if動(dòng)物有毛發(fā)then動(dòng)物是哺乳動(dòng)物R2:if動(dòng)物有奶then動(dòng)物是哺乳動(dòng)物R3:if動(dòng)物有羽毛then動(dòng)物是鳥R4:if動(dòng)物會(huì)飛and會(huì)生蛋then動(dòng)物是鳥R5:if動(dòng)物吃肉then動(dòng)物是食肉動(dòng)物

2、R6:if動(dòng)物有犀利牙齒R7:if動(dòng)物是哺乳動(dòng)物R8:if動(dòng)物是哺乳動(dòng)物R9:if動(dòng)物是哺乳動(dòng)物是豹R10:if動(dòng)物是哺乳動(dòng)物and有爪and眼向前方then動(dòng)物是食肉動(dòng)物and有蹄then動(dòng)物是有蹄類動(dòng)物and反芻then動(dòng)物是有蹄類動(dòng)物and是食肉動(dòng)物and有黃褐色and有黑色條紋then動(dòng)and是食肉動(dòng)物and有黃褐色and有暗斑點(diǎn)then動(dòng)物物是虎R11:if動(dòng)物是有蹄類動(dòng)物and有長(zhǎng)脖子and有長(zhǎng)腿and有暗斑點(diǎn)then動(dòng)物是長(zhǎng)頸鹿R12:if動(dòng)物是有蹄類動(dòng)物and有黑色條紋then動(dòng)物是斑馬R13:if動(dòng)物是鳥and不會(huì)飛and有長(zhǎng)脖子and有長(zhǎng)腿and有黑白二色then動(dòng)物是鴕鳥

3、R14:if動(dòng)物是鳥and不會(huì)飛and會(huì)游泳and有黑白二色then動(dòng)物是企鵝R15:if動(dòng)物是鳥and善飛then動(dòng)物是信天翁綜合數(shù)據(jù)庫(kù)char*ans0=抱歉，我也不知道這是什么動(dòng)物”char*ans1=這個(gè)動(dòng)物是金錢豹”char*ans2=這個(gè)動(dòng)物是老虎;char*ans3=這個(gè)動(dòng)物是長(zhǎng)頸鹿”char*ans4=這個(gè)動(dòng)物有斑馬char*ans5=這個(gè)動(dòng)物是企鵝”char*ans6=這個(gè)動(dòng)物是鴕鳥”char*ans7=這個(gè)動(dòng)物是信天翁(1) 推理機(jī)初始化綜合數(shù)據(jù)庫(kù)，即把欲解決問題的已知事實(shí)送入綜合數(shù)據(jù)庫(kù)中；檢查規(guī)則庫(kù)中是否有未使用過的規(guī)則，若無轉(zhuǎn)(7)；(2) 檢查規(guī)則庫(kù)的未使用規(guī)則中是否

4、有其前提可與綜合數(shù)據(jù)庫(kù)中已知事實(shí)相匹配的規(guī)則，若有，形成當(dāng)前可用規(guī)則集；否則轉(zhuǎn)(6)；(3) 按照沖突消解策略，從當(dāng)前可用規(guī)則集中選擇一個(gè)規(guī)則執(zhí)行，并對(duì)該規(guī)則作上標(biāo)記。把執(zhí)行該規(guī)則后所得到的結(jié)論作為新的事實(shí)放入綜合數(shù)據(jù)庫(kù)；如果該規(guī)則的結(jié)論是一些操作，則執(zhí)行這些操作；(4) 檢查綜合數(shù)據(jù)庫(kù)中是否包含了該問題的解，若已包含，說明解已求出，問題求解過程結(jié)束；否則，轉(zhuǎn)(2)；當(dāng)規(guī)則庫(kù)中還有未使用規(guī)則，但均不能與綜合數(shù)據(jù)庫(kù)中的已有事實(shí)相匹配時(shí)，要求用戶進(jìn)一步提供關(guān)于該問題的已知事實(shí)，若能提供，則轉(zhuǎn)(2)；否則，執(zhí)行下一步；(5) 若知識(shí)庫(kù)中不再有未使用規(guī)則，也說明該問題無解，終止問題求解過程。輸出“抱歉

5、，沒有相符合的動(dòng)物”，程序退出。流程圖:否IIII是企鵝還、，否斷動(dòng)物/舍開會(huì)飛肉疝物、是鳥、卜盍是骨草動(dòng)忙是長(zhǎng)頸更-r是X是斷功jj1*沒晶果1J/得岀結(jié)異、失昵湛出/成功退岀五、源代碼#includeintmain()chara1;charflag0;/是否識(shí)別出動(dòng)物的標(biāo)志char*strO=本系統(tǒng)可識(shí)別七種動(dòng)物，請(qǐng)用Y和N表示是和否n;char*str1=這個(gè)動(dòng)物有毛發(fā)嗎?;char*str2=這個(gè)動(dòng)物有奶嗎？;char*str3=這個(gè)動(dòng)物有羽毛嗎?;char*str4=這個(gè)動(dòng)物會(huì)下蛋嗎?;char*str5=這個(gè)動(dòng)物吃肉嗎？;char*str6=這個(gè)動(dòng)物有犬齒有爪嗎？char*str7

6、=這個(gè)動(dòng)物有蹄嗎？;char*str8=這個(gè)動(dòng)物是嚼反芻動(dòng)物嗎?;char*str9=這個(gè)動(dòng)物身上是黃褐色而且有暗斑點(diǎn)嗎？;char*str1O=這個(gè)動(dòng)物身上是黃褐色而且有黑色條紋?;char*str11=這個(gè)動(dòng)物長(zhǎng)腿長(zhǎng)脖子且身上有暗斑點(diǎn)嗎?;char*str12=這個(gè)動(dòng)物身上有黑色條紋嗎?;char*str13=這個(gè)動(dòng)物長(zhǎng)腿長(zhǎng)脖子？;char*str14=這個(gè)動(dòng)物會(huì)游泳并有黑白兩色t;char*str15=這個(gè)動(dòng)物擅飛;char*str16=這個(gè)動(dòng)物會(huì)不會(huì)飛;char*ansO=抱歉，我也不知道這是什么動(dòng)物;char*ans1=這個(gè)動(dòng)物是金錢豹char*ans2=這個(gè)動(dòng)物是老虎;char*a

7、ns3=這個(gè)動(dòng)物是長(zhǎng)頸鹿char*ans4=這個(gè)動(dòng)物有斑馬;char*ans5=這個(gè)動(dòng)物是企鵝;char*ans6=這個(gè)動(dòng)物是鴕鳥;/判斷哺乳動(dòng)物和鳥類char*ans7=這個(gè)動(dòng)物是信天翁char*a4=str1,str2,str3,str4;char*bl4=str5,str6,str7,str8;/bL判斷是食草動(dòng)物還是食肉動(dòng)物char*b2=str16;/判斷鳥類會(huì)不會(huì)飛判斷具體是那種動(dòng)物*/char*cl=str9,str10;char*c2=str11,str12;char*c3=str13,str14;char*c4=str15;puts(str0);for(intk=0;k2)p

8、rintf_s(初步判定是鳥類n);flagO=1;break;if(flagO=O)/判定是哺乳動(dòng)物for(intk=O;k4;k+)puts(blk);scanf_s(%c,&a1,1);getchar();if(a1=Y)區(qū)分食肉動(dòng)物和食草類動(dòng)物if(k=1)printf_s(初步判定是食肉動(dòng)物n);/區(qū)分金錢豹和老虎for(intk=O;k2)printf_sC初步判定是食草類動(dòng)物n);for(intk=0;k2;k+)puts(c2k);scanf_s(%c,&a1,1);getchar();if(a1=Y)/確定是長(zhǎng)頸鹿還是斑馬printf_s(這是長(zhǎng)頸鹿);break;elsei

9、f(a1=N&k=1)printf_s(這是斑馬);break;break;elseif(flag0=1)/判定是鳥類puts(b20);scanf_s(%c,&a1,1);getchar();if(a1=Y)/判斷鳥類會(huì)不會(huì)飛puts(c40);scanf_s(%c,&a1,1);getchar();if(a1=Y)/判斷是不是信天翁printf_s(這是信天翁);elseif(a1=N)puts(ans0);elseif(a1=N)for(intk=0;k2;k+)puts(c3k);scanf_s(%c,&a1,1);getchar();if(a1=Y)/確定是企鵝和鴕鳥printf_s(這是鴕鳥);break;elseif(a1=N&k=1)printf_s(這是企鵝);break;getchar();return0;六、實(shí)驗(yàn)結(jié)果相關(guān)