第四章节谓词演算推理理论教学教材.pptVIP

第四章 谓词演算的推理理论;4.3 谓词演算的归结推理系统;引例(p45) 已知：;引例 (p45，提取子句);4.3.1 置换;例 已知表达式 P(x，g(y)，b)，考察置换:;4.3.2 归结反演系统;子句形成的一般步骤:;例 求?xP(x)??x(A(x)??y(B(y)?W(x，y)))的子句;(5)消去全称量词(直接去掉) 原式? P(a)?(?A(z)?(B(f(z))?W(z，f(z)))) (6)利用分配律化为合取范式 原式? P(a)?(?A(z)?B(f(z))) ?(?A(z)?W(z，f(z))) (7)消去合取词得子句集 P(a), ?A(z)?B(f(z)), ?A(z)?W(z，f(z)) (8)改变变量的名称： P(a), ?A(z1)?B(f(z1)), ?A(z2)?W(z2，f(z2));互补文字对的归结;归结反演系统;例 (p47)已知知识：;求子句: 每个作家均写过作品;求子句: 有些作家没写过小说;求子句:有些作品不是小说;(1) ?A(x1)?B(f(x1)) (2) ?A(x2)?W(x2，f(x2)) (3) A(a) (4) ?N(y)??W(a，y) (5) ?B(x)?N(x) (6) ?A(x1)? N(f(x1))