【正文】 IsWin(States[0])==1){} a = 0, b = 0。L1: cout }。return count。icount +=(tmpQP[0][0] + tmpQP[1][1] + tmpQP[2][2])/ 3。count +=(tmpQP[0][i] + tmpQP[1][i] + tmpQP[2][i])/ 3。for(i = 0。jif([i][j] == 0)tmpQP[i][j] =1。for(i = 0。icount +=(tmpQP[i][0] + tmpQP[i][1] + tmpQP[i][2])/ 3。else tmpQP[i][j] = [i][j]。ifor(int j = 0。int i = 0。 blank!= 6)swap(m + blank, m + blank1][y1][y1] =1。 blank!= 3 amp。case 2: /* down */if(blankif(blank!= 0 amp。target[j] = temp[j]3)。 temp[j]39。 = 0 amp。 temp[i]39。t = 0 amp。else { } cout cout bar。if(p == 1){ } else { if(p == 2){ input()。r[cat].mark = 0。cout r[cat].pre。//輸入的事實(shí)數(shù)組while(1){cat++。int length。int cat = 15。int number。會(huì)飛amp。黑白色amp。不會(huì)飛amp。黑白色amp。有長(zhǎng)脖子amp。”,“斑馬”,0 }, { 5,“鳥(niǎo)amp。”,“長(zhǎng)頸鹿”,0 }, { 2,“有蹄類(lèi)哺乳動(dòng)物amp。有長(zhǎng)腿amp?！?“老虎”,0 }, { 4,“有蹄類(lèi)哺乳動(dòng)物amp。黃褐色amp?！?“金錢(qián)豹”,0 }, { 4,“哺乳動(dòng)物amp。黃褐色amp?！?“有偶蹄類(lèi)哺乳動(dòng)物”,0 }, { 4,“哺乳動(dòng)物amp?！?“有蹄類(lèi)哺乳動(dòng)物”,0 }, { 2,“哺乳動(dòng)物amp?！?“食肉動(dòng)物”,0 }, { 2,“哺乳動(dòng)物amp。有爪amp。下蛋amp。void check()。int mark。char pre[255]。建立識(shí)別七種動(dòng)物識(shí)別系統(tǒng)的規(guī)則選定編程語(yǔ)言并確定綜合數(shù)據(jù)庫(kù)和規(guī)則庫(kù)結(jié)構(gòu)（1）選用C語(yǔ)言作為編程語(yǔ)言（2）綜合數(shù)據(jù)庫(kù)的建立（3）規(guī)則庫(kù)的建立四、程序源代碼include include using namespace std。二、實(shí)驗(yàn)內(nèi)容以動(dòng)物識(shí)別系統(tǒng)的產(chǎn)生式規(guī)則為例；用選定的編程語(yǔ)言建造規(guī)則庫(kù)和綜合數(shù)據(jù)庫(kù)，并能對(duì)它們進(jìn)行增加、刪除和修改操作。在這個(gè)過(guò)程中也鍛煉了自己解決問(wèn)題的能力。此外我還學(xué)會(huì)如何使用一些謂詞來(lái)解決生活中的一些簡(jiǎn)單問(wèn)題，并且用VC編程給出具體的操作步驟,感覺(jué)對(duì)VC編程有了新的認(rèn)識(shí)。getchar()。Monkey_Get_Banana()。} if(Box!= Banana){ Monkey_Move_Box(Box, Banana)。printf(“n操作步驟如下n”)。Banana)。printf(“tt”)。Box)。printf(“t”)。Monkey)。printf(“Monkeytboxtbananan”)。printf(“********劉少鵬**************n”)。printf(“********智能1501班**********n”)。} void Monkey_Get_Banana(){ printf(“Step %d:monkey摘到香蕉n”, ++i)。//x表示猴子的位置，y為箱子的} void Monkey_Move_Box(char x, char y){ 位置printf(“Step %d:monkey把箱子從%c運(yùn)到%”, ++i, x, y)。圖1 猴子摘香蕉問(wèn)題四、源代碼include unsigned int i。如圖1所示，對(duì)于上述問(wèn)題，可以通過(guò)謂詞邏輯表示法來(lái)描述知識(shí)。在c處上方的天花板上有一串香蕉，猴子想吃，但摘不到。第一篇：人工智能實(shí)驗(yàn)報(bào)告大全人工智能課內(nèi)實(shí)驗(yàn)報(bào)告（8次）學(xué) 院： 自動(dòng)化學(xué)院班 級(jí)： 智能1501 姓 名： 劉少鵬（34）學(xué) 號(hào)： 06153034目 錄課內(nèi)實(shí)驗(yàn)1：猴子摘香蕉問(wèn)題的VC編程實(shí)現(xiàn)????????1 課內(nèi)實(shí)驗(yàn)2：編程實(shí)現(xiàn)簡(jiǎn)單動(dòng)物識(shí)別系統(tǒng)的知識(shí)表示???5 課內(nèi)實(shí)驗(yàn)3：盲目搜索求解8數(shù)碼問(wèn)題?????????18 課內(nèi)實(shí)驗(yàn)4：回溯算法求解四皇后問(wèn)題?????????33 課內(nèi)實(shí)驗(yàn)5：編程實(shí)現(xiàn)一字棋游戲???????????37 課內(nèi)實(shí)驗(yàn)6：字句集消解實(shí)驗(yàn)?????????????46 課內(nèi)實(shí)驗(yàn)7：簡(jiǎn)單動(dòng)物識(shí)別系統(tǒng)的產(chǎn)生式推理??????66 課內(nèi)實(shí)驗(yàn)8：編程實(shí)現(xiàn)DS證據(jù)推理算法????????78人工智能課內(nèi)實(shí)驗(yàn)報(bào)告實(shí)驗(yàn)1：猴子摘香蕉問(wèn)題的VC編程實(shí)現(xiàn)學(xué) 院： 自動(dòng)化學(xué)院 班 級(jí)： 智能1501 姓 名： 劉少鵬（33）學(xué) 號(hào)： 06153034 日 期： 201738 10:1512:00實(shí)驗(yàn)1：猴子摘香蕉問(wèn)題的VC編程實(shí)現(xiàn)一、實(shí)驗(yàn)?zāi)康模?）熟悉謂詞邏輯表示法；（2）掌握人工智能謂詞邏輯中的經(jīng)典例子——猴子摘香蕉問(wèn)題的編程實(shí)現(xiàn)。二、編程環(huán)境 VC語(yǔ)言三、問(wèn)題描述房子里有一只猴子（即機(jī)器人），位于a處。房間的b處還有一個(gè)箱子，如果猴子站到箱子上，就可以摸著天花板。要求通過(guò)VC語(yǔ)言編程實(shí)現(xiàn)猴子摘香蕉問(wèn)題的求解過(guò)程。void Monkey_Go_Box(unsigned char x, unsigned char y){printf(“Step %d:monkey從%c走到%”, ++i, x, y)。//x表示箱子的位置，y為} void Monkey_On_Box(){ 香蕉的位置printf(“Step %d:monkey爬上箱子n”, ++i)。} void main(){unsigned char Monkey, Box, Banana。printf(“********06153034************n”)。printf(“請(qǐng)用a b c來(lái)表示猴子箱子香蕉的位置n”)。scanf(“%c”, amp。getchar()。scanf(“%c”, amp。getchar()。scanf(“%c”, amp。getchar()。if(Monkey!= Box){ Monkey_Go_Box(Monkey, Box)。} Monkey_On_Box()。printf(“n”)。}五、實(shí)驗(yàn)結(jié)果相關(guān)截圖六、心得體會(huì)通過(guò)本次實(shí)驗(yàn)，我初步了學(xué)會(huì)了使用VC的新建工程，并且進(jìn)行簡(jiǎn)單的程序編寫(xiě)。在實(shí)驗(yàn)中我也遇到過(guò)許多問(wèn)題，比如在我寫(xiě)完代碼進(jìn)行編譯時(shí)總是會(huì)出現(xiàn)一個(gè)錯(cuò)誤“ fatal error C1010: 在查找預(yù)編譯頭時(shí)遇到意外的文件結(jié)尾，是否忘記了向源中添加“include ‘’”關(guān)于這個(gè)錯(cuò)誤我我問(wèn)了幾個(gè)同學(xué)得不出答案后，我決定通過(guò)上網(wǎng)查找，最終找到了解決方法，需要在該項(xiàng)目的每一個(gè)cpp結(jié)尾的文件屬性中設(shè)置不使用預(yù)編譯頭即可。人工智能課內(nèi)實(shí)驗(yàn)報(bào)告實(shí)驗(yàn)2：編程實(shí)現(xiàn)簡(jiǎn)單動(dòng)物識(shí)別系統(tǒng)的知識(shí)表示學(xué) 院： 自動(dòng)化學(xué)院班 級(jí)： 智能1501 姓 名： 劉少鵬（33）學(xué) 號(hào)： 06153034 日 期： 2017313 10:1512:00實(shí)驗(yàn)2：編程實(shí)現(xiàn)簡(jiǎn)單動(dòng)物識(shí)別系統(tǒng)的知識(shí)表示一、實(shí)驗(yàn)?zāi)康睦斫夂驼莆债a(chǎn)生式知識(shí)表示方法；能夠通過(guò)VC編程語(yǔ)言實(shí)現(xiàn)產(chǎn)生式系統(tǒng)的規(guī)則庫(kù)。三、實(shí)驗(yàn)步驟確定需要識(shí)別的動(dòng)物及其屬性本次實(shí)驗(yàn)的簡(jiǎn)單動(dòng)物識(shí)別系統(tǒng)總共能識(shí)別7種動(dòng)物，即：老虎、金錢(qián)豹、斑馬、長(zhǎng)頸鹿、企鵝、鴕鳥(niǎo)和信天翁。struct RULES{int count。char back[255]。}。RULES r[100] = {{ 1,“有毛發(fā)”,“哺乳動(dòng)物”,0 }, { 1,“有奶”,“哺乳動(dòng)物”,0 }, { 1,“有羽毛”,“鳥(niǎo)”,0 }, { 2,“會(huì)飛amp?！?“鳥(niǎo)”,0 }, { 1,“吃肉”,“食肉動(dòng)物”,0 }，//所有規(guī)則靜態(tài)數(shù)據(jù)庫(kù){ 3,“有鋒利的牙齒amp。眼睛盯著前方amp。有蹄amp。反芻amp。食肉動(dòng)物amp。有暗斑amp。食肉動(dòng)物amp。黑色條紋amp。有長(zhǎng)脖子amp。有暗斑amp。黑條紋amp。不會(huì)飛amp。有長(zhǎng)腿amp?！?“鴕鳥(niǎo)”,0 }, { 4,“鳥(niǎo)amp。會(huì)游泳amp?！?“企鵝”,0 }, { 2,“鳥(niǎo)amp?！?“信天翁”,0 }, { 1,“反芻”,“哺乳動(dòng)物”,0 }}。int m。int a。void input(){//輸入的事實(shí)長(zhǎng)度string f[255]。cout r[cat].count。cout r[cat].back。while(1){cout p。} } check()。for(int t = 0。amp。039。amp。039。break。amp。amp。bool flag = true。for(i = 0。jif([i][j] == 0)tmpQP[i][j] = 1。for(i = 0。count +=(tmpQP[0][i] + tmpQP[1][i] + tmpQP[2][i])/ 3。ifor(int j = 0。else tmpQP[i][j] = [i][j]。icount +=(tmpQP[i][0] + tmpQP[i][1] + tmpQP[i][2])/ 3。for(i = 0。count +=(tmpQP[2][0] + tmpQP[1][1] + tmpQP[0][2])/ 3。return false。} else {} cout demo(){} bool Judge(){} virtual bool AutoDone(){int a, b, i, j, m, n, max, min, x, y。max =10000。xfor(y = 0。for(x = 0。y}}States[a].QP[x][y] = States[0].QP[x][y]。min = 10000。mfor(n = 0。for(x = 0。yStates[10].QP[x][y] = States[a].QP[x][y]。States[10].e_fun = e_fun(States[10])。if(States[a].e_funmax){}max = States[a].e_fun。xfor(y = 0。for(x = 0。cout }。system(“color A2”)。bool IsFinish。demo *p = new demo()。cout PrintQP()。if(IsFirst == 39。){} else if(IsFirst == 39。){} IsFinish = pAutoDone()。pPrintQP()。pPrintQP()。} while(!IsFinish)。amp。并且將這種思想通過(guò)代碼表現(xiàn)出來(lái)。實(shí)驗(yàn)中我遇到了許多困難，不僅僅是有關(guān)編程算法方面的，還有一些代碼邏輯流程的設(shè)計(jì)。人工智能課內(nèi)實(shí)驗(yàn)報(bào)告實(shí)驗(yàn)6：子句集消解實(shí)驗(yàn)學(xué) 院： 自動(dòng)化學(xué)院 班 級(jí)： 智能1501 姓 名： 劉少鵬（33）學(xué) 號(hào)： 06153034 日 期： 2017058 10:1512:00實(shí)驗(yàn)6子句集消解實(shí)驗(yàn)一、實(shí)驗(yàn)?zāi)康模?）熟悉子句集化簡(jiǎn)的九個(gè)步驟；（2）理解消解規(guī)則，能把任意謂詞公式轉(zhuǎn)換成子句集。其化簡(jiǎn)步驟如下：(1)消去連接詞“→”和“?” 反復(fù)使用如下等價(jià)公式：P→Q ?﹁ P∨QP?Q ?(P∧Q)∨(﹁P∧﹁Q)即可消去謂詞公式中的連接詞“→”和“?”。(3)對(duì)變?cè)獦?biāo)準(zhǔn)化在一個(gè)量詞的轄域內(nèi)，把謂詞公式中受該量詞約束的變?cè)坑昧硗庖粋€(gè)沒(méi)有出現(xiàn)過(guò)的任意變?cè)?，使不同量詞約束的變?cè)胁煌拿帧?5)消去存在量詞(6)化為Skolem標(biāo)準(zhǔn)形對(duì)上述前束范式的母式應(yīng)用以下等價(jià)關(guān)系P∨(Q∧R)?(P∨Q)∧(P∨R)(7)消去全稱(chēng)量詞(8)消去合取詞在母式中消去所有合取詞，把母式用子句集的形式表示出來(lái)。(9)更換變量名稱(chēng)對(duì)子句集中的某些變量重新命名，使任意兩個(gè)子句中不出現(xiàn)相同的變量名。//一些函數(shù)的定義void initString(string amp。//初始化string del_inlclue(string temp)。//減少否定符號(hào)的轄域 string standard_var(string temp)。//消去存在量詞 string convert_to_front(string temp)。//把母式化為合取范式 string del_all(string temp)。//消去連接符號(hào)合取% string change_name(string temp)。//是字母string del_null_bracket(string temp)。//刪除多余的空格 void checkLegal(string temp)。//數(shù)字顯示為字符//主函數(shù) void main(){ cout P)”。//orign = “~((x)x!b(x))”。//orign = “~(~a(b))”。char mand, mand0, mand1, mand2, mand3, mand4, mand5，48第二篇：人工智能_實(shí)驗(yàn)報(bào)告實(shí)驗(yàn)一：知識(shí)表示方法一、實(shí)驗(yàn)?zāi)康臓顟B(tài)空間表示法是人工智能領(lǐng)域最基本的知識(shí)表示方法之一，也是進(jìn)一步學(xué)習(xí)狀態(tài)空間搜索策略的基礎(chǔ)，本實(shí)驗(yàn)通過(guò)牧師與野人渡河的問(wèn)題，強(qiáng)化學(xué)生對(duì)知識(shí)表示的了解和應(yīng)用，為人工智能后續(xù)環(huán)節(jié)的課程奠定基礎(chǔ)。三、基本要求輸入：牧師人數(shù)(即野人人數(shù))：n；小船一次最多載人量：c。用三元組(X1, X2, X3)表示渡河過(guò)程中的狀態(tài)。例：當(dāng)輸入n=2，c=2時(shí)，輸出：221110211010021000 其中：X1表示起始岸上的牧師人數(shù)；X