人工智能归结原理的推理系统

实验4基于归结原理的推理系统一、实验目的掌握归结原理的基本原理练习基于归结原理的推理。二、实验方法运行给定程序，理解归结原理。把欲证明问题的结论否定，并加入子句集S,得到一个扩充的子句集S'。设法检验子句集S'是否含有空子句，若含有空子句，则表明S'是不可满足的；若不含有空子句，则继续使用归结法，在子句集中选择合适的子句进行归结直至导出空子句，说明子句集S'是不可满足的；或不能继续归结为止。2.演示基于归结原理的推理系统：10.txt$已知： $求证:John吃橘子.$1.John喜欢所有的食物； 〜fruit(x)Vlike(John,x)$2.橘子是食物; fruit(Orange)$3.如果某人喜欢某种食物,则他吃 〜like(x,y)Veat(x,y)该食物; #eat(John,Orange)(1)否定结论〜fruit(x)Vlike(John,x)fruit(Orange)〜like(x,y)Veat(x,y)〜eat(John,Orange)(2)改为合取式fruit(x)Alike(John,x)fruit(Orange)like(x,y)Aeat(x,y)〜eat(John,Orange)$拆分为子句集fruit(x)like(John,x)fruit(Orange)like(x,y)eat(x,y)〜eat(John,Orange)三、实验任务运行给定程序，理解归结原理。运行给定程序，求得归结结果。附：实验报附：实验报学 号姓 名专业、班实验地点指导教师时 间实验4基于归结原理的推理系统一、实验目的及要求掌握归结原理的基本原理。练习基于归结原理的推理。二、实验内容与步骤（一）参考有关资料，运行给定程序，写出归结过程和归结结果•谋杀案破案问题：在一栋房子里发生了一件神秘的谋杀案,$现在可以肯定以下几点：$1.在这栋房子里只住着A,B,C三人;$2•是住在房子里的人杀了$2•是住在房子里的人杀了A;$3.谋杀者非常恨受害者；$4.A所恨的人,C一定不恨；$5•除了B之外,A恨所有的人;$6.B恨所有不比A富有的人；$7.A所恨的人,B也恨；$8.没有一个人恨所有的人；$9.杀人者一定不比受害者富有$$求证:A是自杀.SK(A,A)VSK(B,A)VSK(C,A)〜SK(x1,A)VH(x1,A)〜H(A,x2)V〜H(C,x2)EQUAL(x3,B)VH(A,x3)R(y1,A)VH(B,y1)〜H(A,y2)VH(B,y2)(Vx)(3y)「H(x,y)〜SK(x5,A)V〜R(x5,A)SK(A,A)答:谓词定义:

SK(x,y)：x杀了yH(x,y)：x恨yEQUAL(x,y)：x中去掉yR(x,y)：x比y富有Til:(C5?C7)R(fT15:(C7?TS)EQUAL(fTl:(T0?TO)-SK(A,A)Cl:(C0?C0)SK(A,A)VSK(B?A)VSKT4:(Cl,Tl)SK(B,A)VSK(C?A)C8:(CO,CO)-SK(k5,A)V-R(k5,A)T34:(T15,Til)R(B,A)T17:(C8,T4) VSK(C,A)C4:(CO,CO)EQUAL(k3,B)VH(A,k3)C3:(CO,CO)-H(A,k2)V-H(C,k2)T7:(C3;C4)-H(C?k3)VEQUAL(x3?B)C9:(C0;C0)-EQUAL(A?B)C2:(C0;C0)-SK(k1;A)VH(k1?A)T18:(C9?T7)T41:(T17?T34)SK(C?A)T42:(T1S?C2)-SK(C?A)T43:(T42?T41) □•$推测物品问题:Thief(John)$l.John是贼;Thief(John)$2.Paul喜欢酒(Wine$2.Paul喜欢酒(Wine);Like(Paul,Wine)$3.Paul也喜欢奶酪(cheese)；Like(Paul,cheese)Like(Paul,x)->Like(John,x)$4.如果Paul喜欢某物，则John也喜欢某物;Like(Paul,x)->Like(John,x)$5.如果某人是贼，而且他喜欢某物，则他可能偷窃该物;(Thief(x)Like(x,y))->May_steal(x,y)$$求：John可能会偷什么？答:Thief(x):x是贼Like(x,y)：x喜欢yMay_steal(x,y)：x可能会偷y

有敷推理路径：T1:(TO,TO) Ma.y_stealtJoIm,w)VAnswer(vr)C4:(CO,CO)-^Like(Faul,x)VLike(John,x)C2;(CO,CO)LikeCPWine)T12:(T1,T2)Answr(s)V^Like(Js)T3:(C2,C4)Liketjohn,Wine)T19;(T3?T12)Answer(VTine) 2:0512143152ccttccttt(C0nCO)Thief(y)V-^Like(y?z)VJrtay_steal(yr 2:0512143152ccttccttt(Cl,C5)-^Like(John,z)VMay_steal(John,z)(TCI,TO)Ma.y_stealCJohn3w)VAnswer(w)(CO,CO)-^Like(Faul,k)VLike(John,x)(CO,CO)LikeCPaul,Cheese)(T1,T2)Answr(e)V^Like(John,z)(C3,C4)Like(John,Cheese)(T5,T120Answer(Cheese)(二)推理破案——谁是盗窃犯？张某被盗，公安局派出五个侦察员去调查。研究案情时，侦察员A说“赵与钱中至少有一人作案”；侦察员B说“钱与孙中至少有一人作案”；侦察员C说“孙与李中至少有一人作案”；侦察员D说“赵与孙中至少有一人与此案无关”；侦察员E说“钱与李中至少有一人与此案无关”。如果这五个侦察员的话都是可信的，试用归结演绎推理求出谁是盗窃犯。答：定义谓词P(x)：x是作案者有效推理路径： 34122812ccTcTTT(CO?CO)^P(Zhao)V^P(Sun)(C0?C0)P(Zhao)VP(Qian)(C1?C4)P(Qian)V^P(Sun)(C0?CO)P(Qian)VP(Sun)(C2,T2)P(Qian) 34122812ccTcTTT(TO,TO)^P(y)VAnswer(y)(Tl,TS)Answer(Qian)C5:(CO,CO)eP(Qian)V-P(Li)C2:(CO,CO)P(Qian)VP(Sun)T6:(C2;C5)P(Sun)VnC3:(CO;CO)P(Sun)VP(Li)T13:(