算法描述： ①提出要求证的目标（假设） ②检查该目标是否已在数据库中，若在，该目 标成立，成功退出推理或者对下一个假设目 标进行验证，否则转③ ③判断该目标是否是证据，若是，则询问用户， 否则转④ ④在知识库中找出所有能导出该目标的知识， 形成适用知识集KS,然后转下一步⑤ ⑤从KS中选出一条知识，并将知识的适用条件 作为新的假设目标，转②
算法描述: ①提出要求证的目标（假设） ②检查该目标是否已在数据库中，若在，该目 标成立，成功退出推理或者对下一个假设目 标进行验证，否则转③ ③判断该目标是否是证据，若是，则询问用户， 否则转④ ④在知识库中找出所有能导出该目标的知识， 形成适用知识集KS，然后转下一步⑤ ⑤从KS中选出一条知识，并将知识的适用条件 作为新的假设目标，转②
·逆向推理的优点：不必使用与目标无关的知 识，目的性强，便于向用户提供解释。 ·逆向推理的缺点：初始目标的选择有盲目性， 若不符合实际，就要多次提出假设，影响到 系统效率。 (3)混合推理：既具有正向推理又具有逆向推理。 什么时候孺要混合推理 ①已知的事实不充分 ②由正向推理推的结论可信度不高 ③希望得到更多的结论
• 逆向推理的优点：不必使用与目标无关的知 识，目的性强，便于向用户提供解释。 • 逆向推理的缺点：初始目标的选择有盲目性， 若不符合实际，就要多次提出假设，影响到 系统效率。 (3)混合推理：既具有正向推理又具有逆向推理。 什么时候需要混合推理 ①已知的事实不充分 ②由正向推理推的结论可信度不高 ③希望得到更多的结论
开始 开始 正向推理 逆向推理 需要 需要 逆向推理 正向推理 Y Y 输出结果 输出结果 以正向推理所得 结果作为假设进 进行正向推理 行逆向推理 结束 结束 还需要 还需要 N 正向推理 逆向推理 两种推理的示意图
开始 正向推理 需要 逆向推理 以正向推理所得 结果作为假设进 行逆向推理 还需要 正向推理 输出结果 结束 Y Y N N 开始 逆向推理 需要 正向推理 进行正向推理 还需要 逆向推理 输出结果 结束 Y Y N N 两种推理的示意图
(4)双向推理：正向推理与逆向推理同时进行 基本思想：一方面根据已知事实进行正向推理， 但并不推到最终目标；另一方面从某假设目 标出发进行逆向推理，但并不推到原始事实， 而是让它们中途相遇，即由正向推理所得的 中间结论恰好是逆向推理所要求的证据，这 是推理可结束。困难在于‘碰踫头)的判断 (⑤)求解策略：是指推理只有一个解，还是求所 有解以及最优解等 (6)限制策略：为了防止无穷推理过程，以及由 于推理过程太长增加时间及空间的复杂性， 可在控制策略中制定推理的限制条件，以对 推理的深度，宽度，时间，空间等进行限制
(4)双向推理：正向推理与逆向推理同时进行 基本思想：一方面根据已知事实进行正向推理， 但并不推到最终目标；另一方面从某假设目 标出发进行逆向推理，但并不推到原始事实， 而是让它们中途相遇，即由正向推理所得的 中间结论恰好是逆向推理所要求的证据，这 是推理可结束。困难在于‘碰头’的判断 (5)求解策略：是指推理只有一个解，还是求所 有解以及最优解等 (6)限制策略：为了防止无穷推理过程，以及由 于推理过程太长增加时间及空间的复杂性， 可在控制策略中制定推理的限制条件，以对 推理的深度，宽度，时间，空间等进行限制
4模式四配 (1)模式匹配：指对两个知识模式（两个谓词公 式，两个框架片断，两个语义网络片断)的 比较与耦合，如果两者完全一致，或者虽不 完全一致但其相似程度在指定的限度内，称 它们是可匹配的，否则为不可匹配。 (2)确定性匹配：是指两个知识模式完全一致， 或经过变量代换后变得完全一致。 (③)不确定性匹配：指两个知识模式不完全一致， 但从总体上看，它们的相似程度又落在规定 的限度内。 无论是确定性匹配还是不确定性匹配，在进 行四配时都需要进行变量代换
4 模式匹配 (1)模式匹配：指对两个知识模式（两个谓词公 式，两个框架片断，两个语义网络片断）的 比较与耦合，如果两者完全一致，或者虽不 完全一致但其相似程度在指定的限度内，称 它们是可匹配的，否则为不可匹配。 (2)确定性匹配:是指两个知识模式完全一致， 或经过变量代换后变得完全一致。 (3)不确定性匹配：指两个知识模式不完全一致， 但从总体上看，它们的相似程度又落在规定 的限度内。 无论是确定性匹配还是不确定性匹配，在进 行匹配时都需要进行变量代换