产生式规则推理过程 模式匹配 竞争消除 执行操作 ↓ 将数据库中 当符合条件的规则 的数据与知 数大于1时 识库中的规 解决方案一：根据 则的前提进 一定的准则，从所 根据推理的 行匹配，如 有的触发规则中选 结论进行操 果完全匹配 择1条规则，作为 作，并更新 或足够近似 启用规则； 数据库的 匹配，则把 方案二：根据所有 内容 这条规则标 触发规则的结论进 记为触发规 行综合，以获得 则 个最终的结论
正向推理 从已知事实出发，逐步推导出最后结果 推理过程 用数据库的事实与规则库的规则前提条件进行 匹配 按冲突消解策略从匹配的规则中选择一条规则 执行选中规则的动作（依次）。不断获得中间 结果 将中间结果作为新的前提，重复上述工作，不 再得出结果或产生新的结果为止 事实驱动方式
数据库 的事实 规则库 格式匹配 N=1 N>1 触发规则 竞争消解 执行操作 是否产生 否 新前提 结束 是
N>1 否 N=1 是 数据库 的事实 规则库
反向推理 先提出假设，然后验证这些假设的真假姓，找 葛發成立的所有证据或重实 推理过程 在知识库中寻找结论和假设目标一致的规则 将所有规则的前提作为新的子目标假设 执行选中规则的动作（依次）。不断获得中间 结果 重复上述工作，直到假设与事实匹配或不存在 新的激活规则 目标驱动方式
推理策略的选择 推理目标推理过程 如果目标是从一组给定事实出发，找出 所有可能的结论，可使用正向推理。 例如：疾病的诊断 如果目标是证实或否定某一结论，那么 通常使用反向推理。 例如：电路的设计 搜索空间的形状 事实较少，正向推理 结论较少，反向推理