人工智能歸結(jié)原理的推理系統(tǒng)

實驗4基于歸結(jié)原理的推理系統(tǒng)一、實驗?zāi)康恼莆諝w結(jié)原理的基本原理練習(xí)基于歸結(jié)原理的推理。二、實驗方法運行給定程序，理解歸結(jié)原理。把欲證明問題的結(jié)論否定，并加入子句集S,得到一個擴充的子句集S'。設(shè)法檢驗子句集S'是否含有空子句，若含有空子句，則表明S'是不可滿足的；若不含有空子句，則繼續(xù)使用歸結(jié)法，在子句集中選擇合適的子句進行歸結(jié)直至導(dǎo)出空子句，說明子句集S'是不可滿足的；或不能繼續(xù)歸結(jié)為止。2.演示基于歸結(jié)原理的推理系統(tǒng)：10.txt$已知： $求證:John吃橘子.$1.John喜歡所有的食物； ?fruit(x)Vlike(John,x)$2.橘子是食物; fruit(Orange)$3.如果某人喜歡某種食物,則他吃 ?like(x,y)Veat(x,y)該食物; #eat(John,Orange)(1)否定結(jié)論?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)三、實驗任務(wù)運行給定程序，理解歸結(jié)原理。運行給定程序，求得歸結(jié)結(jié)果。附：實驗報附：實驗報學(xué) 號姓 名專業(yè)、班實驗地點指導(dǎo)教師時 間實驗4基于歸結(jié)原理的推理系統(tǒng)一、實驗?zāi)康募耙笳莆諝w結(jié)原理的基本原理。練習(xí)基于歸結(jié)原理的推理。二、實驗內(nèi)容與步驟（一）參考有關(guān)資料，運行給定程序，寫出歸結(jié)過程和歸結(jié)結(jié)果?謀殺案破案問題：在一棟房子里發(fā)生了一件神秘的謀殺案,$現(xiàn)在可以肯定以下幾點：$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)(二)推理破案——誰是盜竊犯？張某被盜，公安局派出五個偵察員去調(diào)查。研究案情時，偵察員A說“趙與錢中至少有一人作案”；偵察員B說“錢與孫中至少有一人作案”；偵察員C說“孫與李中至少有一人作案”；偵察員D說“趙與孫中至少有一人與此案無關(guān)”；偵察員E說“錢與李中至少有一人與此案無關(guān)”。如果這五個偵察員的話都是可信的，試用歸結(jié)演繹推理求出誰是盜竊犯。答：定義謂詞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:(