第五章基于谓词逻辑的机器推理.pptVIP

第5章 基于谓词逻辑的机器推理;目录5.0 机器推理概述5.1;5.0 机器推理概述（1）机器;自动定理证明的基本方法：5.0;基于归结原理的自动定理证明过程;5.0 机器推理概述（4）本章;5.1一阶谓词逻辑5.1.1 ;5.1.1谓词、函数、量词（1;5.1.1谓词、函数、量词（2;5.1.1谓词、函数、量词（3;5.1.1谓词、函数、量词（4;5.1.1谓词、函数、量词（5;5.1.1谓词、函数、量词（6;5.1.1谓词、函数、量词（7;5.1.1谓词、函数、量词（8;5.1.1谓词、函数、量词（9;5.1.2谓词公式（1）定义1;5.1.2谓词公式（2）定义2;5.1.2谓词公式（3）定义3;5.1.2谓词公式（4）辖域：;5.1.2谓词公式（5）一个变;5.1.2谓词公式（6）谓词公;5.1.2谓词公式（7）一阶谓;5.1.2谓词公式（8）定义4;5.1.2谓词公式（9）定义5;5.1.2谓词公式（10）谓词;5.1.2谓词公式（11）例：;5.1.2谓词公式（12）例：;5.1.2谓词公式（13）在此;5.1.2谓词公式（14）定义;5.1.2谓词公式（15）定义;5.1.3谓词逻辑中的形式演绎;常用逻辑等价式（1）;常用逻辑等价式（2）;常用逻辑等价式（3）;常用逻辑等价式（4）;常用逻辑蕴含式（1);常用逻辑蕴含式(2);5.1.3谓词逻辑中的形式演绎;5.1.3谓词逻辑中的形式演绎;5.1.3谓词逻辑中的形式演绎;5.2归结演绎推理5.2.1 ;5.2.1子句集(1)定义1：;5.2.1子句集(2)定义2：;5.2.1子句集(3)?x {;5.2.1子句集(4)4、 消;5.2.1子句集(5) ;5.2.1子句集(6) 子句集;5.2.1子句集(7)练习：用;5.2.1子句集(8)解：F1;5.2.1子句集(9)Skol;5.2.1子句集(10)例5.;5.2.1子句集(11) ;5.2.1子句集(12)定理1;5.2.2命题逻辑中的归结原理;5.2.2命题逻辑中的归结原理;5.2.2命题逻辑中的归结原理;5.2.2命题逻辑中的归结原理;5.2.2命题逻辑中的归结原理;5.2.2命题逻辑中的归结原理;5.2.2命题逻辑中的归结原理;5.2.2命题逻辑中的归结原理;5.2.2命题逻辑中的归结原理;5.2.2命题逻辑中的归结原理;5.2.2命题逻辑中的归结原理;5.2.3替换与合一(1)问题;5.2.3替换与合一(2)定义;5.2.3替换与合一(3) ;5.2.3替换与合一(4)定义;5.2.3替换与合一(5)定义;5.2.3替换与合一(6)定义;5.2.3替换与合一(7)定义;5.2.3替换与合一(8)合一;5.2.3替换与合一(9)例：;5.2.3替换与合一(10)例;5.2.3替换与合一(11)定;5.2.4谓词逻辑中的归结原理;5.2.4谓词逻辑中的归结原理;5.2.4谓词逻辑中的归结原理;5.2.4谓词逻辑中的归结原理;5.2.4谓词逻辑中的归结原理;5.2.4谓词逻辑中的归结原理;5.2.4谓词逻辑中的归结原理;5.2.4谓词逻辑中的归结原理;5.2.4谓词逻辑中的归结原理;5.2.4谓词逻辑中的归结原理;5.2.4谓词逻辑中的归结原理;5.2.4谓词逻辑中的归结原理;5.2.4谓词逻辑中的归结原理;5.2.4谓词逻辑中的归结原理;5.3应用归结原理求取问题答案;5.3应用归结原理求取问题答案;5.3应用归结原理求取问题答案;5.3应用归结原理求取问题答案;5.3应用归结原理求取问题答案;5.3应用归结原理求取问题答案;5.3应用归结原理求取问题答案;5.3应用归结原理求取问题答案;5.3应用归结原理求取问题答案;5.3应用归结原理求取问题答案;5.4归结策略5.4.1 问题;5.4.1问题的提出（1）研究;5.4.1问题的提出（2）水平;5.4.1问题的提出（3）S：;5.4.1问题的提出（4） ;5.4.1问题的提出（5）控制;5.4.2几种常用的归结策略（;5.4.2几种常用的归结策略（;5.4.2几种常用的归结策略（;5.4.2几种常用的归结策略（;5.4.2几种常用的归结策略（;5.4.2几种常用的归结策略（;5.4.2几种常用的归结策略（;5.4.2几种常用的归结策略（;5.4.2几种常用的归结策略（;5.4.2几种常用的归结策略（;5.4.2几种常用的归结策略（;5.4.2几种常用的归结策略（;5.4.2几种常用的???结策略（;5.4.2几种常用的归结策略（;5.4.2几种常用的归结策略（;5.4.3归结策略的类型（1）;5.4.3归结策略的类型（2）;5.4.3归结策略的类型（3）;5.6Horn子句归结与逻辑程;5.6.1子句的蕴含表示形式(;5.6.1子句的蕴含表示