华中科技大学人工智能第四章确定性推理解释.ppt

推 理 推理和问题求解是运用知识的两个方面 智能系统的推理过程实际上就是一种思维过程。 按照推理过程所用知识的确定性，推理可分为确定性推理和不确定性推理。 推理是指按照某种策略从巳知事实出发去推出结论的过程 事 实 事实是推理过程中按知识表示方式表示的已知的知识 推理所用的事实可分为两种情况: 与求解问题有关的初始证据． 推理过程中所得到的中间结论。 推理的基本问题 智能系统的推理包括两个基本问题： 一个是推理的方法 一个是推理的控制策略 推理方法主要解决： 在推理过程中前提与结论之间的逻辑关系 在非精确性推理中不确定性的传递问题 推理方法的分类 推理可以有多种不同的分类方法 按照推理的逻辑基础分类： 演绎推理 归纳推理 默认推理 按照所用知识的确定性分类： 确定性推理 不确定性推理 按照推理过程的单调性分类（推理过程所得到的结论是否越来越接近目标）： 单调推理 非单调推理 推理控制策略 推理的控制策略是在推理过程中采用的、解决如何使用领域知识使推理过程尽快达到目标的策略。 推理控制策略分类 智能系统的推理过程一般表现为一种搜索过程，因此，推理的控制策略又可分为推理策略和搜索策略。 推理策略主要解决推理方向、冲突消解等问题。 搜索策略主要解决推理线路、推理效果、推理效率等问题。 推理方向 推理方向确定推理过程是从初始证据开始到目标，还是从目标开始到初始证据。按照对推理方向的控制，推理可分为正向推理、逆向推理、混合推理及双向推理四种情况。 正向推理 正向推理是一种从已知事实出发、正向使用推理规则的推理方式，亦称为数据驱动推理。 基本思想是： 用户需要事先提供一组初始证据，并将其放入综合数据库。 推理机根据综合数据库中的已有事实，到知识库中寻找当前可用知识，形成一个当前可用知识集。 按照冲突消解策略，从该知识集中选择一条知识进行推理，并将新推出的事实加入综合数据库，作为后面继续推理时可用的巳知事实， 重复这一过程，直到求出所需要的解或者知识库中再无可用知识为止 逆向推理 逆向推理是一种从以某个假设目标作为出发点的推理方法，亦称为目标驱动推理 基本思想是： 将要求证的目标(称为假设)构成一个假设集。 取一个假设对其进行验证， 若在综合数据库里，则假设成立 若能被用户认定为事实，则假设成立，并放入综合数据库 若可由知识库中的一个或多个知识导出，则这些知识构成可用知识集。按照冲突消解策略，从该知识集中选择一条知识，将其前提中的所有子条件作为新的假设加入假设集。 重复这一过程，直到假设集为空或假设集非空但可用知识集空为止 混合推理 正向推理和逆向推理都有各自的优缺点。当问题较复杂时，单独使用其中哪一种，都会影响到推理效率。 为了取长补短．可将它们结合起来使用。 这种把正向推理和逆向推理结合起来所进行的推理称为混合推理。 混合推理的实现方法 混合推理可有多种具体的实现方法 先正向推理，后逆向推理的方法 先逆向推理，后正向推理的方法 采用随机选择正向和逆向推理的方法（双向混合推理） 混合推理的适用场合 已知事实不够充分。 由正向推理推出的结论可信度不高 希望得出更多的结论 希望从正反两个方向同时进行推理 冲突消解策略 冲突消解策略是指当推理过程有多条知识可用时，如何从这多条可用知识中选出一条最佳知识用于推理的策略。 冲突消解的基本思想是对可用知识进行排序。 常用的冲突消解策略有： 特殊知识优先 新鲜知识优先 差异性大的知识优先 领域特点知识优先 上下文关系知识优先 前提条件少的知识优先 自然演绎推理 自然演绎推理在前一章已经介绍过 自然演绎推理的优点是定理证明过程自然，易于理解，并且有丰富的推理规则可用。 其主要缺点是容易产生知识爆炸，推理过程中得到的中间结论一般按指数规律递增，对于复杂问题的推理不利，甚至难以实现。 因此，提出了归结演绎推理 归结演绎推理 归结演绎推理是一种基于归结原理的推理方法。 归结原理亦称消解原理，是鲁宾逊1965年提出的 归结演绎推理实际上是一种“反正法”。 推理就是要对前提P和结论Q，证明P ? Q永真。 这就要证明P ? Q在任何一个非空的个体域上都是永真的。这将是非常困难的，甚至是不可实现的。 而用反证法，只要能够证明～(P ? Q)是不可满足的。 子句和子句集 原子公式和原子公式的否定称为文字 文字的析取构成的公式称为子句 不包含任何文字的子句称为空了句。 空子句不包含任何文字，因此，不能被任何指派所满足， 所以空子句是不可满足的 子句集中的子句之间是合取关系 含空子句的子句集也就一定是不可满足的。 谓词公式转化为子句集 消去蕴涵符号： ～ P∨Q取代P→Q 减少否定符号的管辖域 对变量标准化 消去存在量词 化为前束形 化为合取范式： 如：PΛ(P∨Q）Λ(～P∨Q） 消去全称量词 获得子