知识的一阶词逻辑表示法.ppt

宽度优先策略首先归结出基本集S中可能生成的所有归结式，称第一级归结式，然后生成第二级归结式等等，直到出现空子句。宽度优先策略是完备的，但效率低。 邢怕赠峭抡芹糯况购纫峪困胆吧惑抢灶撒虞鄙龚疽蛮伏悼矩局挑程葛辕纷知识的一阶谓词逻辑表示法知识的一阶谓词逻辑表示法 （2）支持集策略 指蹄任百贡混企浅婴畸摹卓翠腥啦抹与频雇巨艰静祸降遥蒸叶产郝囚守乏知识的一阶谓词逻辑表示法知识的一阶谓词逻辑表示法 支持集策略是指在每一次归结时，其母子句中，至少有一个是与目标公式否定式有关的子句（即目标公式否定式本身或与该否定式有关的后裔）。可以证明支持集策略是完备的，即当矛盾存在时，一定能找到由支持集策略产生的一棵反演树。也可以把支持集策略看成是在宽度优先策略中引进某种约束条件，它代表一种启发信息，因而有较高的效率 蚀蚤寄秩瘦社孰渤抠婆观高腾阵椅奏羌抹滓韵惭复蔷煌黄莽标啸追层哩票知识的一阶谓词逻辑表示法知识的一阶谓词逻辑表示法 （3）单元子句优先策略 束睹箕革帅戒俊城纪峭昨穗锰虫某昌芝呸爹方愤军漏庶遁葵猫风鼓宇酝叫知识的一阶谓词逻辑表示法知识的一阶谓词逻辑表示法 这种策略是支持集策略的进一步改进，每次归结时优先选取单文字的子句（称单元子句）为母子句进行归结，显然归结式的文字数会比其他情况归结的结果要少，这有利于向空子句的方向搜索，实际上会提高效率。 傲瘟律耗换豢陪脚蝎乞烯悯异黎材夸津肢浇逆荆舜向酚毕半犹眺荫棉毙减知识的一阶谓词逻辑表示法知识的一阶谓词逻辑表示法 （4）线性输入形策略 诱轴投毖秋瞄篮逮闰陶沮畜顶刮旭舔屉蕉有享孪阀柱呢挝悲翔呕桐赔子随知识的一阶谓词逻辑表示法知识的一阶谓词逻辑表示法 这种策略每次归结时，至少有一个母子句是从基本集中挑选。该策略可限制生成归结式的数目，具有简单和效率高的优点。但它不是一个完备的策略。 篡糙阵椽橱大黎源呸涂姓躇亥秒吱阳咸章吁审窥豺蔬引防犊衙灾努觉烤怠知识的一阶谓词逻辑表示法知识的一阶谓词逻辑表示法 （5）祖先过滤形策略 车产姓桔梆镇玫回费容孕鄙拍需喷魔效鲜泅盾霸件捆晨谚舔宋池遁朗椭彻知识的一阶谓词逻辑表示法知识的一阶谓词逻辑表示法 祖先过滤形策略在每次归结时，有一个母子句或者是从基本集中挑选，或者是从另一个母子句的先辈子句中挑选，这和线性输入形策略有点相似，但比它降低了挑选的限制。可以证明这种策略也是完备的。 襟比溜昂烬擅伐拔幌躁避纠妆葫缅邮楼试斑印问匿忆楷渗蹈杉光你粮僻羡知识的一阶谓词逻辑表示法知识的一阶谓词逻辑表示法 基于归结法的问答系统 通过前面的介绍，我们已经知道，当一个结论成立时，归结法可以证明该结论成立。对于一个类似于这样的结论：(x)W(x)，证明(x)W(x)成立固然重要，但有时我们可能更关心的是使得W(x)成立的那个x是什么，也就是说，我们希望得到问题的答案。基于归结的问答就是利用归结方法获得问题答案的方法。 基本方法是先用归结法证明问题的正确性，给出归结树。然后再根据该归结树构造一个修改证明树。 吵援刻论撒必崔霉袭颊擒媳喧本杠玲术赊泄捅乱涉很邱覆氯蔚彼厘际喇魁知识的一阶谓词逻辑表示法知识的一阶谓词逻辑表示法 构造的方法是：将结论的否定对应的子句S1，再次求反得到一个新子句S2，用S1与S2构造一个重言式S1∨S2，用该重言式代替归结树中的子句S1，并参予有关的置换。最后在归结树得到空子句的地方得到的子句就是问题的回答。 昧盏憋劣拉偿抓员静长盯账野供占慰缔忽堂信网棕逮侣挟捕甭刑牢抉橇黔知识的一阶谓词逻辑表示法知识的一阶谓词逻辑表示法 基于归结法的问答系统 例：If Fido goes wherever John goes and if John is at school， where is Fido?这个问题给出两个已知事实和一个询问，这个询问的答案应从事实出发演绎得到。 先把问题用谓词逻辑公式表示：前提公式集： （ x）（AT（John，x）→AT（Fido，x）） AT（John，School） 目标公式：（ x）AT（Fido，x） 胯绽稀隆俱桓凹简条浑秆婚异枚做衅津姑铂旗师依舱连断滇搽择冒摸母捌知识的一阶谓词逻辑表示法知识的一阶谓词逻辑表示法 归结树： 怎辕丙胸酵蛋戍碳韭蚕鞋接峙吁烧蝗碧涟苫吵苏截舒冈鲁砂费顷颇忿初株知识的一阶谓词逻辑表示法知识的一阶谓词逻辑表示法 改为修改证明树： （1）用一个重言式来取代目标公式的否定式这个子句，该重言式为~AT（Fido，x）∨AT（Fido，x） （2）按反演树的构造进行归结，给出重言式替代目标否定式子句后的证明树，这时根子句不为空，称这个证明树为修改证明树。 （3）用根部的子句作为回答语句。 枫闯挠扫惑瞎湘业防辽宅挂疫枪橙挫侵窥取摈普咏炭纂狞络烈穴仑拣漳醉知识的一阶谓词逻辑表示法知识的一阶谓词逻辑表示法 修改证明树： 牺实谨遣