人工智能05.pptVIP

安徽大学 计算机科学与技术学院 人工智能 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 真值维持系统 END * * 第五讲 非单调的 单调的 单调性 模态算符 ∧ ∨ ～ ? ? ? ? 逻辑算符 特殊法则 数理逻辑法则 运算法则 多值逻辑 二值逻辑(真、假) 辖域取值 归纳逻辑推理 演绎逻辑推理 推理方法 非经典逻辑 经 典 逻 辑 3.2.1 缺省推理 A(x) : MB1(x),…, MBn(x) C(x) A(x)是先决条件； Bi(x)是默认条件；C(x)是结论。 M为模态算子：假定…相容 如果不能证明B1(x),…, Bn(x)有不成立的，则由A(x)成立，可以推出C(x)成立 例如： BIRD(x) ： MFLY(x) FLY(x) 如果 x是一只鸟，并且没有知识表明x不会飞，那么x会飞。 一般情况下鸟会飞。 (?x)[BIRD(x)∧~PENGUIN(x)∧~OSTRICH(x)∧ …→FLY(x)] （1）规范缺省规则：B(x)=C(x) A(x):M(B(x)) B(x) 例如：一般大学生都掌握英语 STUDENT(x):M(MASTER-ENG(x)) MASTER-ENG(x) 例如：一般大学生都不掌握西班牙语 STUDENT(x):M(~MASTER-SPAN(x)) ~MASTER-SPAN(x) （2）半规范缺省规则：B(x)=C(x)∧~D(x) A(x):M(C(x)∧~D(x)) C(x) 例如：除企鹅外，大多数鸟都会飞 BIRD(x):M(FLY(x)∧~PENGUIN(X)) FLY(x) 例如：除鹦鹉外，一般动物都不会学人说话 ANIMAL(x):M(~SPEAK(X)∧~PARROT(x)) ~SPEAK(X) （3）不规范缺省规则：前两类以外的规则 若缺省规则中不含自由变元，则称该缺省是封闭的。 如果先决条件为空，则为重言式。 如果默认条件为空，则退化为一般演绎规则。 困难：缺省规则之间不相容问题。 例如：西红柿是水果，还是蔬菜？ McCarthy70年代末提出限定推理(Circumscription)，核心思想是“