湖南大学人工智能实验2报告..docVIP

实验二 使用Prolog的一阶逻辑推理实验 201208070124 易雪媛 智能1201 一、实验目的 学会使用Prolog语言； 用Prolog语言巩固一阶逻辑知识； 能够使用prolog语言实现一阶逻辑的证明； 二、实验的硬件、软件平台 1.硬件：计算机 2.软件：操作系统：WINDOWS?2000? 3.应用软件：Prolog 三、实验内容及步骤 熟悉prolog语言的使用并实现对于一阶逻辑推理的证明 关于prolog语言：此实验中提到的语言使用来讲解： 例如：p(b). p(a) :- p(b). p(a) :- p(c) 分别表示：p(b)为真； 由p(b)为真可以推出p(a)为真； 由p(c)为真可以推出p(a)为真. 其中语句之间‘，’表示且，‘；’表示或，‘.’表示语句结束; likes(bell,sports).表示bell喜欢sports。 实验步骤： 1. 对于a,b,c,d四种输入情况，验证|?- p(a).的真假； a. p(b). p(a) :- p(b). p(a) :- p(c) 推理分析： 事实：p(b)为真. 推理：由p(b)为真可以推出p(a)为真，由p(c)为真可以推出p(a)为真. 结论：p(a)为真. 运行结果： b. p(c). p(a) :- p(b). p(a) :- p(c). 推理分析： 事实：p(c)为真. 推理：由p(b)为真可以推出p(a)为真，由p(c)为真可以推出p(a)为真. 结论：p(a)为真. 运行结果： c. p(b). p(a) :- p(b) ,p(c). 推理分析： 事实：p(b)为真. 推理：由p(b)为真且p(c)为真可以推出p(a)为真. 结论：p(a)为假.因为p(b)未知. 运行结果： d. p(c). p(a):- p(b) ; p(c). 推理分析： 事实：p(b)为真. 推理：由p(b)为真或p(c)为真可以推出p(a)为真. 结论：p(a)为真. 运行结果： 验证 ?-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). 推理分析： 推理：1.如果X喜欢音乐，而且喜欢阅读，那么X是john的朋友。 2.如果X喜欢音乐，而且喜欢运动，那么X是john的朋友。 相关事实：mary喜欢音乐也喜欢运动。 结论：mary是john的朋友。 运行结果： 3.验证 likes(bill,X) likes(ellen,tennis). likes(john,football). likes(tom,baseball). likes(eric,swimming). likes(mark,tennis). likes(bill,X):-likes(tom,X). 推理分析: 推理：如果tom喜欢X，则bill喜欢X。 相关事实：tom喜欢baseball 结论：bill喜欢baseball 运行结果： 构建与，或，非，异或表达，并验证。 and(X,Y):-X,Y. or(X,Y):-X;Y. no(X):-xor(X,true). xor(X,Y):-X\==Y. 推理分析: 推理：X，Y都为真时and(X,Y)为真。 X，Y有一个为真时or(X,Y)为真。 X为真时no(X)为真。 X不等于Y时，异或xor(X,Y)为真。 运行结果： 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的父母是堂兄弟。 并做验证。 p(ye,ba). p(ye