正向演绎系统

    上面所讲的归结反演系统把所有的表达式都转换为子句形式，这样做虽然在逻辑上是等价的，但也丧失了很多有用的信息。例如与在逻辑上是等价的，但它们所表达的信息是不同的。另外，把一个表达式分解成若干个子句也降低了求解效率。

    本节的方法尽量采用表达式原来的形式，将有关问题的知识和信息划分成规则与事实两种类型。规则由包含蕴含形式的表达式表示，事实由无蕴含形式的表达式表示。这种推理系统称为直接系统，也称为基于规则的演绎系统。

    现在我们先来介绍正向演绎系统。用两个课时的时间分以下四个部分：

   （1）事实表达式

   （2）利用规则转换与或图

   （3）利用目标公式作结束条件

   （4）含有变量的情况