人工智能课件第4章.pptVIP

第四章 推理方法 要使计算机具有智能，仅仅使它拥有知识还不够，还必须使其具有运用知识进行推理，实现问题求解的能力。因此有关推理方法的研究是人工智能的重要课题之一。 4.1 推理概述 4.1 推理概述 4.1.1 推理的基本概念 所谓推理是指从已知事实出发，运用已掌握的知识，推导出其中蕴涵的事实性结论或归纳出某些新的结论的过程。 推理过程实际上也就是一个问题求解的过程。 推理概述 4.1.2 推理的方法及其分类 1. 按照推理的逻辑基础分类 （1）演绎推理 演绎推理是从已知的一般性知识出发，推理出适合于某种个别情况的结论的过程。它是一种由一般到个别的推理方法。 例如： A. 音乐系的学生至少会弹奏一种乐器； B. 李聪是音乐系的学生； C. 李聪至少会弹奏一种乐器。 （2）归纳推理 归纳推理是从大量特殊事例出发，归纳出一般性结论的推理过程，是一种由个别到一般的推理方法。其基本思想是：首先从已知事实中猜测出一个结论，然后对这个结论的正确性加以证明确认，数学归纳法就是归纳推理的一种典型例子。 （3）默认推理 默认推理又称缺省推理，是在知识不完全的情况下假设某些已经具备所进行的推理。 2. 按所用知识的确定性分类 （1）确定性推理 （2）不确定性推理 3. 按推理过程的单调性分类 （1）单调推理 所谓单调推理是指在推理过程中，由于新知识的加入和使用，使推理所得到的结论会越来越接近于最终目标，而不会出现反复情况，即不会由于新知识的加入否定了前面推出的结论，从而使推理过程又退回到前面的某一步。 （2）非单调推理 非单调推理则是指在推理过程中，当某些新知识加入后，不但没有加强已经推出的结论，反而会否定原来已推出的结论，使推理过程要退回到先前的某一步，重新进行推理。 4.1.3 推理的控制策略 智能系统的推理过程其实就是问题求解的过程，它不仅依赖于所用的推理方法，同时也依赖于推理的控制策略。推理的控制策略包括推理方向、搜索策略、冲突消解策略、求解策略、限制策略；而推理方法则是推理控制策略确定之后，在进行具体推理时所要采取的匹配方法或不确定性传递算法等方法。 1.正向推理　正向推理又称为正向链接推理，它是一种数据驱动的推理方式，其推理基础是逻辑演绎的推理链，它从一组表示事实的谓词或命题出发，使用一组推理规则，来证明目标谓词公式或命题是否成立。　 正向推理过程的算法描述： （1）把用户提供的初始数据或已知事实放入到综合数据库。 （2）检查综合数据库中是否包含了问题的解，若有，则求解结束，并成功推出；否则执行（3）； （3）检查知识库中是否有与综合数据库中已有事实相匹配的知识，若有，则将所有的匹配知识构成当前匹配知识集，转（4）；否则转（5）； （4）按照某种冲突消解策略，从当前匹配知识集中选出一条知识作为启用知识用于进行推理，并将推出的新事实或证据加入到综合数据库中，然后转（2）； （5）询问用户是否可以进一步补充新的事实或证据，若可补充，则将补充的事实或证据加入综合数据库中，然后转（3）；否则表示无解，失败退出。 4.1.2 推理的冲突消解策略 在利用推理求解问题的过程中，如果综合数据库中的已知事实与知识库中的多条知识相匹配，或者有多个已知事实都可与知识库中的某一条知识相匹配，或者有多个已知事实与知识库中的多条知识相匹配，则称这种情况为知识冲突。此时，需要按照某种策略从这多条匹配的知识中选择一条最佳知识用于推理，这种解决冲突的过程称为冲突消解。 （1）按就近原则排序 （2）按知识特殊性排序 （3）按上下文限制排序 （4）按知识的新鲜性排序 （5）按知识的差异性排序 （6）按领域知识的特点排序 （7）按规则的次序排序 （8）按前提条件的规模排序 4.2 命题逻辑 命题逻辑与谓词逻辑是最先应用于人工智能的两种逻辑，对于知识的形式化表示，特别是定理的自动证明发挥了重要作用，在人工智能的发展史中占有重要地位。 谓词逻辑是在命题逻辑的基础上发展起来的，命题逻辑可看作是谓词逻辑的一种特殊形式，在讨论谓词逻辑之前，先来介绍命题逻辑的基本概念。 4.2.1 命题 定义3.1 能够分辨真假的语句称做命题。 定义3.2 一个语句如果不能再进一步分解成更简单的语句，并且又是一个命题，则称此命题为原子命题。 原子命题是命题中的基本单位。 命题，比如“太阳从东边升起”，“雪是白的” 4.2.2 命题公式 1. 连接词 命题逻辑中，可以通过连接词将一些原子命题连接起来，构成复合命题，以表示复杂的定义。 ～称为“非”或“否定”。 ∨称为 “