【正文】 readchild(Node * child,int n){//擴(kuò)展child節(jié)點的字節(jié)點n表示方向，表示空格向上向下向左向右移int i,loc,temp。for(i = 0。i 9。i++)childdata[i] = childparentdata[i]。for(i = 0。i 9。i++)if(childdata[i] == 0)break。if(n==0)loc = i%3+(i/31)*3。else if(n==1)loc = i%3+(i/3 + 1)*3。else if(n==2)loc = i%31+(i/3)*3。elseloc = i%3+1+(i/3)*3。temp = childdata[loc]。childdata[i] = temp。childdata[loc] = 0。}void Spread(Lnode * suc, Lstack * Open, Lstack * Closed, Node goal, int m){//擴(kuò)展后繼節(jié)點總函數(shù)int i。Node * child。for(i = 0。i 4。i++){if(Canspread(**suc, i+1))//判斷某個方向上的子節(jié)點可否擴(kuò)展{child =(Node *)malloc(sizeof(Node))。//擴(kuò)展子節(jié)點childg =(*suc)g +1。//算子節(jié)點的g值childparent =(*suc)。//子節(jié)點父指針指向父節(jié)點Spreadchild(child, i)。//向該方向移動空格生成子節(jié)點if(BelongProgram(amp。child, Open, Closed, goal, m))// 判斷子節(jié)點是否屬于OPEN或CLOSED表并作出相應(yīng)的處理free(child)。} } } ///////////////////////擴(kuò)展后繼節(jié)點部分的函數(shù)結(jié)束//////////////////////////////////Node * Process(Lnode * org, Lnode * goal, Lstack * Open, Lstack * Closed, int m){//總執(zhí)行函數(shù)while(1){if((*Open)next == NULL)return NULL。//判斷OPEN表是否為空，為空則失敗退出Node * minf = Minf(Open)。//從OPEN表中取出f值最小的節(jié)點Putinto(minf, Closed)。//將節(jié)點放入CLOSED表中if(Equal(minf, *goal))return minf。//如果當(dāng)前節(jié)點是目標(biāo)節(jié)點，則成功退出Spread(amp。minf, Open, Closed, **goal, m)。//當(dāng)前節(jié)點不是目標(biāo)節(jié)點時擴(kuò)展當(dāng)前節(jié)點的后繼節(jié)點} }int Shownum(Node * result){//遞歸顯示從初始狀態(tài)到達(dá)目標(biāo)狀態(tài)的移動方法if(result == NULL)return 0。else {int n = Shownum(resultparent)。printf(“第%d步：”,n)。for(int i = 0。i 3。i++){printf(“n”)。for(int j = 0。j 3。j++){if(resultdata[i*3+j]!= 0)printf(“ %d ”,resultdata[i*3+j])。else printf(“ 0 ”)。}}printf(“n”)。return n+1。} }void Checkinput(Node *suc){//檢查輸入int i = 0,j = 0,flag = 0。char c。while(i 9){while(((c = getchar())!= 10)){if(c == 39。 39。){if(flag = 0)flag = 0。}else if(c = 39。039。 amp。amp。 c {if(flag == 0){sucdata[i] =(c39。039。)。flag = 1。for(j =0。j i。j++)if(sucdata[j] == sucdata[i])flag =2。i++。}else if(flag = 0)flag =1。}elseif(flag = 0)flag =1。}if(flag {if(flag 0){if(flag ==1)printf(“含有非法字符或數(shù)字!n請重新輸入:n”)。else if(flag ==2)printf(“輸入的數(shù)字有重復(fù)!n請重新輸入:n”)。}else if(i 9)printf(“輸入的有效數(shù)字不夠!n請重新輸入:n”)。i = 0。flag = 0。} } }int meassure(Lstack s){ int k=0。while((snext)!=NULL){k++。s=snext。} return k。}void main(){//主函數(shù)//初始操作，建立open和closed表Lstack Open =(Stack *)malloc(sizeof(Stack))。Opennext = NULL。Lstack Closed =(Stack *)malloc(sizeof(Stack))。Closednext = NULL。Node * org =(Node *)malloc(sizeof(Node))。orgparent = NULL。//初始狀態(tài)節(jié)點orgf =1。orgg =1。Node * goal =(Node *)malloc(sizeof(Node))。//目標(biāo)狀態(tài)節(jié)點Node * result。int m。char c。int k。printf(“=================================n”)。printf(“說明:狀態(tài)矩陣由08 九個數(shù)字表示,n請依次按照九宮格上的行列順序輸入,每個數(shù)字間用空格隔開。n”)。printf(“=================================n”)。printf(“請輸入初始狀態(tài)(08 9個數(shù)字以空格隔開回車表示輸入結(jié)束):n”)。Checkinput(org)。printf(“請輸入目標(biāo)狀態(tài)(08 9個數(shù)字以空格隔開回車表示輸入結(jié)束):n”)。Checkinput(goal)。if(Canslove(org, goal)){//A*算法開始，先將初始狀態(tài)放入OPEN表printf(“請選擇：(n)搜索 (n)搜索 n”)。scanf(“%d”,amp。m)。while((c = getchar())!= 10)。printf(“搜索中，請耐心等待(如果您覺得時間太久請重新執(zhí)行程序并輸入更快的速度,默認(rèn)值為)......n”)。Putinto(org,amp。Open)。result = Process(amp。org, amp。goal, amp。Open, amp。Closed, m)。//進(jìn)行剩余的操作printf(“總步數(shù):%d”,Shownum(result)1)。printf(“n”)。k=meassure(Closed)。printf(“擴(kuò)展節(jié)點數(shù)：n”)。printf(“%dn”,k)。printf(“Press Enter key to exit!”)。while((c = getchar())!= 10)。} elseprintf(“程序認(rèn)定該起始狀態(tài)無法道達(dá)目標(biāo)狀態(tài)!n”)。}第五篇：人工智能產(chǎn)生式系統(tǒng)實驗報告解讀實 驗 報 告【實驗名稱】______________產(chǎn)生式系統(tǒng)_______________________ 【實驗?zāi)康摹俊?，掌握基于?guī)則推理的基本方法?！緦嶒炘怼慨a(chǎn)生式系統(tǒng)用來描述若干個不同的以一個基本概念為基礎(chǔ)的系統(tǒng)，這個基本概念就是產(chǎn)生式規(guī)則或產(chǎn)生式條件和操作對。在產(chǎn)生式系統(tǒng)中，論域的知識分為兩部分：用事實表示靜態(tài)知識；用產(chǎn)生式規(guī)則表示推理過程和行為?！緦嶒瀮?nèi)容】（包括規(guī)則庫和事實庫），然后進(jìn)行推理，即可以自己輸入任何的事實，并基于原有的規(guī)則和輸入的事實進(jìn)行推理。，能根據(jù)輸入的動物特征判斷是那種動物或給出相應(yīng)的回答。 ①首先建立事實庫事實庫是在程序的開始直接輸入的，用戶根據(jù)需要選擇，即要求用戶先輸入特征個數(shù)，然后輸入動物的特征，進(jìn)行識別。如果未識別出來，則可以重新選擇，或者退出。動物的特征如下：1有奶 2有毛發(fā) 3有羽毛 4會飛 5生蛋 6有爪 7有犬齒8目盯前方 9吃肉 10有蹄 11反芻食物 12黃褐色 13黑色條紋14黑色斑點 15長腿 16長脖子 17暗斑點 18白色 19不會飛20黑白色 21會游泳 22善飛 23不怕風(fēng)浪24哺乳動物 25鳥 26食肉動物 27有蹄動物 28偶蹄動物29海燕 30老虎 31金錢豹 32長頸鹿 33斑馬 34鴕鳥 35企鵝②建立靜態(tài)規(guī)則庫即建立產(chǎn)生式規(guī)則，本算法采用了產(chǎn)生中間事實的方法，便于建立和使用規(guī)則。為了便于設(shè)計，我們把要識別的動物限于7種，這樣所需要的產(chǎn)生式規(guī)則就比較少。本算法共有15種規(guī)則，如下：R1: 如果動物有奶，則它是哺乳動物 R2: 如果動物有毛發(fā)，則它是哺乳動物 R3: 如果動物有羽毛，則它是鳥 R4: 如果動物會飛且生蛋，則它是鳥 R5: 吃肉的哺乳動物是食肉動物R6: 有爪有犬齒木釘前方的哺乳動物是食肉動物R7: 有蹄的哺乳動物是有蹄動物 R8: 反芻食物的有蹄動物是偶蹄動物 R9: 黃褐色有黑條紋的食肉動物是老虎 R10:黃褐色有黑色斑點的食肉動物是金錢豹R11:長腿長脖子有黃褐色暗斑點的有蹄動物是長頸鹿R12:有黑白條紋的有蹄動物是斑馬 R13:不會飛長腿長脖的鳥是鴕鳥 R14:不會飛會游泳黑白色的鳥是企鵝③正向推理過程從已知事實出發(fā)，通過規(guī)則庫求得結(jié)論，或稱數(shù)據(jù)驅(qū)動方式。推理過程是： 216。 規(guī)則集中的規(guī)則前件與事實庫中的事實進(jìn)行匹配，得匹配的規(guī)則集合。216。 從匹配規(guī)則集合中選擇一條規(guī)則作為使用規(guī)則。216。 執(zhí)行使用規(guī)則的后件，將該使用規(guī)則的后件送入事實庫中。216。 重復(fù)這個過程直至達(dá)到目標(biāo)。如有多條匹配規(guī)則需從中選一條作為使用規(guī)則，本算法是根據(jù)規(guī)則的順序依次選擇，且規(guī)則中不存在同一組事實對應(yīng)多條匹配規(guī)則。R15:善飛不怕風(fēng)浪的鳥是海燕 具體表示如下： R1: 124 R2: 224 R3: 325 R4: 4*525 R5: 6*7*8*2426 R6: 9*2426 R7: 10*2427 R8: 11*2728 R9: 12*13*2430 R10: 12*14*2431 R11: 12*15*16*17*2732 R12: 13*18*2733 R13: 15*16*19*2534 R14: 19*20*21*2535 R15: 22*23*2529④實驗流程圖開始初始化欲加入的事實的個數(shù)及事實令i=1取出規(guī)則i的前提條件部分Ni=i+1事實庫中有相應(yīng)的事實Y取出規(guī)則i結(jié)論部分結(jié)論為新事實Y將該規(guī)則加入到事實庫中該事實是結(jié)論性事實Y將該規(guī)則的結(jié)論作為最終的結(jié)論結(jié)束NN ⑤實驗結(jié)果及分析如輸入如下事實：有羽毛、善飛、不怕風(fēng)浪。系統(tǒng)的推理過程如下：先從規(guī)則庫中取出第一條規(guī)則R1，檢查其前提是否可與事實庫中的已知事實相匹配。R1的前提是“有奶”，但事實庫中無此事實，故匹配失??；然后取R2，匹配失??；接著取R3，該前提與已知事實“有羽毛”相匹配，故R3被執(zhí)行，并將其結(jié)論“鳥”作為新的事實加入到事實庫中。此時，事實庫的內(nèi)容變?yōu)椋河杏鹈?、善飛、不怕風(fēng)浪、鳥；此后，R4~R14均匹配失敗，接著取R15，該前提“善飛+不怕風(fēng)浪+鳥”與已知事實相匹配，R15被執(zhí)行，并推出“該動物是海燕”。由于“海燕”已是目標(biāo)集合中的一個結(jié)論，即已推出最終結(jié)果，故問題求解過程結(jié)束。下面是程序運行的結(jié)果：【實驗程序】include define N 23 void main(){int i,j,k,a,b,c。int num。int fact[N],temp[N]。int flag=1。while(flag==1){ printf(“動物的特征如下:n”)。printf(“1有奶2有毛發(fā)3有羽毛4會飛20黑白色n21會游泳22善飛23不怕風(fēng)浪n”)。printf(“請輸入描述該動物特征的個數(shù):”)。scanf(“%d”,amp。num)。printf(“請輸入對這只動物的特征描述的序號(按序號由小到大):n”)。for(i=0。i}//********************************for(i=0。iif(fact[i]==1)scanf(“%d”,amp。a)。fact[i]=a。會飛5生蛋n6有爪7有犬齒8目盯前方9吃肉10有蹄n11反芻食物12黃褐色13黑色條紋14黑色斑點15長腿n16長脖子17暗斑點18白色19不{fact[num]=24。num++。printf(“使用規(guī)則1,新增加的 }}//********************************k=0。for(i=0。i}if(temp[0]==4amp。amp。temp[1]==5){fact[num]=25。num++。printf(”使用規(guī)則4,新增加的事實if(fact[i]==4){}if(fact[i]==5){}temp[k]=fact[i]。break。temp[k]=fact[i]。k++。continue。事實為: 哺乳