1、问题求解的基本方法-基于规则的演绎推理 2四 基于规则的演绎推理 基于归结的演绎推理提供了一种简单易行的方法去实现问题求解，只要将问题求解的依据（事实或公式）和目标以合适公式加以形式化描述，就可交由归结反演系统和问答系统执行 3归结演绎技术存在严重的缺点：（ 1）必须将合适公式标准化为高度统一的子句集，从而丢失 了隐含于合适公式的 启发式 知识（ 2）归结演绎并非人类的 自然思维 方式，不利于人们从自然思维的角度组织问题的求解和提供问题求解所需的知识，从而难以建立高水平的问题求解系统，如专家系统 4基于规则的演绎推理 保留蕴涵式 ，将其作为推理规则用于直接推导目标公式，不仅符合人的自然思维方式
2、，也能通过规则 (作为启发式知识 )更有效地引导演绎推理过程。 所以，基于规则的演绎推理成为比归结反演 更有效 的技术，广泛地应用于许多问题求解任务中。 5规则演绎将求解问题所需的知识分为二类：规则和事实。规则表示为 蕴涵式 ，作为启发式知识（表示应用领域中存在的规律和法则），引导演绎推理过程。事实则表示为 非蕴涵形式 的合适公式，作为应用规则进行推理时参考的有关问题状态和环境的知识。规则演绎的任务就是从给定的事实（即问题的状态和环境知识）和规则，证明某个目标公式成立 6基于规则的演绎推理可以区分为二大类： 正向演绎 和 逆向演绎 。 正向演绎从事实出发，应用规则不断推导出中间结果作为新的事实
3、，直至推导出目标公式 逆向演绎则从目标公式出发，逆向应用规则不断推导出子目标，直至所有子目标就是给定的事实为止。换言之，目标公式通过逆向推理找到了支持其成立的所有依据 7基于规则的正向演绎推理正向演绎推理要求将问题求解的描述分为三个部分： 事实、规则集和目标 。为便于演绎推理，需要将表示它们的合适公式简化为下述标准形式，并加以适当限制。1 问题求解的规范表示（ 1）事实不需要化简为子句集，只需规范的表示为不含蕴涵符号的文字与或形。例如事实表达式： 8先化简成：再对顶层合取式的各项做换名处理，类似子句集的换名： 9事实表达式的文字与或形可以用与或图表示，两者的对应关系如下： 若母式为析取式： 则以一个 K-连接指向各析取项 E 若母式为合取式：则以 K个 1-连接指向各合取项 E 10
