返回主页

             逆向演绎系统 　

      逆向演绎系统是正向演绎系统的对偶形式。我们称正向演绎系统中的规则为F规则，称逆向系统中的规则为B规则，逆向系统从目标表达式出发，逆向应用规则，直到事实表达式。

    有前面的正向演绎系统作为基础，这里我们只花一个课时的时间来分以下几块讨论逆向演绎系统。

   （1）目标表达式

   （2）规则应用与结束条件

   （3）控制策略

        我们将通过一个实例来学习控制策略