例A A,A-→C→>C B B,C→B∧C A-→C B∧C,B∧C→D=→D B∧C→D D,D-→Q=→Q D-→Q Q为真 ·优点：表达事理证明过程自然，容易证明， 有丰实的推理规则，推理过程灵活，便于 在它的推理规则中嵌入领域启发式知识 ·缺点：容易产生组合爆炸 例 A A,A→CC B B,CB∧C A→C B∧C,B∧C→DD B∧C→D D,D→QQ D→Q Q为真 • 优点：表达事理证明过程自然，容易证明， 有丰实的推理规则，推理过程灵活，便于 在它的推理规则中嵌入领域启发式知识 • 缺点：容易产生组合爆炸