人智实验报告二.docx

HUNAN UNIVERSITY人工智能实验报告题 目 使用Prolog的一阶逻辑推理实验 学生姓名 匿名学生学号2013080702XX专业班级智能科学与技术1302班 指导老师 袁进 实验报告：使用Prolog的一阶逻辑推理实验一．实验目的学会使用Prolog语言；用Prolog语言巩固一阶逻辑知识；能够使用prolog语言实现一阶逻辑的证明；二、实验的硬件、软件平台硬件：计算机软件：操作系统：Windows10 Professional应用软件：Prolog三、实验内容及步骤熟悉prolog语言的使用并实现对于一阶逻辑推理的证明/*先来补充一下怎么使用这个什么prolog吧！打开软件如下图:先要给他些数据,然后才能进行进行判断，看下图:例如实验内容1.a输入这些知识库保存，然后读取这些内容File-consult-选择打开的文件 然后输入p(a). 不要忘了这个点点*/1：对于a,b,c,d四种输入情况，验证|?- p(a).的真假；a. p(b).p(a) :- p(b). p(a) :- p(c). true//:-表示if if p(b)为真则p(a)为真b. p(c). p(a) :- p(b). p(a) :- p(c). truec. p(b). p(a) :- p(b) ,p(c). falsed. p(c). p(a):- p(b) ; p(c). true实验结果：2.验证?-friend(john,Y).likes(bell,sports). likes(mary,music). likes(mary,sports). likes(jane ,smith). friend(john,X):-likes(X,reading),likes(X,music). //中间的逗号表示与若是分号则表示或friend(john,X):-likes(X,sports),likes(X,music). 实验结果：结果说明mary是john的朋友3.验证 likes(bill,X).likes(ellen,tennis).likes(john,football).likes(tom,baseball).likes(eric,swimming).likes(mark,tennis).likes(bill,X) if likes(tom,X).实验结果：结果说明bill喜欢baseball4.构建与，或，非，异或表达，并验证。实验结果：5.已知兄弟sib(X, Y)的定义如下sib(X, Y):- p(Z, X), p(Z, Y), X \== Y. 5.1.定义堂兄弟co(X, Y)； 5.2.定义二代堂兄弟sco(X, Y)，X,Y的父母是堂兄弟。实验结果：弟弟和侄子是父子关系,me 和di是堂兄弟，son和zhi是二代堂兄弟,其他的自己看6.自动实现有哪些信誉好的足球投注网站算法-回溯，判断JOHN是谁的朋友TOM喜欢TALK,BILL喜欢游泳，BILL喜欢谈话;若X既喜欢TALK,有喜欢SWIM,则JOHN是X的朋友。实验结果：结果说明bill是john的朋友。7.谁是盗窃犯问题：某人被盗，公安局派出所派出5个侦察员去调查。研究案情时: 侦察员A说：“赵与钱中至少有一人作案”； 侦察员B说：“钱与孙中至少有一人作案”； 侦察员C说：“孙与李中至少有一人作案”； 侦察员D说：“赵与孙中至少有一人与此案无关”； 侦察员E说：“钱与李中至少有一人与此案无关”。 如果这5个侦察员的话都是可信的，试编程求出谁是盗窃犯，并给出Prolog程序。 实验结果：结果说明钱和孙是盗窃犯。有两个bool().语句代表zhao qian sun li他们可能是或者不是小偷两种情况 几种情况取合取8.逻辑推理:(1)、在一条街上，有5座房子，喷了5种颜色。(2)、每个房里住着不同国籍的人(3)、每个人喝不同的饮料，抽不同品牌的香烟，养不同的宠物问题是：谁养鱼？提示：(1)、英国人住红色房子(2)、瑞典人养狗(3)、丹麦人喝茶(4)、绿色房子在白色房子左面(5)、绿色房子主人喝咖啡(6)、抽PallMall香烟的人养鸟(7)、黄色房子主人抽Dunhill香烟(8)、住在中间房子的人喝牛奶(9)、挪威人住第一间房(10) 、抽Blends香烟的人住在养猫的人隔壁(11)、养马的人住抽Dunhill香烟的人隔壁(12)、抽BlueMaster的人喝啤酒(13)、德国人抽Prince香烟(14)、挪威人住蓝色房子隔壁(15)、抽Blends香烟的人有一个喝水的邻居这题我弃疗了，百度了个代码不知道是否正确nation(h(N,_,_,_,_),N).