人工智能導論實驗報告題目動物識別專家系統(tǒng)學院信息科學與工程學院專業(yè)計算機科學與技術(shù)姓名侯立軍學號班級計信1301O一五年十一月二十六日#設(shè)計內(nèi)容題目：動物識別專家系統(tǒng)內(nèi)容：動物識別專家系統(tǒng)是流行的專家系統(tǒng)實驗模型，他用產(chǎn)生是規(guī)則來表示知識可以識別不同的動物。這些規(guī)則既少又簡單，可以改造他們，也可以加入新的規(guī)則，還可以用來識別其他新規(guī)則來取代這些規(guī)則?；驹懋a(chǎn)生式系統(tǒng)的問題求解基本過程：初始化綜合數(shù)據(jù)庫，即把欲解決問題的已知事實送入綜合數(shù)據(jù)庫中；檢查規(guī)則庫中是否有未使用過的規(guī)則，若無轉(zhuǎn)(7)；檢查規(guī)則庫的未使用規(guī)則中是否有其前提可與綜合數(shù)據(jù)庫中已知事實相匹配的規(guī)則，若有，形成當前可用規(guī)則集；否則轉(zhuǎn)(6)；按照沖突消解策略，從當前可用規(guī)則集中選擇一個規(guī)則執(zhí)行，并對該規(guī)則作上標記。把執(zhí)行該規(guī)則后所得到的結(jié)論作為新的事實放入綜合數(shù)據(jù)庫；如果該規(guī)則的結(jié)論是一些操作，則執(zhí)行這些操作；檢查綜合數(shù)據(jù)庫中是否包含了該問題的解，若已包含，說明解已求出，問題求解過程結(jié)束；否則，轉(zhuǎn)(2)；當規(guī)則庫中還有未使用規(guī)則，但均不能與綜合數(shù)據(jù)庫中的已有事實相匹配時，要求用戶進一步提供關(guān)于該問題的已知事實，若能提供，則轉(zhuǎn)(2)；否則，執(zhí)行下一步；若知識庫中不再有未使用規(guī)則，也說明該問題無解，終止問題求解過程。正向推理正向推理是以已知事實作為出發(fā)點的一種推理，又稱數(shù)據(jù)驅(qū)動推理、前向鏈推理及前件推理等。正向推理的基本思想：從用戶提供的初始已知事實出發(fā)，在知識庫KB中找出當前可適用的知識，構(gòu)成可適用知識集KS,然后按某種沖突消解策略從KS中選出一條知識進行推理，并將推出的新事實加入到數(shù)據(jù)庫中作為下一步推理的已知事實，在此之后再在知識庫中選取可適用的知識進行推理，如此重復，直到求得了所要求的解，或者知識庫中再無可適用的知識為止。反向推理逆向推理是以某個假設(shè)目標作為出發(fā)點的一種推理，又稱為目標驅(qū)動推理、逆向鏈推理及后件推理等。反向推理的基本思想：首先選定一個假設(shè)目標，然后尋找支持該假設(shè)的證據(jù)，若所需的證據(jù)都能找到，則說明原假設(shè)成立；若無論如何都找不到所需證據(jù)，說明原假設(shè)不成立，此時需要另作新的假設(shè)。系統(tǒng)模塊structcause_type{char*cause;/*事實字符串指針*/structcause_type*next;/*指向下一個節(jié)點*/};structrule_type{char*result;/*結(jié)論字符串指針*/intlastflag;/*結(jié)論規(guī)則標志*/structcause_type*cause_chain;/*事實鏈表指針*/structrule_type*next;/*指向下一個節(jié)點出*/};voidfreeKB(structrule_type*);/*釋放規(guī)則鏈表子程序*/voidfreeDB(structcause_type*);/*釋放事實鏈表子程序*/intFindCause(char*);/*查證事實是否已知子程序*/voidmarkKB();/*標記結(jié)論性規(guī)則子程序*/voidcreatKB();/*創(chuàng)建知識庫的子程序*/voidinputDB();/*輸入已知事實的子程序*/voidthink();/*推理機子程序*/voidexplain();/*解釋子程序*/主函數(shù)：voidmain(){structrule_type*rpp;structcause_type*cpp;creatKB();markKB();getchar();inputDB();rpp=KnowledgeBase;think();while(rpp){printf("result:%s\t",rpp->result);printf("lastflag:%d\t",rpp->lastflag);cpp=rpp->cause_chain;while(cpp){printf("cause:%s\t",cpp->cause);cpp=cpp->next;printf("\n");}rpp=rpp->next;}explain();}主要框圖各模塊的設(shè)計思路創(chuàng)建知識庫creatKB()：首先判斷是否存在知識庫，若存在繼續(xù)執(zhí)行，若不存在則提示輸入規(guī)則，創(chuàng)建知識庫，將建立的知識庫以文件的形式保存在d：\\rule.dat中。輸入已知事實inputDB()：用戶按順序輸入已知的事實，判斷是否充分，進行標記。推理think()：對輸入的已知事實進行推理，從已知事實出發(fā)，通過規(guī)則庫求得結(jié)論。解釋explain()：對推理結(jié)果進行解釋，顯示解釋的過程。界面設(shè)計輸入規(guī)則：二二靠落;二班拒法7弩墨胃熬1點..4牛><丹+一?革:k布T>■BRBTm■方■I——Hf牛之玨3金B(yǎng)1-1M簞j_：=i=工-■不?JTL—^ffr^csx是m*/RA?k1田-1―Nd4Ue%^^51■K&kSJIf**工裁鼻苦:工童1杳左營舒掌?;」端莖揚一.仔vw>q：!5zLiiftLkM=方百…***亦■（4csJAwMigKTTim3Ti薜L動物******TTfc44?斗>v短:廣價之^^1^>h一笫4eHV童一㈤k仃A『I時初平辦—”賓f年C又>《土^^行總產(chǎn)不了A二H一一就1才切加t+=K>￡是導1TT>=|】中乎1.就物?■--Hf*V耳~>七，中，）仃*>-；/i>二二穿雷;工霜帝禹揩鵠J一4注4理=工>1：好±1/如1/丁》?Hft邀曼內(nèi)星產(chǎn)目"?》?聲千璐9」6%總■件■="<是T旨nr>。由*■炳早的、鼻1牛tr-t是一汀芭L毛j?=WliTL仍胃切J3?■。UU4口11??丁?JH&BU"W3J"d"U?*T(*TL^z=w婕:一門X-*廣工花i-ihf^fV衛(wèi)HM；fgtLj3患A?FFvg才‘王愛丁蘆l￡kV>.ElE福打冷為一『一"HF"MFt>V石工l￡H：士n-—A■l.lillSSlLiwTJsfE11_-匯:"f-aF"4Tx?，~一~4口--Ma■"flftf-Hfli?^亦1:*牛<T.Sf-C必皂1門壇x*T予■?+ifl-iit^蓑-齷=5蟀給S5S?■?*>?-?r：-KFv■>*短;—口七lfi一、■口，吊Za才5nKf<>t；旦hf」七k-F/a??匕l(fā)[S:■亍i..tri-Jfrf^fM?才V?.田:lQ豈--白>■K1執(zhí)工E1^6+f+YTAY?.寧ZbKH^lfA>I陽■Jdt±r*c+g[中■￡Ti*<^--,RlJR-rJ--Rf>■-第行仁等蟀韶;■r++^+*-ly.*七拜唐l，閂，/-號i?-?-^PfvwfY它〃訂色廠￥|由iiiin-Jf：-尸vM?AY什'i>■二M五二工ifL；是L常場首叼r-￡女中牛七，》七是』即電-TFh=+e=rti&?■■■j"gJf用VMA<JEB_d*社d；±ira■-f^Z.杷-j~^F^41工軍w電F"*，?黑0匹白勺*****--1i?f^<-*>■片?+*+-^^5^*京x=TT^,廣二~ee—~^Tr1牛V">V■fP-ijJRi-/*>=■「[—)—學[?I4史￡夫坦風止》?■■■*****?牛<1>Vrffiz-Fimi十>>=.鼻?■?W?&1牛cdh>工1J^L餐前包=--"ff~彌t74=：?A/短Lit趣L七4B一中協(xié):4fqg.Hm4一百和1：內(nèi)％t.霽E*?***?*:強44cs>H=i^LLliik^T>=FEEL————711IB--%%1{a￡UJ.|JJ[J[]LF——一1-殳已論={短-rrki國上就<1>工金&LPtiiLWW：>二