人工智能實(shí)驗(yàn)報(bào)告

人工智能技術(shù)實(shí)驗(yàn)報(bào)告實(shí)驗(yàn)名稱：人工智能實(shí)驗(yàn)1姓名：班級(jí)：指導(dǎo)教師：完成時(shí)間：2012/04/301.讀程序，指出運(yùn)行結(jié)果。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).運(yùn)行結(jié)果：theXisa32.試編寫一個(gè)描述親屬關(guān)系的PROLOG程序，然后再給予出一些事實(shí)數(shù)據(jù)，建立一個(gè)小型演繹數(shù)據(jù)庫(kù)。提示：可以以父親和母親為基本關(guān)系（作為基本謂詞），再由此來(lái)描述祖父、祖母、兄弟、姐妹以及其他所屬關(guān)系。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).運(yùn)行結(jié)果：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)).運(yùn)行結(jié)果：4.實(shí)驗(yàn)遇到問題及解決：這次實(shí)驗(yàn)總體來(lái)說比較簡(jiǎn)單，就是完成了課本第二章習(xí)題中的三個(gè)實(shí)驗(yàn)。其中第一題很容易，只是敲程序、運(yùn)行，得出了正確結(jié)果（大多數(shù)人答案都一樣）；而第二題較復(fù)雜，要編輯一個(gè)親屬關(guān)系的程序，運(yùn)行過程中出現(xiàn)了好幾處錯(cuò)誤，經(jīng)過認(rèn)真改正，才得出最后的結(jié)果；第三個(gè)題目是修改書上的程序，只是增加目標(biāo)段（goal）即可，但得出的結(jié)果中，卻重出現(xiàn)了a→d，這是遇到的問題，經(jīng)請(qǐng)教指導(dǎo)老師，才發(fā)現(xiàn)如圖所示，確實(shí)a點(diǎn)到d點(diǎn)有兩條路徑分別是a→b→d和a→c→d,問題得到解決，在此對(duì)指導(dǎo)老師表示感謝。而第二個(gè)問題有隨之出現(xiàn)了，那么a到e，應(yīng)該有三條路徑，運(yùn)行結(jié)果中為什么只顯示一次呢？希望老師予以幫助解答，謝謝！5.實(shí)驗(yàn)總結(jié)與自我感想：PROLOG語(yǔ)言是一種以邏輯推理為基礎(chǔ)的邏輯型程序設(shè)計(jì)語(yǔ)言，是一種陳述性語(yǔ)言而不是過程性語(yǔ)言。PROLOG語(yǔ)言能夠自動(dòng)實(shí)現(xiàn)模式匹配和回溯、具備遞歸技術(shù)，而且語(yǔ)法簡(jiǎn)明，可以簡(jiǎn)化復(fù)雜問題求解。我們實(shí)驗(yàn)選擇的是TurboProlog，是因?yàn)樗且粋€(gè)功能較齊全的邏輯程序語(yǔ)言，其程序的可讀性也很好，有簡(jiǎn)單易學(xué)