第四章产生式系统.pptVIP

规则的匹配（规则的触发，变量的绑定–Bounding）；规则的选择（规则的选择，冲突解决策略）；规则的应用（规则的执行：演绎–加入新断言，反应–执行规定操作）规则推理的不确定性（不确定性推理）规则推理的方向（正向推理–数据驱动，逆向推理–目标驱动）；规则应用的解释（解释问题类型：How,Why）；记录问题求解过程中规则的应用顺序（输出：解径、解图）；控制系统运行的终止（正常终止，非正常终止）。产生式系统推理机的实现技术第30页，共57页，星期日，2025年，2月5日正向推理的产生式系统例：当前事实库： {A}；目标：G 规则集： {R1:ifAthenBandC, R2:ifBthenD,……} 推理后事实库：{A,B,C}；{A,B,C,D}；…；{…，G}特点： 数据驱动。规则形式：前件-后件操作： 用已知事实去匹配规则的前件，正向地运用规则， 求证目标成立的过程。概念： 被正向使用的规则称为F规则。第31页，共57页，星期日，2025年，2月5日正向推理的产生式系统实例（1）动物识别产生式系统:G=“A是猎豹？”已有知识（规则库）：R1：IFX是食肉动物∧X毛发是深褐色∧X有花斑点 THENX是猎豹。R2：IF(X是哺乳动物)∨(X食肉)∨(X有尖利的牙齿∧X有爪子∧X有前视眼)THENX是食肉动物。R3：IFX有毛发THENX是哺乳动物已知事实（事实库）： A有毛发；A有尖利的牙齿；A有爪子；A有前视眼；A毛发是深褐色；A有花斑点；第32页，共57页，星期日，2025年，2月5日猎豹深褐色毛发有花斑点食肉动物食肉哺乳动物外形特征有毛发尖利的牙齿有爪子前视眼R3R2R1深褐色毛发有花斑点有毛发尖利的牙齿有爪子前视眼推理方向：事实?结论正向推理的产生式系统实例（1）第33页，共57页，星期日，2025年，2月5日正向推理的产生式系统算法中的符号：DB:存放事实和中间结果的事实库；KB:存放知识的规则库；RS:当前所有触发规则构成的冲突集合。第34页，共57页，星期日，2025年，2月5日正向推理的产生式系统初始事实放入事实库DBDB中有目标？KB中有前件为DB满足的规则？匹配，将所有触发规则放入冲突集RSRS为空？成功，退出失败，退出用户要补充新事实？新事实加入事实库DB是否是是否是否否第35页，共57页，星期日，2025年，2月5日正向推理的产生式系统按规定的冲突解决策略从RS中选择一条规则执行。执行结果加入事实库DBAB第36页，共57页，星期日，2025年，2月5日逆向推理的产生式系统例：假设待证目标： {G}；事实证据库：{} 规则集： {R1:ifBandCthenG, R2:ifDthenB,……} 推理后事实证据库：{B,C}；{C,D}；……特点： 目标驱动：规则形式：前件-后件操作： 用假设的待证目标去匹配规则的后件，逆向地运用规则， 求证所有支持目标所需的前提条件均成立的过程。概念：被逆向使用的规则称为B规则。第37页，共57页，星期日，2025年，2月5日逆向推理的产生式系统实例（1）动物识别产生式系统:G=“A是猎豹？”已有知识（规则库）：R1：IFX是食肉动物∧X毛发是深褐色∧X有花斑点 THENX是猎豹。R2：IF(X是哺乳动物)∨(X食肉)∨(X有尖利的牙齿∧X有爪子∧X有前视眼)THENX是食肉动物。R3：IFX有毛发THENX是哺乳动物已知事实（事实库）： A有毛发；A有尖利的牙齿；A有爪子；A有前视眼；