点击看详解  
       
r1:IF P THEN Q(CF1)
r2:IF P THEN Q(CF2)

从属：规则r1与r2有相同的结论，但r1比r2要求更多的约束条件，则称r1是r2的从属规则。
r1:IF P AND Q THEN R
r2:IF Q THEN R
r1从属r2，留那条请专家裁定

 前提与结论相同，但CF1?CF2 规则强度
所以r1与r2矛盾
         
环路：一组规则形成一条循环连时，它们构成一个环路
r1:IF P THEN Q
r2:IF Q THEN R
r3:IF R THEN S
r4:IF S THEN P
不完整：指知识库中的知识不完全，不能满足预先定义的约束条件：推不出结论，推出结论不对
          
环路可使推理陷入死循环
应征求专家意见修改或其中一条规则，破坏环路形成的条件