3.5 规则演绎系统例如： A B C A C B A B C B A C 都与子句A B C等价。 归结演绎将谓词公式化 为子句集，原来蕴涵在 谓词公式中的一些重要 信息会在求取子句集的 过程中丢失。 但在A B C中， 是根本得不到原逻 辑公式中所蕴涵的 那些超逻辑的含义 的。 多数情况下，人们大 多希望使用那种接近 于原始问题描述的形 式来进行求解，而不 希望把问题描述化为 子句集保留蕴涵式，将其作为推理 规则，用于直接推导目标公 式，不仅符合人的自然思维 方式，也能通过规则（作为 启发式知识）更有效地引导 演绎推理过程。 说明： 其中，If部分可能由几个if组成，而Then部分 可能由一个或一个以上的then组成。 基于规则的问题求解系统运用下述规则： antecedent concequent 有时，then部分用于 规定动作；这时，称 这种基于规则的系统 为反应式系统 (reactionsystem)或 产生式系统 (production system)。 3.5.1 规则正向演绎系统 逆向推理： 正向推理：从事实出发，应用规则不断推导 出中间结果作为新的事实，直至 推导出
