Q只在r2的前提条件中出现，r1和r2是冗余规则 S只在r4的前提条件中出现，r3和r4是冗余规则 除r2与r4外，Q与S同时都不在别的规则前提条件 中出现，则r1至r4都是冗余规则 R 用IF P THEN R代替 上述四条规则 一冗余条件：如果两条规则有相同的结论，但 一条规则中的某个子条件在另一条规则的前提 条件中被否定，而其它子条件保持一致，则称 这两条规则具有多余的条件 Q只在r2的前提条件中出现，r1和r2是冗余规则 S只在r4的前提条件中出现，r3和r4是冗余规则 除r2与r4外，Q与S同时都不在别的规则前提条件 中出现，则r1至r4都是冗余规则 Q P R 用 IF P THEN R 代替 S 上述四条规则 –冗余条件：如果两条规则有相同的结论，但 一条规则中的某个子条件在另一条规则的前提 条件中被否定，而其它子条件保持一致，则称 这两条规则具有多余的条件 r1 r2 r3 r4