課程實(shí)驗(yàn)報(bào)告人工智能原理與技術(shù) 室無(wú) 趙倩 成績(jī)課教師樊強(qiáng) 水利與建筑工程學(xué)院加深學(xué)生對(duì)邏輯程序運(yùn)行機(jī)理的理解，使學(xué)生掌握PROLOG語(yǔ)言的特點(diǎn)、熟悉其編程環(huán)境，同時(shí)為后面的人工智能程序設(shè)計(jì)做好準(zhǔn)備。(1)熟悉PROLOG語(yǔ)言編程環(huán)境的使用；(2)了解PROLOG語(yǔ)言中常量、變量的表示方法；(3)了解利用PROLOG進(jìn)行事實(shí)庫(kù)、規(guī)則庫(kù)的編寫(xiě)方法；(1)學(xué)習(xí)使用TurboPROLOG，包括進(jìn)入PROLOG主程序、編輯源程序、修改環(huán)境目錄、退出等基本操作。(2)在Turboprolog集成環(huán)境下調(diào)試運(yùn)行簡(jiǎn)單的TurboPROLOG程序，如描述親屬關(guān)系的PROLOG程序或其他小型演繹數(shù)據(jù)庫(kù)程序等。(1)啟動(dòng)WindowsXP操作環(huán)境。(2)打開(kāi)文件目錄，執(zhí)行prolog應(yīng)用程序，啟動(dòng)Turboprolog，并按空格鍵(SPACE)進(jìn)入集成開(kāi)發(fā)環(huán)境。序運(yùn)行結(jié)果，分析程序之功能。(6)仿前例，可以選擇其他程序并運(yùn)行，分析程序功能。P模擬。事實(shí)上，在此基礎(chǔ)上也可以對(duì)其他任一邏輯門(mén)電路進(jìn)行模擬。omainsd=integerpredicatesclausest實(shí)現(xiàn)同或omainsd=integerpredicatesclauses出現(xiàn)的問(wèn)題：對(duì)于每個(gè)謂詞的格式?jīng)]有看清，老把下劃線忘掉，還以為程序不對(duì)。解決方案：仔細(xì)閱讀程序，名字和格式都了解過(guò)后再驗(yàn)證。課程實(shí)驗(yàn)報(bào)告人圖搜索問(wèn)題求解 無(wú) 趙倩 成績(jī)課教師樊強(qiáng) 水利與建筑工程學(xué)院題求解目的加深學(xué)生對(duì)圖搜索技術(shù)的理解，使學(xué)生掌握?qǐng)D搜索基本編程方法，并能利用圖搜索技術(shù)解決一些應(yīng)用(1)掌握Turboprolog軟件編程方法；(2)熟悉狀態(tài)圖搜索的基本算法；(3)掌握?qǐng)D搜索問(wèn)題求解中的問(wèn)題表示、節(jié)點(diǎn)表示、close表和open表的構(gòu)造。境(1)預(yù)習(xí)教材第四章有關(guān)狀態(tài)圖問(wèn)題求解的內(nèi)容，熟悉狀態(tài)圖求解的過(guò)程和方法；(2)了解TurboPROLOG程序設(shè)計(jì)的基本知識(shí)。內(nèi)容走迷宮是人們熟悉的一種游戲,如圖2-1就是一個(gè)迷宮。如果我們把該迷宮的每一個(gè)格子以及入口和出口都作為節(jié)點(diǎn),把通道作為邊,則該迷宮可以由一個(gè)有向圖表示。那么,走迷宮其實(shí)就是從該有向圖的初始節(jié)點(diǎn)(入口)出發(fā),尋找目標(biāo)節(jié)點(diǎn)(出口)的問(wèn)題,或者是尋找通向目標(biāo)節(jié)點(diǎn)(出口)的路徑的問(wèn)題。2.5實(shí)驗(yàn)方法和步驟(1)啟動(dòng)prolog編輯環(huán)境；(2)用狀態(tài)圖搜索思想編輯路徑求解問(wèn)題的源程序；運(yùn)行程序，分析結(jié)果；(4)用與或圖搜索思想編輯路徑求解問(wèn)題的源程序；(5)運(yùn)行程序，分析結(jié)果。序下面是一個(gè)通用的狀態(tài)圖搜索程序。對(duì)于求解的具體問(wèn)題，只需將其狀態(tài)圖的程序表示并入該程序即/*狀態(tài)圖搜索通用程序*/DOMAINSstate=symbolDATABASE-mydatabaseopen(state,integer)closed(integer,state,integer)res(state)open1(state,integer)min(state,integer)mark(state)PREDICATESroad(state,state)search(state,state)resultrchingstep4(integer,state)step56(integer,state)equal(state,state)repeatresulting(integer)rule(state,state)GOALsolve.CLAUSESsolve:-search(s0,sg),result.search(Begin,End):-retractall(_,mydatabase),assert(closed(0,Begin,0)),assert(open(Begin,0)),assert(mark(End)),repeat,searching,!.result:-not(fail_),retract(closed(0,_,0)),closed(M,_,_),resulting(M),!.result:-beep,write("sorrydon'tfindaroad!").searching:-open(State,Pointer),retract(open(State,Pointer)),closed(No,_,_),No2=No+1,asserta(closed(No2,State,Pointer)),!,step4(No2,State).searching:-assert(fail_).step4(_,State):-mark(End),equal(State,End).step4(No,State):-step56(No,State),!,fail.step56(No,StateX):-rule(StateX,StateY),not(open(StateY,_)),not(closed(_,StateY,_)),assertz(open(StateY,No)),fail.step56(_,_):-!.equal(X,X).repeat.repeat:-repeat.resulting(N):-closed(N,X,M),asserta(res(X)),resulting(M).resulting(_):-res(X),write(X),nl,fail.resulting(_):-!.rule(X,Y):-road(X,Y).road(s0,s4).road(s4,s1).road(s1,s4).road(s1,s2).road(s2,s1).road(s2,s3).road(s3,s2).road(s4,s7).road(s7,s4).road(s4,s5).road(s5,s4).road(s5,s6).road(s6,s5).road(s5,s8).road(s8,s5).road(s8,s9).road(s9,s8).road(s2,s5).road(s5,s2).road(s9,sg).驗(yàn)總結(jié)實(shí)驗(yàn)中出現(xiàn)的問(wèn)題：這一次的程序較難，只能通過(guò)結(jié)果驗(yàn)證其正確性。解決方案：直接看那個(gè)迷宮，得出答案，跟程序運(yùn)行結(jié)果對(duì)比即可。心得：路徑問(wèn)題求解的搜索結(jié)果及分析：找到的是最短路徑，其間可能經(jīng)歷了歧路。多了分析不了?；驁D搜索的特點(diǎn)：兩者都是通過(guò)搜索實(shí)現(xiàn)問(wèn)題求解。其搜索策略都分為盲目搜索和啟發(fā)式搜索兩類(lèi)。狀態(tài)圖是用“狀態(tài)”和“算符”來(lái)表示問(wèn)題的一種方法。其中，“狀態(tài)”用以描述問(wèn)題求解過(guò)程中不同時(shí)刻的狀況；“算符”表示對(duì)狀態(tài)的操作，算符的每一次使用就使問(wèn)題從一種狀態(tài)轉(zhuǎn)變?yōu)榱硪环N狀態(tài)。當(dāng)?shù)竭_(dá)目標(biāo)狀態(tài)時(shí)，由初始狀態(tài)到目標(biāo)狀態(tài)所用算符的序列就是問(wèn)題的一個(gè)解。與或圖則是通過(guò)將復(fù)雜問(wèn)題通過(guò)分解(與節(jié)點(diǎn))、等價(jià)變化(或節(jié)點(diǎn))的方式化簡(jiǎn)看是否能構(gòu)成解樹(shù)來(lái)判斷問(wèn)題是否可解。課程實(shí)驗(yàn)報(bào)告 人工智能原理與技術(shù) 實(shí)驗(yàn)名稱(chēng)小型專(zhuān)家系統(tǒng)(原型)設(shè)計(jì) 無(wú) 姓名趙倩 成績(jī)樊強(qiáng) 水利與建筑工程學(xué)院)設(shè)計(jì)加深學(xué)生對(duì)專(zhuān)家系統(tǒng)原理的理解，使學(xué)生初步掌握專(zhuān)家系統(tǒng)的設(shè)計(jì)和實(shí)現(xiàn)方法。(1)了解專(zhuān)家系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn)的一般方法；(2)熟悉和掌握產(chǎn)生式系統(tǒng)的運(yùn)行機(jī)制、產(chǎn)生式規(guī)則的程序語(yǔ)言實(shí)現(xiàn)。產(chǎn)生式系統(tǒng)用來(lái)描述若干個(gè)不同的以一個(gè)基本概念為基礎(chǔ)的系統(tǒng)，這個(gè)基本概念就是產(chǎn)生式規(guī)則或產(chǎn)生式條件和操作對(duì)。在產(chǎn)生式系統(tǒng)中，論域的知識(shí)分為兩部分：用事實(shí)表示靜態(tài)知識(shí)；用產(chǎn)生式規(guī)則表示要求系統(tǒng)具有知識(shí)庫(kù)、推理機(jī)和動(dòng)態(tài)數(shù)據(jù)庫(kù)三部分。編程語(yǔ)言不限?？紤]到本實(shí)驗(yàn)有一定難度，下面給出一個(gè)示例程序，以供參考。例小型動(dòng)物分類(lèi)專(zhuān)家系統(tǒng)/*AnAnimalClassifyingExpertSystem*/databasexpositive(symbol,symbol)xnegative(symbol,symbol)predicatesnanimal_is(symbol)it_is(symbol)positive(symbol,symbol)negative(symbol,symbol)clear_factsremember(symbol,symbol,symbol)ask(symbol,symbol)run.lausesrun:-animal_is(X),!,write("\nYouranimalmaybea(n)",X),nl,nl,clear_facts.run:-write("\Unabletodeterminewhat"),write("youranimalis.\n\n"),clear_facts.positive(X,Y):-xpositive(X,Y),!.positive(X,Y):-not(xnegative(X,Y)),ask(X,Y).negative(X,Y):-xnegative(X,Y),!.negative(X,Y):-not(xpositive(X,Y)),ask(X,Y).ask(X,Y):-write(X,"it",Y,"\n"),readln(Reply),remember(X,Y,Reply).remember(X,Y,y):-asserta(xpositive(X,Y)).remember(X,Y,n):-asserta(xnegative(X,Y)),fail.clear_facts:-retract(xpositive(_,_)),fail.clear_facts:-retract(xnegative(_,_)),fail.clear_facts:-write("\n\nPleasepressthespacebartoExit"),readchar(_).animal_is(cheetah):-it_is(mammal),it_is(carnivore),positive(has,tawny_color),positive(has,black_spots).animal_is(tiger):-it_is(mammal),it_is(carnivore),positive(has,tawny_color),positive(has,black_stripes).animal_is(giraffe):-it_is(ungulate),positive(has,long_neck),positive(has,long_legs),positive(has,dark_spots).animal_is(zebra):-it_is(ungulate),positive(has,black_stripes).animal_is(ostrich):-itis(bird),negative(does,fly),positive(has,long_neck),positive(has,long_legs),positive(has,black_and_white_color).animal_is(penguin):-itis(bird),negative(does,fly),positive(does,swim),positive(has,black_and_white_color).animal_is(albatross):-itis(bird),positive(does,fly_well).it_is(mammal):-positive(has,hair).it_is(mammal):-positive(does,give_milk).it_is(bird):-positive(does,fly),positive(does,lay_eggs).it_is(bird):-positive(has,feathers).it_is(carnivore):-positive(does,eat_meat).it_is(carnivore):-positive(ha