(2)产生问题后的表现 ·知识冗余：指知识库中存在多余的知识或存在 多余的约束条件 -等价规则：r1:IF P AND Q THEN R r2:IF Q AND P THEN R r1与r有一条是多余的，应从知识库中删去 一冗余规则链：两条规则链中第一条规则的条 件相同，且最后一条规则的结论等价 例： r1:IF P THEN Q r2:IF Q THEN R r3:IF P THEN S r4:IF S THEN R
(2)产生问题后的表现 • 知识冗余：指知识库中存在多余的知识或存在 多余的约束条件 –等价规则：r1:IF P AND Q THEN R r2:IF Q AND P THEN R r1与r2有一条是多余的，应从知识库中删去 –冗余规则链：两条规则链中第一条规则的条 件相同，且最后一条规则的结论等价 例： r1:IF P THEN Q r2:IF Q THEN R r3:IF P THEN S r4:IF S THEN R
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
例 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,则两条链矛盾