人工智能基础04--推理技术.ppt

目录 第一章　绪论 第二章　知识表示 第三章　搜索技术 第四章　推理技术 第五章　机器学习 第六章　专家系统 第七章　自动规划系统 第八章 自然语言理解 第九章 智能控制 第十章 人工智能程序设计 4.0 推理的基本概念 4.0 推理的基本概念 4.0 推理的基本概念 4.0 推理的基本概念 4.0 推理的基本概念 4.0 推理的基本概念 4.0 推理的基本概念 4.0 推理的基本概念 4.0 推理的基本概念 4.0 推理的基本概念 4.0 推理的基本概念 4.1 消解原理 4.1 消解原理 4.1 消解原理 4.1 消解原理 4.1 消解原理 4.1 消解原理 4.1 消解原理 4.1 消解原理 4.1 消解原理 4.1 消解原理 4.1 消解原理 4.1 消解原理 4.1 消解原理 4.1 消解原理 4.1 消解原理 4.1 消解原理 4.1 消解原理 4.1 消解原理 4.1 消解原理 4.1 消解原理 4.1 消解原理 4.1 消解原理 4.1 消解原理 4.1 消解原理 4.1 消解原理 4.1 消解原理 4.1 消解原理 4.1 消解原理 4.1 消解原理 4.1 消解原理 4.1 消解原理 4.1 消解原理 4.1 消解原理 4.1 消解原理 4.1 消解原理 4.1 消解原理 4.2 规则演绎系统 4.2 规则演绎系统 4.2 规则演绎系统 4.2 规则演绎系统 4.2 规则演绎系统 4.2 规则演绎系统 4.2 规则演绎系统 4.2 规则演绎系统 4.2 规则演绎系统 4.2 规则演绎系统 4.2 规则演绎系统 4.2 规则演绎系统 4.3 产生式系统 4.3 产生式系统 4.3 产生式系统 4.3 产生式系统 4.3 产生式系统 4.3 产生式系统 4.3 产生式系统 4.3 产生式系统 4.3 产生式系统 4.3 产生式系统 4.3 产生式系统 4.3 产生式系统 4.3 产生式系统 4.4 定性推理 4.4 定性推理 4.4 定性推理 4.4 定性推理 4.4 定性推理 4.4 定性推理 4.4 定性推理 4.4 定性推理 4.4 定性推理 4.5 不确定性推理 4.5 不确定性推理 4.5 不确定性推理 4.5 不确定性推理 4.5 不确定性推理 4.5 不确定性推理 4.5 不确定性推理 4.5 不确定性推理 4.5 不确定性推理 4.5 不确定性推理 4.5 不确定性推理 4.5 不确定性推理 4.5 不确定性推理 4.6 非单调推理 4.6 非单调推理 4.6 非单调推理 4.6 非单调推理 4.6 非单调推理 4.6 非单调推理 单调推理：已知为真的命题数目随时间而严格增加。 优点： （1）当加入一个命题时，不必检查新命题与原有知识间的不相容性。 （2）对每一个已被证明了的命题，不必保留一个命题表。它的证明以该命题表中的命题为根据，因为不存在哪些命题被取消的危险。 现实问题领域的三类情况：不完全信息、不断变化的情况以及求解复杂问题过程中生成的假设。 4.6.1 默认推理　 送花问题 定义 　　当缺乏信息时，只要不出现相反的证据，就可以作一些有益的猜想。构造这种猜想称为缺省推理(default reasoning)。 　定义4.2 缺省推理的定义1：如果X不知道，那么得结论Y。 　定义4.3 缺省推理的定义2：如果X不能被证明，那么得结论Y。 　定义4.4 缺省推理的定义3：如果X不能在某个给定的时间内被证明，那么得结论Y。 4.6.1 默认推理　 一个安排会议程序：程序必须求解一个约束满足问题，即找出每个参加者都有空闲的开会日期与时刻，并有可供开会的房间。 选取日期=星期三 选取日期=星期二 若干步骤后断定：或选时间为14:00 若干步骤后断定：或选时间为14:00 找房间 找房间 失败 成功 4.6.2 非单调推理系统　 1.正确性维持系统(Truth Maintenane System,TMS) 　　这是一个已经实现的非单调推理系统。它用以协助其它推理程序维持系统的正确性，所以它的作用不是生成新的推理，而是在其它程序所产生的命题之间保持相容性。一旦发现某个不相容，它就调出自己的推理机制，面向从属关系的回溯，并通过修改最小的信念集来消除不相容。 4.6.2 非单调推理系统　 2.工作原理 　　在TMS中，每一命题或规则均称为节点，且对任一节点，以下两种状态必居其一： IN 相信为真 OUT 不相信为真，或无理由相信为真，或当前没有可相信的理由。 IN节点是指那些至少有一个在当前说来是有效证实的