第三章_王士同版.ppt

第三章 谓词逻辑与归结原理;第三章 谓词逻辑与归结原理;归结 推理;第三章 谓词逻辑与归结原理;概述-推理技术;概述;概述;概述-演绎推理、归纳推理和默认推理;概述-演绎推理、归纳推理和默认推理;概述-演绎推理、归纳推理和默认推理;概述-演绎推理、归纳推理和默认推理;概述;概述;概述;概述;概述-推理的控制策略;概述-推理的控制策略;概述-推理的控制策略;概述-推理的控制策略;概述-推理的控制策略;概述-推理的控制策略;概述-推理的控制策略;概述-推理的控制策略;概述;概述;归结法的特点;归结法基本原理;归结法基本原理—例;第三章谓词逻辑与归结原理;第三章谓词逻辑与归结原理;命题;命题例;命题表示公式（1）;命题表示公式（2）;命题逻辑基础—数理逻辑的基本定义;命题逻辑基础—数理逻辑的基本定义;命题逻辑基础—基本等值式(1);命题逻辑基础—基本等值式(2);命题逻辑基础—基本等值式(3);命题逻辑基础-合取范式 ;命题逻辑基础-合取范式 ;命题逻辑的推理规则;命题逻辑的推理规则——常用的推理定律;命题逻辑的推理规则——常用的推理规则;命题逻辑的演绎推理-例1;命题逻辑的演绎推理-例2;命题逻辑的归结;命题逻辑基础-子句集 ;命题逻辑的归结;命题逻辑的归结—合取范式和子句集;命题逻辑的归结法——归结式;命题逻辑的归结法——归结式性质;命题逻辑的归结法——归结过程 ;命题逻辑归结例题（1）;命题逻辑归结例题（2）;第三章谓词逻辑与归结原理;第三章谓词逻辑与归结原理;谓词逻辑归结基础—基本概念;谓词逻辑归结基础—基本概念-例;谓词逻辑归结基础—基本概念;谓词逻辑归结基础—基本概念;谓词逻辑归结基础—基本概念;谓词逻辑归结基础—基本概念-例;谓词逻辑归结基础——谓词公式等值式;谓词逻辑归结基础——谓词公式等值式;Skolem 标准型——前束范式;;Skolem 标准型;Skolem 标准型——转化过程;Skolem 标准型——例;Skolem 标准型——例;Skolem定理;子句集——定义;子句集——求取步骤;P119 例4.1;子句集与谓词公式的不可满足性;子句集与谓词公式的不可满足性 ——定理3.1的推广;求取子句集例(1);求取子句集例(2);第三章谓词逻辑与归结原理;第三章谓词逻辑与归结原理;归结原理;置换;置换;置换的合成;置换的合成;合一;合一——例子;最一般合一;最一般合一;mgu求取方法;mgu的例子;;Date;归结式;P(x)∨Q(x,y)与~P(a)∨R(b,z)的归结式 Q(a,y)∨R(b,z) σ={a/x} P(x,y)∨Q(x)∨R(x)与~P(a,z)∨~Q(b)的归结式 Q(a)∨R(a)∨~Q(b) σ={a/x,y/z} P(b,y)∨R(b)∨~P(a,z) σ={b/x} ;归结原理——归结的注意事项;归结原理——归结的过程;例题“快乐学生”问题;例题“快乐学生”问题;例题;例题;例题;第三章谓词逻辑与归结原理;第三章谓词逻辑与归结原理;归结过程的控制策略;控制策略的方法(1)—删除策略;控制策略的方法(1)—删除策略;控制策略的方法(1)—删除策略;控制策略的方法(1)—删除策略;控制策略的方法(2)——支撑集策略;控制策略的方法(2);控制策略的方法(2)——支撑集策略;控制策略的方法(2)——支撑集策略;控制策略的方法(2)——支撑集策略;控制策略的方法(3)——语义归结;控制策略的方法(3)——语义归结;控制策略的方法(3)——语义归结;控制策略的方法(4)——线性归结;控制策略的方法(4)——线性归结;控制策略的方法(4)——线性归结;控制策略的方法(5)——单元归结;控制策略的方法(5)——单元归结;控制策略的方法(6)——输入归结;控制策略的方法(6)——输入归结;第三章谓词逻辑与归结原理;第三章谓词逻辑与归结原理