《人工智能》第三章__确定性推理.pptxVIP

Powerpoint人 工 智 能教材： 蔡自兴等《人工智能及其应用》（第4版） 第 3 章 确定性推理方法3.1 推理的基本概念 3.2 自然演绎推理 3.3 谓词公式化为子句集的方法3.4 鲁宾逊归结原理3.5 归结反演3.6 应用归结反演求解问题 3.7 盲目搜索3.8 产生式系统3.9 启发式搜索3.10 非单调推理3.11 消解原理归结演绎推理前面讨论了把知识用某种模式表示出来存储到计算机中去。但是，为使计算机具有智能，还必须使它具有思维能力。推理是求解问题的一种重要方法。因此，推理方法成为人工智能的一个重要研究课题。下面首先讨论关于推理的基本概念，然后着重介绍鲁宾逊归结原理及其在机器定理证明和问题求解中的应用。鲁宾逊归结原理使定理证明能够在计算机上实现。第3章 确定性推理方法3.1 推理的基本概念 3.2 自然演绎推理 3.3 谓词公式化为子句集的方法3.4 鲁宾逊归结原理3.5 归结反演3.6 应用归结反演求解问题 3.7 盲目搜索3.8 产生式系统3.9 启发式搜索3.10 非单调推理3.11 消解原理归结演绎推理3.1 推理的基本概念3.1.1 推理的定义3.1.2 推理方式及其分类3.1.3 推理的方向3.1.4 冲突消解策略医疗专家系统某种策略3.1.1 推理的定义推理：3.1 推理的基本概念3.1.1 推理的定义3.1.2 推理方式及其分类3.1.3 推理的方向3.1.4 冲突消解策略3.1.2 推理方式及其分类 演绎推理、归纳推理、默认推理（1）演绎推理 (deductive reasoning) :一般→ 个别 三段论式（三段论法） 足球运动员的身体都是强壮的 ； 高波是一名足球运动员； 所以，高波的身体是强壮的。（ 大前提 ）（ 小前提 ）（ 结 论 ）（2）归纳推理 (inductive reasoning): 个别 → 一般 完全归纳推理（必然性推理） 不完全归纳推理（非必然性推理）3.1.2 推理方式及其分类 演绎推理、归纳推理、默认推理完全归纳推理该厂产品合格检查全部产品合格不完全归纳推理该厂产品合格检查全部样品合格 A 成立 B 成立？（默认B成立） 制造鸟笼 鸟会飞？（默认成立）鸟笼要有盖子结 论3.1.2 推理方式及其分类 演绎推理、归纳推理、默认推理（3）默认推理（default reasoning，缺省推理） 知识不完全的情况下假设某些条件已经具备所进行的推理。 （概率论）似然推理不确定性推理近似推理或模糊推理（模糊逻辑）3.1.2 推理方式及其分类 2. 确定性推理、不确定性推理（1）确定性推理：推理时所用的知识与证据都是确定的，推出的结论也是确定的，其真值或者为真或者为假。 （2）不确定性推理：推理时所用的知识与证据不都是确定的，推出的结论也是不确定的。X：不会飞X：企鹅3.1.2 推理方式及其分类 3. 单调推理、非单调推理 （1）单调推理：随着推理向前推进及新知识的加入，推出的结论越来越接近最终目标。 （2）非单调推理：由于新知识的加入，不仅没有加强已推出的结论，反而要否定它，使推理退回到前面的某一步，重新开始。 基于经典逻辑的演绎推理 默认推理是非单调推理X：鸟→ X：会飞→ X: 企鹅 3.1.2 推理方式及其分类4．启发式推理、非启发式推理 启发性知识：与问题有关且能加快推理过程、提高搜索效率的知识。 目标：在脑膜炎、肺炎、流感中选择一个 产生式规则 r1：脑膜炎 r2：肺 炎 r3：流 感 启发式知识：“脑膜炎危险”、“目前正在盛行流感”。3.1 推理的基本概念3.1.1 推理的定义3.1.2 推理方式及其分类3.1.3 推理的方向3.1.4 冲突消解策略3.1.3 推理的方向3.1.3 推理的方向1. 正向推理 正向推理（事实驱动推理）: 已知事实 → 结论 基本思想（1）从初始已知事实出发，在知识库KB中找出当前可适用的知识，构成可适用知识集KS。（2）按某种冲突消解策略从KS中选出一条知识进行推理，并将推出的新事实加入到数据库DB中作为下一步推理的已知事实，再在KB中选取可适用知识构成KS 。（3）重复（2），直到求得问题的解或KB中再无可适用的知识。3.1.3 推理的方向1. 正向推理 实现正向推理需要解决的问题： 确定匹配（知识与已知事实）的方法。 按什么策略搜索知识库。 冲突消解策略。 正向推理简单，易实现，但目的性不强，效率低。3.1.3 推理的方向2. 逆向推理 逆向推理（目标驱动推理）：以某个假设目标作为出发点。 基本思想： 选定一个假设目标。 寻找支持该假设的证据，若所需的证据都能找到，则原假设成立；若无论