高级人工智能专题课件.ppt

安徽大学 计算机科学与技术学院 人工智能 Artificial Intelligence 第三章 高级知识推理 3.1 经典推理和非经典推理 3.2 非单调推理 3.3 时序推理 3.4 不确定性推理 3.5 概率推理 3.6 主观Bayes方法 3.7 可信度方法 3.8 证据理论 3.1 经典推理和非经典推理 数学中的逻辑 ：研究逻辑理论，作为发展数学的基础。 人工智能中的逻辑：模拟思维的工具，模拟智能的手段，用于研究和应用。 3.1 经典推理和非经典推理 3.2 非单调推理 非单调推理用来处理那些不适合用谓词逻辑表示的知识。 它能够较好地处理不完全信息、不断变化的情况以及求解复杂问题过程中生成的假设，具有较为有效的求解效率。 3.2 非单调推理 第三十五回　梁山泊吴用举戴宗　揭阳岭宋江逢李俊 第三十六回　没遮拦追赶及时雨　船火儿夜闹浔阳江 宋江刺配江州，揭阳岭遇到薛永卖艺，无人赏钱，宋江赏白银五两。以为可以得到路人支持。↑ 穆弘、穆春横加阻拦，宋江无处吃饭。 ↓ 晚上终于找到投宿处。宽慰。 ↑ 投宿处正是穆弘、穆春家。差点丧命。 ↓ 逃出穆家，奔向芦苇丛，看到希望。 ↑ 前有大江、后有穆弘、穆春追赶。走投无路。↓ 芦苇中忽然摇出一 只船来 ，把他们带到江心。 ↑ 是要‘板 刀面’，却是要‘馄饨’ ？祸不单行！↓ 江中一条快船赶到，李俊，童威，童猛救了宋江。↑ 3.2 非单调推理 缺省推理：S默认成立，当且仅当不能证明S不成立。 例如：鸟会飞。IF x is bird THEN x can fly. 自认知逻辑：如果知道S，如果不知道其他任何事实与S矛盾，那么S成立。 例如：知道天鹅A会飞，不知道其他，那么天鹅A就是会飞。 界限推理：当且仅当没有事实证明S在更大范围内成立，那么S只在指定的范围内成立。 例如：安徽大学的学位在大陆被承认。 3.2 非单调推理 1. 缺省推理的定义： 定义1：如果X不知道，那么得结论Y。 定义2：如果X不能被证明，那么得结论Y。 定义3：如果X不能在某个给定的时间内被证明，那么得结论Y。 2. 缺省规则的表示 3. 缺省规则的分类 3. 缺省规则的分类 3. 缺省规则的分类 3.2.2 限定推理 3.2.2 限定推理 3.2.2 限定推理 3.2.2 限定推理 3.2.2 限定推理 3.2.3 真值维持系统 3.2.3 真值维持系统 3.2.3 真值维持系统 3.2.3 真值维持系统 3.2.3 真值维持系统 3.4 不确定性推理 3.4.1 不确定性推理的度量 1.不确定性的表示 (1)知识不确定性的表示：准确描述；便于推理 (2)证据不确定性的表示：动态强度，如灰白色 (3)结论不确定性的表示：不确定性程度 2.不确定性的度量 充分表达；便于估计；便于传递；直观+理论依据 3.4 不确定性推理 3.4.2 不确定性的算法 1.不确定性的匹配算法：怎么才算匹配成功？ 2.不确定性的更新算法 3.4 不确定性推理 3.4.2 不确定性的算法 3.5 概率推理 3.5.1 概率的基本性质和计算公式 3.5 概率推理 3.5.1 概率的基本性质和计算公式 3.5 概率推理 3.5.1 概率的基本性质和计算公式 3.5 概率推理 3.5.2 概率推理方法 3.5 概率推理 3.5.2 概率推理方法 3.5 概率推理 3.5.2 概率推理方法 3.6 主观贝叶斯方法 3.6.1 知识不确定性的表示 3.6 主观贝叶斯方法 3.6.2 证据不确定性的表示 3.6 主观贝叶斯方法 3.6.2 证据不确定性的表示 3.6 主观贝叶斯方法 3.6.2 证据不确定性的表示 3.7 可信度方法 3.7.1 基于可信度的不确定性表示 3.7 可信度方法 3.7.1 基于可信度的不确定性表示 3.7 可信度方法 3.7.1 基于可信度的不确定性表示 3.7 可信度方法 3.7.1 基于可信度的不确定性表示 3.7 可信度方法 3.7.1 基于可信度的不确定性表示 3.7 可信度方法 3.7.2 可信度方法的推理算法 3.7 可信度方法 3.7.2 可信度方法的推理算法 3.7 可信度方法 3.7.2 可信度方法的推理算法 3.7 可信度方法 3.7.2 可信度方法的推理算法 3.7 可信度方法 3.7.2 可信度方法的推理算法 3.7 可信度方法 3.7.2 可信度方法的推理算法 3.7 可信度方法 3.7.2 可信度方法的推理