第五讲经典人工智能技术—知识表示、推理与搜索77.pptx

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