第五讲经典人工智能技术知识表示推理与搜索分解.pptVIP

人工智能课程改革与建设  第五讲 经典人工智能技术 ——推理与搜索   中南大学 刘丽珏;本讲授课要点;引言——经典人工智能;5.1自动推理证明;5.1.1 机器真的能够自动推理吗？;自动推理示例：5个房间问题;自动推理示例;5.1.2 自动推理证明的发展史;自动证明的发展;自动证明的发展;自动证明的发展;自动证明的发展—王浩;自动证明的发展—王浩;自动证明的发展—王浩;自动证明的发展;属于中国的自动证明方法—吴方法;属于中国的自动证明方法—吴方法;如何实现自动推理证明？;推理示例—马普尔小姐探案;谁是马克谁是约尔？;马普尔小姐的推理过程;推理的一般形式;符号与形式语言;5.1.3 谓词逻辑;（项） 一个常量是项 一个变量是项 如果f是一个n元函数符号，t12是项，则f(t12)也是项 所有项都是由规则(a)(b)(c)产生的 （原子公式 ） 如果P是一个n元谓词符号，t12是项，则P(t12) 是一个原子公式，其他任何表达式都不是原子公式 ;（合适公式） 如果F和G是，则，F∧G，F∨G，F→G，F≡G都是 如果F是，x是自由变量则(?x)F，(?x)F都是 仅由有限次使用规则(a)(b)(c)产生。 ;[例] () 是人 (, , ) 在与之间 (?x)((x)→(x)) 人都会死 (?x)((x)∧(x)) 有的人聪明;推理是如何进行的？;5.1.4 消解原理（归结原理）;什么叫消解;什么叫消解;含变量的消解;置换与合一;置换与合一;相关概念 文字：原子公式及其否定统称为文字 子句集 (1)子句定义 任何文字的析取式称为子句 不包含任何文字的子句称为空子句（空子句是永假的） 由子句构成的集合称为子句集 例：{P（x）∨Q(x) , （x，f(x)）∨Q((x)) };(2)谓词演算公式化为子句式 任何一个谓词演算公式可以化为一个子句集合 步骤： 1)消去蕴涵符号 用∨B代换A→B 2)把非号~移入内层 ;3)对变量标准化 改变变量名，使不同的变量不同名 ;5)化为前束形式 把全称量词提到最外层 前束形 (前缀) {母式} ↑ ↑ 全称量词串 无量词公式 6)把母式化为??取范式 7)消去全称量词 8)消去连词符号∧，写成子句集 9)变量分离标准化 改变变量名称，使一个变量符号不出现在一个以上的子句中 ;消解式的定义;怎么利用消解原理进行证明？; 假设：所有不贫穷并且聪明的人都是快乐的，那些看书的人是聪明的。李明能看书且不贫穷，快乐的人过着激动人心的生活。 求证：李明过着激动人心的生活。 解：先定义谓词： (x) x是贫穷的 (x) x是聪明的 (x) x是快乐的 (x) x能看书 (x) x过着激动人心的生活;消解反演示例—“激动人心的生活”问题;消解反演示例—“激动人心的生活”问题;消解反演示例—“激动人心的生活”问题;消解原理的局限性;5.2 问题求解与图搜索策略;5.2.1 问题求解—什么是问题求解;八数码难题 在3×3的棋盘，摆有八个棋子，每个棋子上标有1至8的某一数字。棋盘上还有一个空格，与空格相邻的棋子可以移到空格中。;问题示例;5.2.2 问题表示——状态空间图;状态转换;传教士野人问题（ ， 问题） 有三个传教士M和三个野人C过河，只有一条能装下两个人的船，在河的一方或者船上，如果野人的人数大于传教士的人数，那么传教士就会有危险，你能不能提出一种安全的渡河方法呢？;状态及其表示;状态的转换;传教士野人问题状态空间图;5.2.3 解的搜索;图的搜索过程;图的搜索过程;;;图的一般搜索策略;盲目搜索;是什么影响了搜索的效率？;;;启发式搜索;估价函数;A算法;A算法;A*算法;利用A*算法求解八数码问题;4;估价函数对算法的影响;估价函数对算法的影响示例;3;例：路径规划;谢谢大家！