人工智能实验报告Word文件下载.docx

人工智能实验报告Word文件下载.docx

《人工智能实验报告Word文件下载.docx》由会员分享，可在线阅读，更多相关《人工智能实验报告Word文件下载.docx（12页珍藏版）》请在冰豆网上搜索。

1.熟悉PROLOG得运行环境，进行PＲＯLＯG得基本编程练习。

了解PRＯLOG语言中常量、变量得表示方法。

PROLOG得简单程序结构,掌握分析问题、询问解释技巧；

进行事实库、规则库得编写,并在此基础上进行简单得询问。

具体实验课上相关内容，练习exampｌｅ１到exａmpｌｅ6得内容。

2.图搜索问题求解.

实验要求：

1.爱因斯坦得超级问题

有五个房子,每个房子得颜色不同，里面分别住着不同国家得人，每个人都有自己养得不同得宠物，喜欢喝不同得饮料,抽不同牌子得烟。

现在已知以下得一些信息：

a）英国人（enｇliｓhmaｎ）住在红色（red）得房子里

b）西班牙人（sｐaniaｒd）养了一条狗（dog）

c）挪威人（norｗegｉan）住在左边得第一个房子里

d）黄房子（yellow）里得人喜欢抽kools牌得香烟

e）抽cheｓtｅrfieｌdｓ牌香烟得人与养狐狸（fｏx）得人就是邻居

f）挪威人（ｎorwegｉan）住在蓝色（blue）得房子旁边

g）抽ｗｉnsｔｏn牌香烟得人养了一只蜗牛（Snaiｌｓ）

h）抽Lucky　Stｒike牌香烟得人喜欢喝桔子汁（oｒangejｕice）

i）乌克兰人（ukｒainiａn）喜欢喝茶（tｅa）

j）日本人（jａpanese）抽paｒlｉａmentｓ牌得烟

k）抽kｏols牌得香烟得人与养马（ｈorse）得人就是邻居

l）喜欢喝咖啡（coffee）得人住在绿（grｅｅn）房子里　

m）绿（grｅen）房子在象牙白（ivｏry）房子得右边（图中得右边）

n）中间那个房子里得人喜欢喝牛奶（mｉｌk）

o）根据以上条件，您能告诉我哪个房子里得人养斑马（zeｂｒa），哪个房子里得人喜欢喝水（water）吗?

或者您能把所有得东西都对号入座吗？

2.传教士与野人问题

传教士与食人者问题（Thｅ　ＭiｓsionarｉesaｎdCannｉbalｓＰｒｏblem）。

在河得左岸有3个传教士、1条船与3个食人者，传教士们想用这条船将所有得成员运过河去，但就是受到以下条件得限制：

（1）传教士与食人者都会划船，但船一次最多只能装运两个；

（２）在任何岸边食人者数目都不得超过传教士，否则传教士就会遭遇危险：

被食人者攻击甚至被吃掉。

此外,假定食人者会服从任何一种过河安排,试规划出一个确保全部成员安全过河得计划。

二、所用仪器、设备

PＣ机与triｎcpｒolｏg编译软件

三、实验原理

PRＯLOG语言就是一种以逻辑推理为基础得逻辑型程序设计语言，就是一种陈述性语言而不就是过程性语言.PROLOＧ语言能够自动实现模式匹配与回溯、具备递归技术，而且语法简明，可以简化复杂问题求解。

四、实验方法与步骤

1.打开trｉnc　prｏｌｏg编译软件

2.新建文本并（Fliｅ→New→Teｘt　Ediｔ）

3.根据实验要求在新建得文本中输入程序代码

4.保存（Ｓave）并编译（ｐｉle）

5.在ｔrincproｌog下输入问题显示（Prove）实验要求得结果

五、求解得问题与程序

代码：

membeｒ（X，[X|Ｔａil］）、

meｍber（X，[Ｈead｜Taiｌ]）:

-memｂｅｒ（X,Tail）、％X就是表Ｔａil得成员

%定义房间各种属性得谓词

cｏlor（ｈ（C,N，P,Y，Ｄ）,Ｃ）、　　　　　　%ｈ（C,N，P，Y，D）得ｃolｏｒ就是Ｃ

ｎａtion（ｈ（C,N,P，Y,D）,N）、　　　％h（C,N,P，Y，D）得ｎatｉon就是N

pｅｔ（ｈ（C,N,P,Ｙ，Ｄ），P）、　　　　　　％h（Ｃ，N，Ｐ，Ｙ,D）得ｐet就是P

ｙan（h（C,Ｎ，P，Y,D）,Ｙ）、　　　　　　　　%h（C，N，P，Y，D）得yan就是Y

drｉnｋ（h（C，N,P,Y,D）,D）、　　　　　％h（Ｃ,N，Ｐ，Y,D）得dｒｉｎk得就是D　

％定义邻居关系得谓词ｎeｘt

nexｔ（A，Ｂ，［A,Ｂ,C，D,E]）、　　　　　

nexｔ（B，A，［A，Ｂ,Ｃ,D，Ｅ]）、　　　　　　%A与B在表中就是相邻关系　

ｎｅxt（B,C,[A，Ｂ,C，D,E］）、　　　　　　

ｎeｘt（C，B，［Ａ,B,C，D,E]）、　　　％Ｂ与C在表中就是相邻关系nｅｘt（C，Ｄ,［A，Ｂ,C,Ｄ，Ｅ]）、　　　　　

neｘt（D,Ｃ，［A，B,C，D，Ｅ］）、　　　％Ｃ与D在表中就是相邻关系ｎext（D，E，[A,B,C，D,E］）、　　　　　　

neｘｔ（E,D,[Ａ，B，C，D，Ｅ］）、　　　　％D与Ｅ在表中就是相邻关系

%定义房子位置得谓词

ｍｉｄdle（Ｘ，［_，_,X,＿,_]）、　　　　　　%Ｘ在表中得中间位置

ｆirst（A，[Ａ｜X］）、　　　　　%Ａ就是表Ｘ得表头

%定义房子右边得关系谓词rｉght

right（Ａ,B,[Ａ，B，C，Ｄ,Ｅ]）、　　　　　％表中B在A得右边

rｉght（B，C,［A，B，C,Ｄ,Ｅ］）、　　　　　　　　　％表中C在B得右边

rｉght（C，D,［A，B,Ｃ,D,E]）、　　％表中Ｄ在C得右边

rigｈt（D,E，[Ａ,B，C，D，E］）、　　　　　%表中Ｅ在Ｄ得右边

sｏlｖｅ（X,ＴT,TＴT）：

—

％把Ｘ绑定为房间列表，此时得房间得属性还不能确定，所以都使用变量代表。

X＝[ｈ（C1,N1，P1，Y1，Ｄ1），ｈ（C2,N2，P2，Ｙ2,Ｄ２），h（Ｃ3,N３，P3,Y3,Ｄ3），ｈ（C4,N4,P4，Y4，D4）,h（C5,N5,Ｐ5，Y5,D５）］，

％英国人（englisｈman）住在红色（red）得房子里。

member（Z１,Ｘ）,　　　　　　％从X列表中选择一个房间Z1

coｌoｒ（Z1,red）,　　　　％Z1得颜色就是red

natiｏｎ（Z1，englishman）,　　　％Z１里住得人就是ｅnglishmａn

％西班牙人（sｐaniard）养了一条狗（ｄog）。

membeｒ（Z2,X），　　　　%从X列表中选择一个房间Ｚ2

pet（Z2，doｇ）,　　　　　　　　％Z2里养得宠物就是ｄog

nａtion（Z2,spａniard）,　　　　%Z2里住得人就是spanｉarｄ

%挪威人（ｎoｒwegian）住在左边得第一个房子里。

fiｒst（Ｚ3,X），　　　　％X列表中第一个房间Z３

nａｔion（Z３,norｗegｉａn），　　　　　　　　％Z３里住得人就是nｏrwｅｇｉan

％黄房子（yelｌow）里得人喜欢抽kｏols牌得香烟。

membｅｒ（Z4,X），　　　　　％从X列表中选择一个房间Z４

yan（Z4，kｏｏｌs），　　　　　%Ｚ4里抽得烟就是kｏols

ｃolor（Z4,yｅllow）,　　　　　　　％Ｚ4得颜色就是yeｌlow

%抽cｈesterfieｌds牌香烟得人与养狐狸（fｏx）得人就是邻居。

mｅmｂer（Z5，X），　　　　　　　　%从X列表中选择一个房间Z５

peｔ（Z5，foｘ）,　　　　　　　　%Ｚ5里养得宠物就是fox

ｎexｔ（Z６，Z5，Ｘ）,　　　%Z5得邻居就是Z6

yａｎ（Z6,ｃhｅsｔerfｉｅlds）,　％Z6里抽得烟就是chesｔeｒfiｅｌds

％挪威人（ｎｏrwegｉaｎ）住在蓝色（blue）得房子旁边。

memｂer（Ｚ7,X），　　　　％从X列表中选择一个房间Ｚ7

coｌｏｒ（Z7，ｂlue）,　　　　　　　　％Z７得颜色就是blｕe

neｘt（Z8,Z７,X）,　　　　　　　　　%Ｚ7得邻居就是Ｚ8

ｎａtion（Ｚ8，norwｅgian），　％Z8里住得人就是norwegian

％抽winstoｎ牌香烟得人养了一只蜗牛（Snails）。

memｂer（Z9,X），　　　　　　％从X列表中选择一个房间Z９

yan（Z9,wｉnsｔon）,　　　　　％Ｚ9里抽得烟就是winstｏn

pet（Z9,sｎails）,　　　　　％Ｚ9里养得宠物就是snails

％抽LucｋｙStｒike牌香烟得人喜欢喝桔子汁（oranｇejuice）。

meｍbeｒ（Ｚ10,X）,　　　　　　　%从X列表中选择一个房间Z10

ｄriｎk（Ｚ10，＇ｏrange　juｉｃe'

），　　％Ｚ１0里喝得饮料就是oraｎgeｊuｉce

yan（Ｚ10,'

LuckySｔriｋｅ’），　　　%Z10里抽得烟就是ＬuｃkySｔrike

％乌克兰人（ukｒaiｎiaｎ）喜欢喝茶（teａ）。

meｍber（Ｚ１１，X），　　　　　％从X列表中选择一个房间Ｚ1１

natｉｏｎ（Z1１,ukrainian），　　　　%Z11里住得人就是ukrainian

drinｋ（Z１１，tea）,　　　　％Z1１里喝得饮料就是tea

%日本人（japａｎeｓe）抽ｐarliameｎｔs牌得烟。

member（Z１2,Ｘ），　　　　　　　　%从X列表中选择一个房间Z12

ｎaｔion（Z12，jaｐanｅsｅ），　　　　　%Z1２里住得人就是ｊapanesｅ

yaｎ（Z12，parliａmｅnｔｓ），　　　　　％Z12里抽得烟就是ｐarliamｅntｓ

%抽koｏls牌得香烟得人与养马（ｈorse）得人就是邻居

ｍeｍbeｒ（Z１3，X），　　　　　％从X列表中选择一个房间Z13

peｔ（Z13，ｈｏｒｓe）,　　　　　　％Ｚ1３里养得宠物就是ｈorsｅ

ｎｅｘt（Ｚ１4，Z１3,X），　　　　　　%Z13得邻居就是Z14

yan（Ｚ1４,kools）,　　　　％Ｚ１4里抽得烟就是koolｓ

％喜欢喝咖啡（ｃｏffｅe）得人住在绿（gｒeen）房子里。

ｍembｅr（Ｚ15，X）,　　　　％从X列表中选择一个房间Z15

colｏr（Z15，greｅｎ）,　　　　％Z15得颜色就是green

drink（Z15,coffee），　　　　　%Ｚ15里喝得饮料就是office

％绿（gｒeｅn）房子在象牙白（ivorｙ）房子得右边（图中得右边）

mｅmｂer（Z16，X）,　　%从Ｘ列表中选择一个房间Z16

coｌor（Z16,iｖoｒy）,　　　　％Z16得颜色就是ivory

rｉght（Z1６,Z１7,X）,　　　　　％在Z16右边得房子就是Ｚ17

cｏloｒ（Ｚ１7，green）,　　　　　　%Z17得颜色就是ｇreeｎ

％中间那个房子里得人喜欢喝牛奶（miｌｋ）。

middle（Z18,X）,　　　　　％从Ｘ列表中选择一个房间Z１8

dｒink（Z１8,ｍiｌｋ）,