資源描述：
《人工智能實(shí)驗(yàn)報(bào)告1prolog初步.docx》由會(huì)員上傳分享，免費(fèi)在線閱讀，更多相關(guān)內(nèi)容在教育資源-天天文庫。
1、數(shù)學(xué)與軟件科學(xué)學(xué)院實(shí)驗(yàn)報(bào)告學(xué)期：2015至2016第1學(xué)期2015年10月12日課程名稱:人工智能概論專業(yè):信息與計(jì)算科學(xué)實(shí)驗(yàn)編號：01實(shí)驗(yàn)項(xiàng)目：prolog基礎(chǔ)指導(dǎo)教師：郭遠(yuǎn)華2012級5班學(xué)號：姓名：龔浪實(shí)驗(yàn)成績：一、目的要求掌握visualprolog中的基本結(jié)構(gòu)，包括域說明、謂詞說明、事實(shí)和規(guī)則說明、目標(biāo)說明；掌握簡單查詢，變量查詢，組合查詢，規(guī)則查詢；熟悉遞歸設(shè)計(jì)，學(xué)習(xí)prolog語言與C等語言不同的思維方式；初步掌握prolog中cut（?。┑挠梅ā６?、實(shí)驗(yàn)內(nèi)容1.閱讀下列prolog程序，回答問題。DOMAINSpara=symbolP
2、REDICATESnondetermroom(para)nondetermlocation(para,para)nondetermedible(para)CLAUSESroom(kitchen).room(office).room(hall).room("diningroom").room(cellar).location(desk,office).location(apple,kitchen).location(flashlight,desk).location("washingmachine",cellar).location(nani,"was
3、hingmachine").location(broccoli,kitchen).location(crackers,kitchen).location(computer,office).edible(apple).edible(crackers).GOALroom(office).(1)程序有幾塊？分別是什么作用？答：程序有四塊，分別為域說明部分（DOMAINS），說明了謂詞對象的數(shù)據(jù)類型；謂詞說明部分（PREDICATES），定義程序中除內(nèi)部謂詞以外的所有謂詞；子句部分（CLAUSES），列出全部事實(shí)和規(guī)則，也可看作是程序的靜態(tài)數(shù)據(jù)；目標(biāo)部分（G
4、OAL），說明程序最后目標(biāo)。(2)程序運(yùn)行的結(jié)果？將GOAL部分的內(nèi)容分別替換成room（pen），location(apple,kitchen)，location(app,kitchen)，location(Apple,kitchen)，location(Apple,Kitchen)后，運(yùn)行結(jié)果？為什么？答：程序運(yùn)行結(jié)果為：yes。room(pen)的運(yùn)行結(jié)果為：no。在數(shù)據(jù)庫中沒有事實(shí)與room(pen)匹配，查詢失敗。location(apple,kitchen)的運(yùn)行結(jié)果為：yes。在數(shù)據(jù)庫中找到與location(apple,kitchen
5、)匹配的事實(shí)，查詢成功。location(app,kitchen)的運(yùn)行結(jié)果為：no。在數(shù)據(jù)庫中沒有事實(shí)與location(app,kitchen)匹配，查詢失敗。location(Apple,kitchen)的運(yùn)行結(jié)果為：no。在數(shù)據(jù)庫中沒有事實(shí)與location(Apple,kitchen)匹配，查詢失敗。location(Apple,Kitchen)的運(yùn)行結(jié)果為：Apple=desk,Kitchen=officeApple=apple,Kitchen=kitchenApple=flashlight,Kitchen=deskApple=washi
6、ngmachine,Kitchen=cellarApple=nani,Kitchen=washingmachineApple=broccoli,Kitchen=kitchenApple=crackers,Kitchen=kitchenApple=computer,Kitchen=office8Solutions這里Apple和Kitchen作為變量，將數(shù)據(jù)庫中每一條事實(shí)都顯示出來。(3)將GOAL部分的內(nèi)容分別替換成edible(X),location(X,kitchen)，運(yùn)行結(jié)果？并從回溯的角度分析結(jié)果產(chǎn)生原因。答：edible(X)的運(yùn)行結(jié)果為
7、：X=appleX=crackers2Solutions目標(biāo)為edible(X)，Prolog找到數(shù)據(jù)庫中的第一條edible子句，并與目標(biāo)進(jìn)行比較：edible(X)子句#1edible(apple).匹配成功，因?yàn)檫@里的X是作為變量，而變量的值就被綁定成apple，解釋器就會(huì)顯示：X=apple。數(shù)據(jù)庫中還有未搜索的子句，Prolog就繼續(xù)尋找其他的答案，首先它會(huì)釋放變量X的值，然后從上一次成功的位置的下一條子句開始繼續(xù)搜索，即從子句edible(apple)開始往下搜索，然后找到第二條edible子句，并與目標(biāo)進(jìn)行比較：edible(X)子句#
8、12edible(crackers).同樣匹配成功，原理如上。所以解釋器在搜索完畢后將顯示：X=appleX
