人智实验报告二选编.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). true c. p(b). p(a) :- p(b) ,p(c). false d. 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喜欢baseball 4.构建与，或，非，异或表达，并验证。 实验结果： 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)、挪威人