人工智能实验报告

人工智能技术实验报告实验名称：人工智能实验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程序，然后再给予出一些事实数据，建立一个小型演绎数据库。提示：可以以父亲和母亲为基本关系（作为基本谓词），再由此来描述祖父、祖母、兄弟、姐妹以及其他所属关系。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节例题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.实验遇到问题及解决：这次实验总体来说比较简单，就是完成了课本第二章习题中的三个实验。其中第一题很容易，只是敲程序、运行，得出了正确结果（大多数人答案都一样）；而第二题较复杂，要编辑一个亲属关系的程序，运行过程中出现了好几处错误，经过认真改正，才得出最后的结果；第三个题目是修改书上的程序，只是增加目标段（goal）即可，但得出的结果中，却重出现了a→d，这是遇到的问题，经请教指导老师，才发现如图所示，确实a点到d点有两条路径分别是a→b→d和a→c→d,问题得到解决，在此对指导老师表示感谢。而第二个问题有随之出现了，那么a到e，应该有三条路径，运行结果中为什么只显示一次呢？希望老师予以帮助解答，谢谢！5.实验总结与自我感想：PROLOG语言是一种以逻辑推理为基础的逻辑型程序设计语言，是一种陈述性语言而不是过程性语言。PROLOG语言能够自动实现模式匹配和回溯、具备递归技术，而且语法简明，可以简化复杂问题求解。我们实验选择的是TurboProlog，是因为它是一个功能较齐全的逻辑程序语言，其程序的可读性也很好，有简单易学