离散数学第4章谓词演算的推理理论_归结推理系统.ppt

第四章 谓词演算的推理理论;4.3 谓词演算的归结推理系统;引例(p45);引例 (p45，提取子句);引例 (p45，归结);4.3.1 置换;例 已知表达式 P(x，g(y)，b)，考察置换:;4.3.2 归结反演系统;一、谓词演算公式子句的形成;例(p46-47) ?xP(x)??x(A(x)??y(B(y)?W(x，y)));例 (p47);二、一般归结;归结反演系统——产生式系统;例 (p47)已知知识：;例 (p47, 求子句);例 (p47,续);例 (p47,续);例 (p47, 归结);补充习题;证明(续);证明(续);例 用归结方法证明下列公式;三、归结反演算系统的应用;4.3.3 霍恩子句逻辑程序;超逻辑的控制信息;基于规则的演绎系统;正向演绎系统、逆向演绎系统;关于规则的约定;一、子句的蕴含表示形式;子句的性质 ;二、霍恩子句逻辑程序 ; P ? Q1，Q2，…，Qn n?0 (2) P ? n=0(3) ? Q1，Q2，…，Qn n?0(4) 口 上式n=0;霍恩子句逻辑;霍恩逻辑程序的执行算法;例 已知前提 (1) TOM在何处， MARY在何处 (2) MARY在何处，她的COMPUTER在何处 (3) TOM在图书馆 询问“MARY的COMPUTER是否在图书馆？”。  试给出它的证明程序。;例 MARY的COMPUTER是否在图书馆？;例 所有羊都吃草,所有死羊都不吃草. 所以,所有死羊都不是羊.;例 (原题p44) 已知知识： (1)有些病人喜欢所有的医生； (2)所有的病人均不喜欢庸医；试证明结论：所有的医生均不是庸医。;霍恩子句逻辑程序及执行过程如下： (1) P(a)? 事实 (2) L(a,y)? D(y) 过程 (3) ? P(x1), Q(y1), L(x1,y1） 目标 (4) D(b)? 事实 (5) Q(b)? 事实 (6) ? Q(y1), L(a，y1) {a/x1}(3)(1)归结 (7) ? Q(y)， D(y) {y/y1}(6)(2)归结 (8) ? Q(b) {b/y}(7)(4)归结 (9) 口 (8)(5)??结;例 (p50-51) 已知知识： (1)桌子上的每一本书均是杰作； (2)写出杰作的人是天才； (3)某个不出名的人写了桌上某本书； 结论：某个不出名的人是天才。;例 (续，p51);解：;例 已知知识如下： (1)每个程序员均写过程序； (2)病毒是一种程序 (3)有些程序员没写过病毒； 结论：有些程序不是病毒。 试用霍恩子句逻辑程序证明之。;例 证明（续）;例 证明（续）;补充习题;证明(续);证明(续);作业;第四章 谓词演算的推理理论