点击看大图  
 
--*结论部分是否有等价的，有S，可能有冗余链
--*r1,r2,r3与r4,r5冗余规则链
--*删去r1~r5补IF P THEN S
冗余条件的检测
--*检查两条规则的结论是否等价（THEN--THEN表）
--*两条规则的结论等价而条件部分不等价时，可把其中一条规则条件部分的各个合取项分别变为否定，逐次检测这两个规则条件部分的等价性
若等价，被否定的子条件与在另一条规则中对应的子条件都是冗余条件
例 r1:IF P AND Q THEN R
r2:IF P AND 非Q THEN R
结论等价
把r1中的Q改为非Q，r1与r2等价
r1中的Q与r2中的非Q冗余条件
(3)矛盾规则及矛盾规则链的检测
根据IF--IF表找出两条其条件部分等价的规则，并分别为他们建立一个推理图
遍历这两张推理图，若有一对节点的结论部分是矛盾的，则从这一对节点分别到其根节点所形成的两个推理链是矛盾的。
矛盾规则是矛盾规则链的一种简单情况
(4)从属规则的检测
检查两条规则结论是否等价（IF--IF表)
若等价，检查一条规则的条件部分是否为另一条规则条件部分的一部分，若是，表明存在一条从属规则。
(5)环路的检测
在链中找到了一条规则，其结论与前面某条规则的条件等价，这说明找到了环路。
沿规则链找不到其结论与前面某规则的条件等价的规则，且规则链结束，说明该规则链没有形成环路