1.基于规则的正向演绎系统和逆向演绎系统的特点和局限性
    正向演绎系统能够处理任意形式的if表达式,但被限制在then表达式为析取式。逆向演绎系统能够处理任意形式的then表达式,但被限制在if表达式为合取式。双向组合演绎系统具有正向和逆向两系统的优点,克服各自的缺点。

本文来自www.eadianqi.com

2.双向(正向和逆向)组合演绎系统的构成
    正向和逆向组合系统是建立在两个系统相结合的基础上的。此组合系统的总数据库由表示目标和表示事实的两个与或图结构组成,并分别用F规则和B规则来修正。 本文来自www.eadianqi.com

3.终止条件
    组合演绎系统的主要复杂之处在于其终止条件,终止涉及两个图结构之间的适当交接处。当用F规则和B规则对图进行扩展之后,匹配就可以出现在任何文字节点上。
    在完成两个图间的所有可能匹配之后,目标图中根节点上的表达式是否已经根据事实图中根节点上的表达式和规则得到证明的问题仍然需要判定。只有当求得这样的一个证明时,证明过程才算成功地终止。若能够断定在给定方法限度内找不到证明时过程则以失败告终。

本文来自www.eadianqi.com