2013年秋季学期书面作业讲解.pptVIP

证明： F1的前束合取范式与子句集： (?x){P(x)→(?y)[Q(y)→～L(x,y)]} ＝(?x){～P(x)∨(?y)[～Q(y)∨～L(x,y)]} ＝(?x) (?y){～P(x)∨～Q(y)∨～L(x,y)} 子句集：～P(x)∨～Q(y)∨～L(x,y) 错误：取“非”。 F2的前束合取范式与子句集： (?x){P(x)∧(?y)[R(y)→L(x,y)]} ＝(?x){P(x)∧(?y)[～R(y)∨L(x,y)]} ＝P(a)∧(?y)[～R(y)∨L(a,y)] ＝(?y){P(a)∧ [～R(y)∨L(a,y)]} 子句集：{ P(a), ～R(y)∨L(a,y)} 错误：取非 结论取非的前束合取范式与子句集： ～G＝～{(?x)[R(x)→～Q(x)]} ＝～{(?x)[～R(x)∨～Q(x)]} ＝(?x)[R(x)∧Q(x)] ＝R(b)∧Q(b) 子句集为：{R(b) , Q(b)} 错误：与前面相同的常量符号 完整的子句集为： { ～P(x)∨～Q(y)∨～L(x, y) P(a) ～R(z)∨L(a, z) （改名） R(b) Q(b) } 反演过程： (1) ～P(x)∨～Q(y)∨～L(x,y) (2) P(a) (3) ～R(z)∨L(