最新应用归结原理例-讲课PPT课件.ppt

《最新应用归结原理例-讲课PPT课件.ppt》由会员分享，可在线阅读，更多相关《最新应用归结原理例-讲课PPT课件.ppt（21页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、进入夏天，少不了一个热字当头，电扇空调陆续登场，每逢此时，总会想起进入夏天，少不了一个热字当头，电扇空调陆续登场，每逢此时，总会想起那一把蒲扇。蒲扇，是记忆中的农村，夏季经常用的一件物品。记忆中的故那一把蒲扇。蒲扇，是记忆中的农村，夏季经常用的一件物品。记忆中的故乡，每逢进入夏天，集市上最常见的便是蒲扇、凉席，不论男女老少，个个手持乡，每逢进入夏天，集市上最常见的便是蒲扇、凉席，不论男女老少，个个手持一把，忽闪忽闪个不停，嘴里叨叨着一把，忽闪忽闪个不停，嘴里叨叨着“怎么这么热怎么这么热”，于是三五成群，聚在大树，于是三五成群，聚在大树下，或站着，或随即坐在石头上，手持那把扇子，边唠嗑边乘凉。孩

2、子们却在周下，或站着，或随即坐在石头上，手持那把扇子，边唠嗑边乘凉。孩子们却在周围跑跑跳跳，热得满头大汗，不时听到围跑跑跳跳，热得满头大汗，不时听到“强子，别跑了，快来我给你扇扇强子，别跑了，快来我给你扇扇”。孩。孩子们才不听这一套，跑个没完，直到累气喘吁吁，这才一跑一踮地围过了，这时子们才不听这一套，跑个没完，直到累气喘吁吁，这才一跑一踮地围过了，这时母亲总是，好似生气的样子，边扇边训，母亲总是，好似生气的样子，边扇边训，“你看热的，跑什么？你看热的，跑什么？”此时这把蒲扇，此时这把蒲扇，是那么凉快，那么的温馨幸福，有母亲的味道！蒲扇是中国传统工艺品，在是那么凉快，那么的温馨幸福，有母亲的味

3、道！蒲扇是中国传统工艺品，在我国已有三千年多年的历史。取材于棕榈树，制作简单，方便携带，且蒲扇的表我国已有三千年多年的历史。取材于棕榈树，制作简单，方便携带，且蒲扇的表面光滑，因而，古人常会在上面作画。古有棕扇、葵扇、蒲扇、蕉扇诸名，实即面光滑，因而，古人常会在上面作画。古有棕扇、葵扇、蒲扇、蕉扇诸名，实即今日的蒲扇，江浙称之为芭蕉扇。六七十年代，人们最常用的就是这种，似圆非今日的蒲扇，江浙称之为芭蕉扇。六七十年代，人们最常用的就是这种，似圆非圆，轻巧又便宜的蒲扇。蒲扇流传至今，我的记忆中，它跨越了半个世纪，圆，轻巧又便宜的蒲扇。蒲扇流传至今，我的记忆中，它跨越了半个世纪，也走过了我们的半个人

4、生的轨迹，携带着特有的念想，一年年，一天天，流向长也走过了我们的半个人生的轨迹，携带着特有的念想，一年年，一天天，流向长长的时间隧道，袅长的时间隧道，袅应用归结原理例-讲课（一）应用归结原理进行定理证明应用归结原理进行定理证明的步骤：应用归结原理进行定理证明的步骤：设要被证明的定理可用谓词公式表示为如下的形式：A1A2AnB(1)首先否定结论B，并将否定后的公式B与前提公式集组成如下形式的谓词公式：G=A1A2AnB(2)求谓词公式G的子句集S。(3)应用归结原理，证明子句集S的不可满足性。11/17/20222应用归结原理进行定理证明-习题5练习练习-“激激动动人心的生活人心的生活”问题问题

5、假假设设：所有不所有不贫穷贫穷并且并且聪聪明的人都是快明的人都是快乐乐的；的；那些看那些看书书的人是的人是聪聪明的；明的；李明能看李明能看书书且不且不贫穷贫穷；快快乐乐的人的人过过着激着激动动人心的生活。人心的生活。求求证证：李明：李明过过着激着激动动人心的生活。人心的生活。定定义谓词义谓词：Poor(x):x贫穷贫穷；Smart(x):x聪聪明；明；Happy(x):x快快乐乐；Read(x):x看看书书；Exciting(x):x过过着激着激动动人心的生活。人心的生活。11/17/20229（二）利用归结原理求取问题答案（二）利用归结原理求取问题答案利用归结原理求取问题答案的步骤：利用归结

6、原理求取问题答案的步骤：（1）把把已已知知前前提提条条件件用用谓谓词词公公式式表表示示出出来来，并并化化成成相相应应的的子子句句集集，设该子句集的名字为设该子句集的名字为S1。（2）把把待待求求解解的的问问题题也也用用谓谓词词公公式式表表示示出出来来，然然后后将将其其否否定定，并并与与一一谓谓词词ANSWER构构成成析析取取式式。谓谓词词ANSWER是是一一个个专专为为求求解解问题而设置的谓词，其变量必须与问题公式的变量完全一致。问题而设置的谓词，其变量必须与问题公式的变量完全一致。（3）把把（2）中中的的析析取取式式化化为为子子句句集集，并并把把该该子子句句集集与与S1合合并并构构成成子句集

7、子句集S。11/17/202210（4）对对子子句句集集S应应用用归归结结原原理理进进行行归归结结，在在归归结结的的过过程程中中，通通过过合合一一，改改变变ANSWER中中的的变元。变元。（5）如如果果得得到到归归结结式式ANSWER，则则问问题题的的答答案案即在即在ANSWER谓词中。谓词中。11/17/202211利用归结原理求取问题答案利用归结原理求取问题答案-习题习题1例例.任何兄弟都有同一个父亲，任何兄弟都有同一个父亲，John和和Peter是兄弟，且是兄弟，且John的父亲是的父亲是David，问问:Peter的父亲是谁？的父亲是谁？解解 第第一一步步：将将已已知知条条件件用用谓谓

8、词词公公式式表表示示出出来来，并并化化成成子子句集，那么要先定义谓词。句集，那么要先定义谓词。（1）定义谓词：定义谓词：设设Father(x,y)表示表示x是是y的父亲。的父亲。Brother(x,y)表示表示x和和y是兄弟。是兄弟。11/17/202212（2）将已知事实用谓词公式表示出来。将已知事实用谓词公式表示出来。F1：任何兄弟都有同一个父亲。：任何兄弟都有同一个父亲。x y z(Brother(x,y)Father(z,x)Father(z,y)F2：John和和Peter是兄弟。是兄弟。Brother(John,Peter)F3：John的父亲是的父亲是David。Father(D

9、avid,John)（3）将它们化成子句集得：将它们化成子句集得：S1=Brother(x,y)Father(z,x)Father(z,y),Brother(John,Peter),Father(David,John)11/17/202213第二步：把问题用谓词公式表示出来，第二步：把问题用谓词公式表示出来，并将其否定与谓词并将其否定与谓词ANSWER作析取。作析取。设设Peter的父亲是的父亲是u，则有：，则有：Father(u,Peter)。将其否定与将其否定与ANSWER作析取，得：作析取，得：G：Father(u,Peter)ANSWER(u)11/17/202214第三步：将上述公式

10、第三步：将上述公式G化为子句集化为子句集S2,并将并将S1和和S2合并到合并到S。S2=Father(u,Peter)ANSWER(u)S=S1 S2将将S中各子句列出如下：中各子句列出如下：（1）Brother(x,y)Father(z,x)Father(z,y)。（2）Brother(John,Peter)。（3）Father(David,John)。（4）Father(u,Peter)ANSWER(u)。11/17/202215第四步：应用归结原理进行归结第四步：应用归结原理进行归结（5）Brother(John,y)Father(David,y)（1）与（）与（3）归结）归结=Davi

11、d/z,John/x（6）Brother(John,Peter)ANSWER(David)（4）与（）与（5）归结）归结=David/u,Peter/y（7）ANSWER(David)（2）与（）与（6）归结）归结第第五五步步：得得到到了了归归结结式式ANSWER(David)，答答案案即即在在其其中中，所所以以u=David。即。即Peter的父亲是的父亲是David。11/17/202216利用归结原理求取问题答案利用归结原理求取问题答案-习题习题2练习：练习：已知：已知：F1:王先生是小李的老师；王先生是小李的老师；F2:小李与小张是同班同学；小李与小张是同班同学；F3:如果如果x与与y

12、是同班同学，则是同班同学，则x的老师也是的老师也是y的老师。的老师。求：小张的老师是谁？求：小张的老师是谁？定义谓词：定义谓词：T(x,y)：x是是y的老师；的老师；C(x,y)：x与与y是同班同学。是同班同学。11/17/202217利用归结原理求取问题答案利用归结原理求取问题答案-习题习题3 练习：某记者到一个孤岛上采访，遇到了一个难题，即岛上有许练习：某记者到一个孤岛上采访，遇到了一个难题，即岛上有许多人说假话，因而难以保证新闻报道的正确性。不过有一点她是多人说假话，因而难以保证新闻报道的正确性。不过有一点她是清楚的，这个岛上的人有一特点，说假话的人从来不说真话，说清楚的，这个岛上的人有

13、一特点，说假话的人从来不说真话，说真话的人也从来不说假话。有一次，记者遇到了孤岛上的三个人，真话的人也从来不说假话。有一次，记者遇到了孤岛上的三个人，为了弄清楚谁说真话，谁说假话，她向三个人中的每一个都提了为了弄清楚谁说真话，谁说假话，她向三个人中的每一个都提了同样的问题，即同样的问题，即“谁是说谎者？谁是说谎者？”结果，结果，a 回答：回答：“b和和c都是说谎都是说谎者者”；b回答：回答：“a和和c都是说谎者都是说谎者”；c回答：回答：“a和和b至少有一个是至少有一个是说谎者说谎者”。试问记者如何才能从这些回答中理出头绪。试问记者如何才能从这些回答中理出头绪。定义谓词：定义谓词：T(x):x

14、说真话。说真话。11/17/202218利用归结原理求取问题答案利用归结原理求取问题答案-习题习题4破案问题：在一栋房子里发生了一件神秘的谋杀破案问题：在一栋房子里发生了一件神秘的谋杀案，现在可以肯定以下几点事实：案，现在可以肯定以下几点事实：(1)在这栋房子里仅住有在这栋房子里仅住有A,B,C三人；三人；(2)是住在这栋房子里的人杀了是住在这栋房子里的人杀了A；(3)谋杀者非常恨受害者；谋杀者非常恨受害者；(4)A所恨的人，所恨的人，C一定不恨；一定不恨；(5)除了除了B以外，以外，A恨所有的人；恨所有的人；(6)B恨所有不比恨所有不比A富有的人；富有的人；11/17/202219(7)A所恨的人，所恨的人，B也恨；也恨；(8)没有一个人恨所有的人；没有一个人恨所有的人；(9)杀人嫌疑犯一定不会比受害者富有。杀人嫌疑犯一定不会比受害者富有。为了推理需要，增加如下常识：为了推理需要，增加如下常识：(10)A不等于不等于B。问：谋杀者是谁？问：谋杀者是谁？定义谓词：定义谓词：L(x):住在这栋房子里；住在这栋房子里；SK(x,y):x杀了杀了y;H(x,y):x恨恨y;R(x,y):x比比y富有。富有。11/17/202220