归结原理 人工智能-人工语音智能计算器

实验4基于归结原理的推理系统一、实验目的掌握归结原理的基本原理。练习基于归结原理的推理。二、实验方法快递客服问题件处理详细方法计算方法pdf计算方法pdf山木方法pdf华与华方法下载运行给定程序，理解归结原理。⑴把欲证明问题快递公司问题件快递公司问题件货款处理关于圆的周长面积重点题型关于解方程组的题及答案关于南海问题的结论否定，并加入子句集S,得到一个扩充的子句集S'设法检验子句集S'是否含有空子句，若含有空子句，则表关于同志近三年现实表现材料材料类招标技术评分表图表与交易pdf视力表打印pdf用图表说话 pdf明S'是不可满足的；若不含有空子句，则继续使用归结法，在子句集中选择合适的子句进行归结，直至导出空子句，说明子句集S'是不可满足的；或不能继续归结为止。演示基于归结原理的推理系统：10.txt$已知：$求证:John吃橘子.$1.John喜欢所有的食物；〜fruit(x)Vlike(John,x)$2.橘子是食物;fruit(Orange)$3.如果某人喜欢某种食物,则他吃〜like(x,y)Veat(x,y)该食物;#eat(John,Orange)否定结论〜fruit(x)Vlike(John,x)fruit(Orange)〜like(x,y)Veat(x,y)〜eat(John,Orange)改为合取式fruit(x)like(John,x)fruit(Orange)like(x,y)eat(x,y)〜eat(John,Orange)fruit(x)Alike(John,x)fruit(Orange)like(x,y)Aeat(x,y)〜eat(John,Orange)$拆分为子句集三、实验任务运行给定程序，理解归结原理。

运行给定程序归结原理 人工智能，求得归结结果。附：实验报告软件系统测试报告下载sgs报告如何下载关于路面塌陷情况报告535n,sgs报告怎么下载竣工报告下载学号姓名专业、班实验地点指导教师时间实验4基于归结原理的推理系统一、实验目的及要求掌握归结原理的基本原理。练习基于归结原理的推理。二、实验内容与步骤（一）参考有关资料，运行给定程序，写出归结过程和归结结果•谋杀案破案问题：在一栋房子里发生了一件神秘的谋杀案,$现在可以肯定以下几点：$1•在这栋房子里只住着A,B,C三人；$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)(—x)(y)—Hx,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富有「有数推十薜TH:(CSTcT)Rtf(B),A)T15：(C7tT8)EQUALTl:(TO,TO)~SK伍,A)Cl:(CO,CO)SKCA,A)7SK(B,A)VSK(C,A)T4:(CLTl)SK(B,A)VSK(CTA)C8:(CO,CO)~SK仗乱A)V—R(x5,A)T34:(T15.T11)R(BrA)T17：(C8rT4)~R(氏A)VSK(CfA)C4：(CO,CO)EQUAL.(z3,B)VH(Ars3)C3:(CO,CO)—H(A,k2)V©曲)T7:(C3.C4)~H(Gx3)VEQUAL®3,B)C9:(CO,CO)EQUAL(A,B)C2：(CO,CO)^SK(xLA)VH(xLA)T18:(C9,T7)〜H(C.A)T41:(117.T34)SK(C,A)T42:(T1缶饰)T43:(T42.T41)□•$推测物品问题：Thief(John)Like(Paul,Wine)Like(Paul,cheese)Like(Paul,x)->Like(John,x)$1.John是贼；$2.Paul喜欢酒（Wine）;$3.Paul也喜欢奶酪（cheese）$4.如果Paul喜欢某物，则John也喜欢某物;$5.如果某人是贼，而且他喜欢某物，则他可能偷窃该物;(Thief(x)Like(x,y))->May_steal(x,y)$$求:John可能会偷什么？答：Thief(x):x是贼Like(x,y):x喜欢yMaysteal(x,y):x可能会偷y(TCI,TCI)May_steal(J0hn,ur)vAnswer1vr：::2・-942131ccTTT(CO,COD^Like(FauL±x)VLikt(JohnTx)(CO,CO)Like(Paul,Wine)(Tl,T2)AnsurerV^Liltt(Johi^s)(C2,C4)Lik&(John,Wine)(T3.T12)AarverfWine)C5：(CO,CO)Th.ief(y)V~Like(y,叮Vsteal(y,2)Cl.(CQjCQ)Thief(John)T2l(Cl,C5)^Like(John,7.)VMay_steal(John,3)T1(TO,TO)steal(Johr,w)VAnswer(w)C4：(CO,CO)^LikefFaul,｝；)VLike(Jchn,x)匚？：(CO,CD)Like(Paul^Ch&ese)T12:(TLT2)Answer(e；V^Like(John,s)T5:(C3,C4)Like(John,Cheese)T20：(T5,T12)Answer(Cheese)(二)推理破案一一谁是盗窃犯？张某被盗，公安局派出五个侦察员去调查。

研究案情时，侦察员A说赵与钱中至少有一人作案”侦察员B说钱与孙中至少有一人作案”侦察员C说孙与李中至少有一人作案”侦察员D说赵与孙中至少有一人与此案无关”侦察员E说钱与李中至少有一人与此案无关”如果这五个侦察员的话都是可信的，试用归结演绎推理求出谁是盗窃犯。答：定义谓词P(x)：x是作案者有效推Fn--:・・-34122812ccTcTTT5263-112ccTc-TTT(CO.CO)^P(Zhao)v-P(Sun)(COfCO)P(Zhao)VPfQiaiJ(C1,C4)P(Qian)V^P(Sun)(CO,CO)P(Qian)VP(Sun)(C2「T2)P(Qian)(TO,TO)^P(y)VAnswer(y)(Tl,TE)Answer(Qian5(CO?CO)^P(QianJV-P(Li)(CO,CO)P(Qian)VPtStui)(C2,C5)P(Sun)V^F(Li)(C0TC0)P(Sun)VP(Li):(C3,16)P(Sun)(TO,TO)^P(y)VAnswr(y)(Tl.113)Answer(Sun)三、实验结果与数据处理列出测试结果，包括输入和输出。这里的测试数据应尽可能包括各种可能或不同的情况。四、分析与讨论调试过程中遇到的主要问题，是如何解决的归结原理 人工智能，对设计和编码的回顾讨论和分析；改进设想;经验和体会等。