《3第一章产生式系统.pptVIP

M-C问题（另一种表示） 4，规则集： IF (m, c, 1) AND 1 ≤i+j≤2 THEN (m-i, c-j, 0) IF (m, c, 0) AND 1 ≤i+j≤2 THEN (m+i, c+j, 1) Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 产生式系统的推理方式 正向推理 从已知事实出发，通过规则库求得结论，也称为自底向上（bottom-up），或称为数据驱动方式。 已知事实A，规则库中规则A ? B，B ? C，C ? D，则正向推理过程表示为： A ? B? C? D 反向推理 从目标出发，反向使用规则，求得已知事实，也称为自顶向下（top-down）推理方式，或称目标驱动方式。 双向推理（正反向推理） 是既自顶向下（top-down）又自底向上（bottom-up），直到达到某一个中间环节两个方向的结果相符便成功结束的推理方式。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 正向推理步骤 1、正向推理步骤 读入初始数据（事实）集到工作存储器,待测试规则表清空 寻找与初始事实相匹配的规则。取出规则，将规则的全部前件与工作器中所有的事实比较。如匹配成功，将规则加入冲突集；如冲突集为空，转向（3）；否则冲突消解；将所选择的规则的结论加入工作存储器；如达到目标结点转向（3）；否则返回（2）。 结束 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 举例说明 以植物分类系统为例，对各种植物构造一条识别规则，规则左部为该植物的特征，右部为识别出的植物名。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. R1：IF 它种子的胚有两个叶子OR 它的叶脉为网状 THEN 它为双子叶植物 R2：IF 它种子的胚有一个子叶，THEN 它为单子叶植物 R3：IF 它的叶脉平行，THEN 它为单子叶植物 R4：IF它是双子叶植物AND 它的花托呈杯形OR 它是双子叶植物AND 它的花为两性AND它的花瓣有5枚 THEN它为蔷薇科植物 R5：IF 它为蔷薇科植物AND 它的果实为核果 THEN它为李亚科植物 R6：IF 它为蔷薇科植物AND 它的果实为梨果 THEN它为苹果亚科植物 R7：IF 它为李亚科植物AND它的果实上有毛 THEN他是桃 R8：IF 它为李亚科植物AND它的果皮光滑 THEN他是李 R9：IF 它的果实为扁圆形AND它的果实外有纵沟 THEN 它是桃 R10：IF它是苹果亚科植物AND它的果实里无石细胞 THEN它是苹果 R11：IF它是苹果亚科植物AND它的果实里有石细胞 THEN它是梨 R12：IF它的果肉为乳黄色AND它的果肉质脆 THEN它是苹果 R1：IF 它种子的胚有两个叶子OR 它的叶脉为网状 THEN 它为双子叶植物 R2：IF 它种子的胚有一个子叶，THEN 它为单子叶植物 R3：IF 它的叶脉平行，THEN 它为单子叶植物 R4：IF它是双子叶植物AND 它的花托呈杯形OR 它是双子叶植物AND 它的花为两性AND它的花瓣有5枚 THEN它为蔷薇科植物 R5：IF 它为蔷薇科植物AND 它的果实为核果 THEN它为李亚科植物 R6：IF 它为蔷薇科植物AND 它的果实为梨果 THEN它为苹果亚科植物 R7：IF 它为李亚科植物AND它的果实上有毛 THEN他是桃 R8：IF 它为李亚科植物AND它的果皮光滑 THEN他是李 R9：IF 它的果实为扁圆形AND它的果实外有纵沟 THEN 它是桃 R10：IF它是苹果亚科植物A