资源描述：
《最新人工智能实验报告.doc》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、华北电力大学科技学院实验报告实验名称PROLOG语言编程练习及图搜索问题求解课程名称人工智能及应用专业班级：软件12K2学生姓名：学号：成绩：指导教师：刘丽实验日期：2015.5一、实验目的及要求实验目的：1.熟悉PROLOG的运行环境，进行PROLOG的基本编程练习。了解PROLOG语言中常量、变量的表示方法。PROLOG的简单程序结构，掌握分析问题、询问解释技巧；进行事实库、规则库的编写，并在此基础上进行简单的询问。具体实验课上相关内容，练习example1到example6的内容。2.图搜索问题
2、求解。实验要求：1.爱因斯坦的超级问题有五个房子，每个房子的颜色不同，里面分别住着不同国家的人，每个人都有自己养的不同的宠物，喜欢喝不同的饮料，抽不同牌子的烟。现在已知以下的一些信息:a)英国人（englishman）住在红色（red）的房子里b)西班牙人（spaniard）养了一条狗（dog）c)挪威人（norwegian）住在左边的第一个房子里d)黄房子（yellow）里的人喜欢抽kools牌的香烟e)抽chesterfields牌香烟的人与养狐狸（fox）的人是邻居f)挪威人（norwegian
3、）住在蓝色（blue）的房子旁边g)抽winston牌香烟的人养了一只蜗牛（Snails）h)抽LuckyStrike牌香烟的人喜欢喝桔子汁（orangejuice）i)乌克兰人（ukrainian）喜欢喝茶（tea）j)日本人（japanese）抽parliaments牌的烟k)抽kools牌的香烟的人与养马（horse）的人是邻居l)喜欢喝咖啡（coffee）的人住在绿（green）房子里m)绿（green）房子在象牙白（ivory）房子的右边（图中的右边）n)中间那个房子里的人喜欢喝牛奶（mil
4、k）o)根据以上条件，你能告诉我哪个房子里的人养斑马（zebra），哪个房子里的人喜欢喝水（water）吗？或者你能把所有的东西都对号入座吗？2.传教士与野人问题传教士和食人者问题（TheMissionariesandCannibalsProblem）。在河的左岸有3个传教士、1条船和3个食人者，传教士们想用这条船将所有的成员运过河去，但是受到以下条件的限制：（1）传教士和食人者都会划船，但船一次最多只能装运两个；（2）在任何岸边食人者数目都不得超过传教士，否则传教士就会遭遇危险：被食人者攻击甚至被吃
5、掉。此外，假定食人者会服从任何一种过河安排，试规划出一个确保全部成员安全过河的计划。二、所用仪器、设备PC机和trincprolog编译软件三、实验原理PROLOG语言是一种以逻辑推理为基础的逻辑型程序设计语言，是一种陈述性语言而不是过程性语言。PROLOG语言能够自动实现模式匹配和回溯、具备递归技术，而且语法简明，可以简化复杂问题求解。四、实验方法与步骤1.打开trincprolog编译软件2.新建文本并(Flie→New→TextEdit)3.根据实验要求在新建的文本中输入程序代码4.保存(Sav
6、e)并编译(Compile)5.在trincprolog下输入问题显示(Prove)实验要求的结果五、求解的问题与程序1.爱因斯坦的超级问题代码：member(X,[X
7、Tail]).member(X,[Head
8、Tail]):-member(X,Tail).%X是表Tail的成员%定义房间各种属性的谓词color(h(C,N,P,Y,D),C).%h(C,N,P,Y,D)的color是Cnation(h(C,N,P,Y,D),N).%h(C,N,P,Y,D)的nation是Npet(h(C,N,P,
9、Y,D),P).%h(C,N,P,Y,D)的pet是Pyan(h(C,N,P,Y,D),Y).%h(C,N,P,Y,D)的yan是Ydrink(h(C,N,P,Y,D),D).%h(C,N,P,Y,D)的drink的是D%定义邻居关系的谓词nextnext(A,B,[A,B,C,D,E]).next(B,A,[A,B,C,D,E]).%A和B在表中是相邻关系next(B,C,[A,B,C,D,E]).next(C,B,[A,B,C,D,E]).%B和C在表中是相邻关系next(C,D,[A,B,C,D
10、,E]).next(D,C,[A,B,C,D,E]).%C和D在表中是相邻关系next(D,E,[A,B,C,D,E]).next(E,D,[A,B,C,D,E]).%D和E在表中是相邻关系%定义房子位置的谓词middle(X,[_,_,X,_,_]).%X在表中的中间位置first(A,[A
11、X]).%A是表X的表头%定义房子右边的关系谓词rightright(A,B,[A,B,C,D,E]).%表中B在A的右边right(B,C,[A,B,C,D,E
