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 规则正向演绎系统 逆向推理: 正向推理:从事实出发,应用规则不断推导 出中间结果作为新的事实,直至 推导出