1.定义
    基于规则的逆向演绎系统,是从目标到事实的操作过程,即从then到if的推理过程。 本文来自www.eadianqi.com

2.逆向推理过程
    (1) 目标表达式的与或形
    逆向演绎系统能够处理任意形式的目标表达式。首先,采用与变换事实表达式同样的过程,把目标公式化成与或形。
    (2) 与或图的B规则变换
    B规则是建立在确定的蕴涵式基础上的,正如正向系统的F规则一样。不过,我们现在把这些B规则限制为
        W=>L
形式的表达式。其中,W为任一与或形公式,L为文字,而且蕴涵式中任何变量的量词辖域为整个蕴涵式。
    (3) 作为终止条件的事实节点的一致解图
    逆向系统成功的终止条件是与或图包含有某个终止在事实节点上的一致解图。