第三章 演绎推理 第二节 基于规则的演绎系统

第二节 基于规则的演绎系统 归结推理方法可以机械地用计算机推理和定理证明，缺点：①推理效率低，②化为子句时，可能丢失原蕴涵形表达式中的控制信息。如： 7A(BC) (7A 7B(A