人工智能實驗報告

人工智能技術實驗報告實驗名稱：人工智能實驗1姓名：班級：指導教師：完成時間：2012/04/301.讀程序，指出運行結果。domainss=symbolpredicatesp(s)p1(s)p2(s)p3(s)p4(s)p5(s,s)p11(s)p12(s)p31(s)goalp(X),write(“thexis”,X).clausesp(a1):-p1(b),p2(c).p(a2):-p1(b),p3(d),p4(e).p(a3):-p1(b),p5(f,g).p1(b):-p11(b1),p12(b2).p3(d):-p31(d1).p2(c1).p4(e1).p5(f,g).p11(b1).p12(b2).p31(d11).運行結果：theXisa32.試編寫一個描述親屬關系的PROLOG程序，然后再給予出一些事實數(shù)據(jù)，建立一個小型演繹數(shù)據(jù)庫。提示：可以以父親和母親為基本關系（作為基本謂詞），再由此來描述祖父、祖母、兄弟、姐妹以及其他所屬關系。domainsname=symbol.predicatesmother(name,name).father(name,name).grandfather(name,name).grandmother(name,name).sister(name,name).aunt(name,name).goalgrandmother(a,X),write("X=",X),nl,father(b,Y),write("Y=",Y),nl,sister(c,Z),write("Z=",Z),nl,aunt(d,T),write("T=",T).clausesmother(a,c).mother(a,d).mother(c,g).mother(c,f).father(b,c).father(b,d).father(e,g).father(e,f).grandfather(X,Z):-father(X,Z),father(Y,Z).grandmother(X,Z):-mother(X,Y),mother(Y,Z).sister(X,Y):-mother(Z,X),mother(Z,Y).aunt(X,Y):-mother(Z,Y),sister(Z,X).運行結果：3.修改2.2節(jié)例題2.9的程序，使其能輸出圖中所有路徑（path）。domainspoint=symbolpredicatesroad(point,point).path(point,point).goalpath(X,Y),write(X,"-->",Y),nl,fail.clausesroad(a,b).road(a,c).road(b,e).road(b,d).road(c,d).road(d,e).path(X,Y):-road(X,Y).path(X,Y):-road(X,Z),road(Z,Y),not(road(X,Y)).運行結果：4.實驗遇到問題及解決：這次實驗總體來說比較簡單，就是完成了課本第二章習題中的三個實驗。其中第一題很容易，只是敲程序、運行，得出了正確結果（大多數(shù)人答案都一樣）；而第二題較復雜，要編輯一個親屬關系的程序，運行過程中出現(xiàn)了好幾處錯誤，經(jīng)過認真改正，才得出最后的結果；第三個題目是修改書上的程序，只是增加目標段（goal）即可，但得出的結果中，卻重出現(xiàn)了a→d，這是遇到的問題，經(jīng)請教指導老師，才發(fā)現(xiàn)如圖所示，確實a點到d點有兩條路徑分別是a→b→d和a→c→d,問題得到解決，在此對指導老師表示感謝。而第二個問題有隨之出現(xiàn)了，那么a到e，應該有三條路徑，運行結果中為什么只顯示一次呢？希望老師予以幫助解答，謝謝！5.實驗總結與自我感想：PROLOG語言是一種以邏輯推理為基礎的邏輯型程序設計語言，是一種陳述性語言而不是過程性語言。PROLOG語言能夠自動實現(xiàn)模式匹配和回溯、具備遞歸技術，而且語法簡明，可以簡化復雜問題求解。我們實驗選擇的是TurboProlog，是因為它是一個功能較齊全的邏輯程序語言，其程序的可讀性也很好，有簡單易學