例 r1:IF P AND Q THEN R r2:IF P ANDQ THEN R Q与一Q都是多余的，规则库中删去r1、r2,补 IF P THEN R ·矛盾：两条产生式规则或规则链在相同条件下得到 的结论互斥，或它们虽有相同的结论，但规则强度 不同。 例r1:IF P THEN Q1 若Q1=一Q2, r2:IF P THEN Q2∫则r1与r2矛盾 r1:IF P THEN Q r2:IF Q THEN R r3:IF R THEN S1 r4:IF P THEN T 规则链初始条件P r5:IF T THEN S2 若S1=S2,则两条链矛盾例 r1:IF P AND Q THEN R r2:IF P AND Q THEN R Q与Q都是多余的，规则库中删去r1、r2，补 IF P THEN R • 矛盾：两条产生式规则或规则链在相同条件下得到 的结论互斥，或它们虽有相同的结论，但规则强度 不同。 例 r1:IF P THEN Q1 若Q1=Q2, r2:IF P THEN Q2 则r1与r2矛盾 r1:IF P THEN Q r2:IF Q THEN R r3:IF R THEN S1 r4:IF P THEN T r5:IF T THEN S2 规则链初始条件P 若S1=S2,则两条链矛盾