人工智能课件4.pdfVIP

第4章 确定性推理 智能系统的推理过程实际上就是一种思维过程。 已知下面事实：⑴马科斯是男人； ⑵马科斯是庞贝人； ⑶马科斯出生于公元40年； ⑷ 所有的人都会死； ⑸所有庞贝人都死于公元79年的火山爆发； ⑹公元79年的火山爆发； ⑺所有会死的人数不会超过150岁； ⑻现在是2011年 ⑼活意即未死； ⑽如果某人死了，那么他后来的任何时刻都 死了。 试问马科斯还活着吗？ 自动推理的理论和技术是专家系统、 程序推导、程序正确性证明、 智能机器人等研究领域的重要基础 命题逻辑中的归结原理 谓词逻辑中的归结原理 4.1 推理的基本概念 一、推理的定义： 从已知事实出发，按照某种策略，推出问题 最终结论的思维过程称为推理。 实现推理的程序——推理机 二、推理的分类 1、按知识的确定性 •确定性知识：值只有T、F •不确定性知识：值介与T和F之间 2、按推理的方向 •正向推理 •逆向推理 •双向推理 把初始证据放入DB Y DB中有解吗？ 成功退出 N 把用户补充的新事 N 实加入到DB中 KB中有可用知识吗？ Y Y 形成可用知识集 用户可补充新事实吗？ 可用知识集空吗？ N Y 失败退出 N 按照冲突消解策略从该知识 集中选出一条知识进行推理 N 推出的是新事实吗？ Y 将新事实加入到DB 3、按推理的逻辑基础 1）演绎推理 • 常用形式：三段论 如 ① 计算机系的学生都会编程序； （一般性知识） ② 程强是计算机系的一名学生； （具体情况） ③ 程强会编程序（结论） • 典型特征：演绎推出的结论蕴含在大前提中。 2 ）归纳推理 • 典型例子：数学归纳法 4.2 推理的逻辑基础 4.2.1 谓词公式的解释 在应用谓词解决问题时，为公式中出现的 常量、变量、函数指定真值。 例：个体域 D={1 ，2}，公式 A x( )(y P )x (y , )∀ ∃ 在D 上的解释。 A x( )(y P )x (y , )∀ ∃ P(1,1) P(1,2) P(2,1) P(2,2) T F T F 在此解释下公式A为T P(1,1) P(1,2) P(2,1) P(2,2) T T F