第四章 ai确定性推理技术oommtt.docVIP

第四章 确定性推理 北京师范大学信息科学与技术学院 樊亚春 确定性推理 推理概述 命题逻辑 谓词逻辑 自然演绎推理 归结推理方法 归结过程中的控制策略 推理概述 推理的基本概念 推理：是指从已知事实出发，运用已经掌握的知识，推导出其中蕴含的事实性结论或者归纳出某些新的结论的过程。 推理中的知识： 与求解问题相关的初始证据 在推理过程中得到的中间结论 推理系统:推理机，综合数据库和知识库 综合数据库：存放用于推理的事实和证据 知识库：存放用于进行推理所必需的知识 推理的方法及其分类： 1. 按照推理的逻辑基础分类 可分为演绎推理、归纳推理和默认推理。 （1）演绎推理 演绎推理是从已知的一般性知识出发，推理出适合于某种个别情况的结论的过程。它是一种由一般到个别的推理方法。 推理概述 （2）归纳推理 归纳推理是从大量特殊事例出发，归纳出一般性结论的推理过程，是一种由个别到一般的推理方法。 基本思想是：首先从已知事实中猜测出一个结论，然后对这个结论的正确性加以证明确认，数学归纳法就是归纳推理的一种典型例子。 推理概述 （3）默认推理 默认推理又称缺省推理，是在知识不完全的情况下假设某些条件已经具备所进行的推理。也就是说，在进行推理时，如果对某些证据不能证明其不成立的情况下，先假设它是成立的，并将它作为推理的依据进行推理，但在推理过程中，当由于新知识的加入或由于所推出的中间结论与已有知识发生矛盾时，就说明前面的有关证据的假设是不正确，这时就要撤消原来的假设以及由此假设所推出的所有结论，重新按新情况进行推理 推理概述 2. 按所用知识的确定性分类 按推理时所用知识的确定性来划分，推理可分为确定性推理、不确定性推理。 3. 按推理过程的单调性 按照推理过程中所推出的结论是否单调地增加，或者说按照推理过程所得到的结论是否越来越接近最终目标来分类，推理可分为单调推理与非单调推理。 推理概述 推理的控制策略 智能系统的推理过程其实就是问题求解的过程，它不仅依赖于所用的推理方法，同时也依赖于推理的控制策略。 推理方向 冲突消解策略 搜索策略 推理方向-正向推理 定义 正向推理是一种从已知事实出发、正向使用推理规则的推理方式，也称为数据驱动推理或者前向链推理。 正向推理过程可用如下算法描述 把用户提供的初始证据放入综合数据库 检查综合数据库中是否包含了问题的解，若已包含，则求解结束并成功退出；否则，执行下一步。 检查知识库中是否有可用的知识，若有则形成当前可用的知识集合，执行下一步；否则转5 按照某种冲突消解策略，从当前的知识集合中选出一条知识进行推理，并将推出的新事实加入到综合数据库中，然后转2 询问用户是否可以进一步补充事实，若可以补充，则将补充的事实加入到综合数据库中，然后转3；否则无解，失败退出。 推理方向-逆向推理 定义： 逆向推理是以某个假设目标为出发点，反向使用推理规则的推理方式，也称为目标驱动推理或者逆向链推理。 逆向推理过程的算法描述 将问题的初始证据和要求证的目标分别放入综合数据库和假设集合 从假设集合中选出一个假设，检查该假设是否在综合数据库中。若在，则假设成立。此时若假设集合为空，则成功退出；否则仍然执行2，若假设不在数据库中，则执行下一步。 检查该假设是否可由知识库中的某个知识导出。若不能由某个知识导出，则询问用户该假设是否为可由用户证实的原始事实。若是，则该假设成立，并将其放入到综合数据库中，再重新寻找新的假设；若不是，则转5 。若能由某个知识导出，则执行下一步 将知识库中所有与假设相匹配的知识组成一个匹配知识集。 检查可用知识集合是否为空，若空则失败推出，否则执行下一步； 按照冲突消解策略从可用知识集合中取出一个知识，继续执行下一步。 将该知识的前提中的每一个子条件都作为新的假设放入假设集合，转2。 命题逻辑 命题逻辑与谓词逻辑是最先应用于人工智能的两种逻辑。 谓词逻辑是在命题逻辑的基础上发展起来的，命题逻辑可看做是谓词逻辑的一种特殊形式。 命题：能够分辨真假的语句称作命题。 原子命题：一个语句如果不能再进一步分解成更简单的语句，并且又是一个命题，则称此命题为原子命题。 原子命题是命题中最基本的单位。我们一般用P、Q、R、…大写拉丁字母表示命题，而命题的真与假分别用“T”与“F”表示。 用大写英文字母表示的命题既可以是一个特定的命题，也可以是一个抽象的命题。前者称为命题常量，后者称为命题变量。对于命题变量而言，只有把确定的命题代入后，它才可能有明确的逻辑值（T或F）。 命题逻辑 命题公式： 1. 连接词 ～：称为“非”或“否定”。 ∨：称为“析取”。 ∧：称为“合取”。