产生式系统建立.pptVIP

* * 2、基于规则的向后推理系统（二） B－规则 W=L； L为单一文字； W为任意与或型谓词公式，变元受全称量词约束，变元改名。 复杂规则化为简单规则。 * * 2、基于规则的向后推理系统（三） 推理过程 目标谓词公式的与或图中有一节点标为L’，且可与L合一，则可将规则作用在该与或树上。其结果使在与或树上从L’引出一条匹配弧，连接一个以L为根，表示Wσ的与或图， σ为L与L’的最一般合一。 终止条件 当与或树的一致解树各个叶节点都终止在事实节点时，此产生式系统成功终止。 * * 2、基于规则的向后推理系统（四） 例:基于规则的向后推理系统。 给定事实为: Fido是狗 Fido不会吠叫 Fido会摇尾巴 Myetle会咪咪叫 * * 2、基于规则的向后推理系统（五） 已知规则为 目标：存在猫不怕狗的现象，即 * * 2、基于规则的向后推理系统（六） * * 3、F－系统和B－系统的对比（一） 对比项目 F－系统 B－系统 使用条件 1、事实谓词可为任意形式； 2、规则的形式L=W; 3、目标谓词公式是文字的析取。 1、事实谓词公式是文字的合取式； 2、规则的形式是W=L; 3、目标谓词公式是任意形式。 预处理 用Skolem函数消去事实和规则谓词公式中的存在谓词;略去全称量词。用Skolem函数消去目标谓词公式中的全称量词；略去存在量词。 用Skolem函数消去目标谓词公式中的全称量词；略去存在量词。用Skolem函数消去事实和规则谓词公式中的存在谓词;略去全称量词。 * * 3、F－系统和B－系统的对比（一） 对比项目 F－系统 B－系统 初始数据库 事实谓词公式，用与或树表示 目标谓词公式，用与或树表示 推理过程 事实－目标 匹配时注意：变量代换， 以W代替L 目标－事实 匹配时注意：变量代换， 以W代替L 终止条件 得到目标的一致解树 得到事实的一致解树 子句 文字的析取 文字的合取 子句集 子句的合取 子句的析取 * * 产生式系统的应用实例 基于消解原理的产生式系统 基于自然演绎法的产生式系统 基于专用知识的产生式系统 * * 基于专用知识的产生式系统（一） 例机器人完成食品装袋作业的产生式系统BAGGER。 全局数据库：记录阶段信息（核对订货/大件物品装袋/中 件物品装袋/小件物品装袋/装 袋完毕）； 物品信息； 装袋情况。 * * 基于专用知识的产生式系统（二） 阶段：核对订货 口袋1：空 待装物品 容器 大小 冰冻 数量 面包 塑料袋 中件 非 1 果酱 罐子 小件 非 1 点心 硬纸盒 大件 非 2 冰淇淋 硬纸盒 中件 是 1 炸土豆片 塑料袋 中件 非 1 百事可乐 瓶子 大件 非 1 * * 基于专用知识的产生式系统（三） 规则集 R11：IF核对核对订货阶段，有炸土豆片，无饮料 THEN建议增订一瓶百事可乐 R12：IF核对订货阶段，有面包，无黄油 THEN建议增订一块黄油 R2：IF核对订货阶段 THEN结束核对订货阶段，进入大件物品装袋阶段，并启用口袋 为当前袋 R3：IF大件物品装袋阶段，有瓶子待装，当前袋中大件物品少于6件 THEN把瓶子装入当前袋中 R4：IF大件物品装袋阶段，有大件物品待装，当前袋中大件物品少于6件 THEN把此大件武平转入当前袋中 * * 基于专用知识的产生式系统（四） R5：IF大件物品装袋阶段，有瓶子待装 THEN启用新口袋I＋1为当前袋 R6：IF大件物品装袋阶段 THEN进入中件物品装袋阶段，并启用一空口袋为当前袋。 R7：IF中件物品装袋阶段，有冰冻物品待装，当前袋未满 THEN将此冰冻物品放入冰冻融离袋，然后放入当前袋中 R8：IF中件物品装袋阶段，有中件物品待装，当前袋中未满