資源描述：
《圖搜索問(wèn)題求解--實(shí)驗(yàn)報(bào)告》由會(huì)員上傳分享，免費(fèi)在線閱讀，更多相關(guān)內(nèi)容在教育資源-天天文庫(kù)。
1、實(shí)驗(yàn)報(bào)告
2、
3、實(shí)驗(yàn)名稱圖搜索問(wèn)題求解課程名稱人工智能
4、
5、驗(yàn)證性、綜合性實(shí)驗(yàn)報(bào)告應(yīng)含的主要內(nèi)容：一、實(shí)驗(yàn)?zāi)康募耙蠖?、所用儀器、設(shè)備三、實(shí)驗(yàn)原理四、實(shí)驗(yàn)方法與步驟五、實(shí)驗(yàn)結(jié)果與數(shù)據(jù)處理六、討論與結(jié)論（對(duì)實(shí)驗(yàn)現(xiàn)象、實(shí)驗(yàn)故障及處理方法、實(shí)驗(yàn)中存在的問(wèn)題等進(jìn)行分析和討論，對(duì)實(shí)驗(yàn)的進(jìn)一步想法或改進(jìn)意見(jiàn)）七、所附實(shí)驗(yàn)輸出的結(jié)果或數(shù)據(jù)設(shè)計(jì)性實(shí)驗(yàn)報(bào)告應(yīng)含的主要內(nèi)容：一、設(shè)計(jì)要求二、選擇的方案三、所用儀器、設(shè)備四、實(shí)驗(yàn)方法與步驟五、實(shí)驗(yàn)結(jié)果與數(shù)據(jù)處理六、結(jié)論（依據(jù)“設(shè)計(jì)要求”）七、所附實(shí)驗(yàn)輸出的結(jié)果或數(shù)據(jù)*封面左側(cè)印痕處裝訂華北電力大學(xué)科技學(xué)院實(shí)驗(yàn)報(bào)告一、實(shí)驗(yàn)?zāi)康募耙?.熟悉PROLOG的運(yùn)
6、行環(huán)境，進(jìn)行prolog的基本編程練習(xí)。了解PROLOG語(yǔ)言中常量、變量的表示方法。PROLOG的簡(jiǎn)單程序結(jié)構(gòu)，掌握分析問(wèn)題、詢問(wèn)解釋技巧；進(jìn)行事實(shí)庫(kù)、規(guī)則庫(kù)的編寫，并在此基礎(chǔ)上進(jìn)行簡(jiǎn)單的詢問(wèn)。具體實(shí)驗(yàn)課上相關(guān)內(nèi)容，練習(xí)例1到例6的內(nèi)容。2.圖搜索問(wèn)題求解。任選以下實(shí)際應(yīng)用題目：愛(ài)因斯坦的超級(jí)問(wèn)題、字謎問(wèn)題、漢諾塔問(wèn)題、八數(shù)碼問(wèn)題、八皇后問(wèn)題、過(guò)河問(wèn)題等，選兩個(gè)。要求實(shí)驗(yàn)報(bào)告中包括：程序及其注釋和說(shuō)明、console表單中的程序運(yùn)行結(jié)果。二、所用儀器、設(shè)備PC機(jī)和trincprolog編譯軟件三、實(shí)驗(yàn)原理PROLOG語(yǔ)言是一種以邏輯推理為基礎(chǔ)的邏輯型程序設(shè)計(jì)語(yǔ)言，是一種陳述
7、性語(yǔ)言而不是過(guò)程性語(yǔ)言。PROLOG語(yǔ)言能夠自動(dòng)實(shí)現(xiàn)模式匹配和回溯、具備遞歸技術(shù)，而且語(yǔ)法簡(jiǎn)明，可以簡(jiǎn)化復(fù)雜問(wèn)題求解。四、實(shí)驗(yàn)方法與步驟1熟悉trincprolog開(kāi)發(fā)環(huán)境，編寫簡(jiǎn)單的prolog程序，學(xué)習(xí)prolog的語(yǔ)法，進(jìn)行事實(shí)庫(kù)、規(guī)則庫(kù)的編寫，并進(jìn)行簡(jiǎn)單的詢問(wèn)。2.按照所給題目選擇漢諾塔與過(guò)河問(wèn)題，熟悉其算法思想，編程并調(diào)試運(yùn)行。3.寫實(shí)驗(yàn)報(bào)告五、求解的問(wèn)題與程序求解問(wèn)題：漢諾塔問(wèn)題代碼：hanoi(N):-move(N,left,middle,right).move(1,A,_,C):-第頁(yè)共頁(yè)華北電力大學(xué)科技學(xué)院實(shí)驗(yàn)報(bào)告inform(A,C),!.move(N,
8、A,B,C):-N1isN-1,move(N1,A,C,B),inform(A,C),move(N1,B,A,C).inform(Loc1,Loc2):-nl,write('Moveadiskfrom'-Loc1-'to'-Loc2).求解問(wèn)題：傳教士與野人代碼：get_integer(L,H,X):-L>H,!,fail.get_integer(L,H,L).get_integer(L,H,X):-L1isL+1,get_integer(L1,H,X).append([],X,X).append([A
9、X],Y,[A
10、Z]):-append(X,Y,Z).member(A
11、,[A
12、X]).member(A,[B
13、X]):-member(A,X).del_move:-retract(move(X,Y)),fail.del_move.del_stat:-retract(inistatu(X)),retract(desstatu(Y)),!.del_stat.insert_move(N):-insert_move0(N),insert_move1(N).insert_move0(0).insert_move0(N):-asserta(move(N,0)),asserta(move(0,N)),N1isN-1,第頁(yè)共頁(yè)華北電力大學(xué)科技學(xué)院實(shí)驗(yàn)報(bào)告in
14、sert_move0(N1).insert_move1(N):-get_integer(1,N,X),get_integer(X,N,Y),X+Y==0,!.legal1((X,Y)):-Y=:=0,X>=0,!.legal1((X,Y)):-X>=Y,X>=0,Y>=0.update((X,Y,0),Move,Statu1):-(A,B)=X,(C,D)=Y,(E,F)=
15、Move,C1isC+E,D1isD+F,A1isA-E,B1isB-F,Statu1=((A1,B1),(C1,D1),1).update((X,Y,1),Move,Statu1):-(A,B)=X,(C,D)=Y,(E,F)=Move,C1isC-E,D1isD-F,A1isA+E,B1isB+F,Statu1=((A1,B1),(C1,D1),0).connect(Statu,Statu1):-move(X,Y),update(Statu,(X,Y),Statu1),legal(Statu1).第頁(yè)共頁(yè)華北電
