专家系统推理机核心设计.pdfVIP

L 中国高靳技术企业 专家 系统 推理 机 核 心设 计 ◇文 ／崔萌 推理指从 已知事实 出发 ，运用 已经掌握 的知识 ，推导 出其 中蕴 作为启用知识进行推理 ，并将推 出的事实加入动态数据库 。作为后 涵 的事实性结论或归纳 出某些新 的结论 的过程 。其 中，推理所用 的 面继续推理时可用 的己知事实 。重复这一推理过程 ．直 到 目标 出现 事实分为两种情况 ．一种情况是求解 问题 的初始证据；另一种情况是 或知识库 中再无可用的知识为止 。 推理过程 中所得到 的中间结论 ．这些 中间结论可 以作为进一步推理 四、正 向推理算法描述 的己知事实或证据 。 ①把用户提供 的初始证据或已知事实放入动态数据库。 一 、 关于推理 的几个概念 ②检查动态数据库中是否包含 了问题的解，若有 ，则求解结束并 1演绎 推 理 成功结束：若无 ，执行第③ 步。 从 已知 的一般性知识 出发 ．推理 出适合于某种个别情况 的结论 ③检查知识库 中是否有与动态数据库 中己有事实相 匹配的知 的过程为演绎推理 ．它是一种 由一般到个别 的推理方法 。最常用 的 识 ，若有 ，则将所有 的匹配知识构成当前 匹配知识集 ，转第④步 ，否 演绎推理形式是三段论式 ，“大前提 ，小前提 ，结论 ”。 则转第⑤步 。 2归 纳推 理 ④按照事先设定的冲突消解策略 ，从当前匹配知识集中选出一 从大量特殊事例 出发 ．归纳 出一般性结论 的推理过程为归纳推 条知识作为启用知识用 于推理 ．并把推 出的新事实或证据加入动态 理 ．它是一种 由个别到一般 的推理方法 。归纳推理 的基本思想是 ：从 数据库 ．然后转第② 步 。 己知事实中猜测某个结论 。然后对该结论的正确性加 以证 明，比如 ， ⑤询问用户是否可以进一步补充新的事实或证据 ，若可以补充 ． 数学 归纳法 则将补充的新事实或证据加入动态数据库 ，然后转第③步：否则 ，表 3默 认推 理 示 无解 ，失败退 出 。 默认推理又称省缺推理 ．指事实条件不完备 的情况下 ，假定某 正 向推理 的优 点是推理直观 ，允许用户主动提供有用 的事实：缺 些条件 的成立 ．在此基础上进行推理 的过程 。在推理过程 中，如果新 点是推理无 目标性 ，可能会执行与 目标无关 的步骤 ，因而效率低 。 的事实加入或推理过程 的中间结果导致 出现矛盾 ，说明假设 的条件 五 、反 向推理 不成立 ．应放弃 已经完成 的推理步骤 ．从新开始推理 。默认推理可能 反 向推理是一种 以某个假设 目标为 出发点 ，反 向运用推理规则 是无效推理 ．但它解决了在事实不完备情况下 的推理 问题 。 的推理方式 ，它是一种 目标驱动的推理方式．又称反项链推理或 自 4确 定性 推 理 顶 向下推理 。反 向运用推理规则指在进行推理 时，用事实数据库 中 指推理使用的证据 、知识及推 出的结论都是可 以精确表达 的， 的己知事实 (实际就是假设的 目标或推 出的子 目标1与知识库 中知识 其真值要么为真 ，要么为假 ，不会 出现第三种情况 。 的结论部分 (或规则后件)进行匹配，选择可用的知识或规则。 5不确 定性 推 理 反 向推理的基本思想是：首先根据 问题求解 的要求，将需要求证 指推理使用 的证据 、知识不全是确定 的，推 出的结论也不完全 的 目标 (假设)构成一个假设集 ，然后从假设集 中取出一个假