人工智能课后答案 第三章.docVIP

1.基于谓词逻辑的机器推理方法：自然演绎推理，归结演绎推理，基于规则的演绎推理。 2. 求下列谓词公式的子句集 (x(y(P(x,y) (Q(x,y)) 解：去掉存在量词变为：P(a,b)(Q(a,b) 变成子句集{ P(a,b),Q(a,b)} (x (y(P(x,y) (Q(x,y)) 解：去掉蕴涵符号变为：(x (y(? P(x,y) ( Q(x,y)) 去掉全称量词变为：? P(x,y) ( Q(x,y) 变成子句集{ ? P(x,y) ( Q(x,y)} (3) (4) {p(a,y,f(y),y,v,g(y,v)) (Q(a,y,f(y),y,v,g(y,v)), p(a,x,f(x),x,z,g(x,z)) (R(a,x,f(x),h(x),z,g(x,z))} 3. 试判断下列子句集中哪些是不可满足的 （1）使用删除策略 （2）归结 4.用合一算法求下列公式集的最一般合一。 （1）W={Q(a,x),Q(y,b)} 最一般合一为:{a/y,b/y} （2） 最一般合一为：{z/u,h(v,v)/y,z/x}或{x/u,h(v,v)/y,x/z} 5.用归结原理证明，G是否可肯定是F的逻辑结果。 (1) F1 ((x)(P(x)((Q(x)∧R(x)) F2 ((x) (P(x) ∧S(x) G ((x)(S(x) ∧R(x)) 证明：利用归结反演法，先证明F1 ∨ F2 ∨?G是不可满足的。 求子句集： (1) ?P(x) ∨Q(x) (2) ?P(z) ∨R(z) (3)P(a) (4)S(a) (5) ?S(y) ∨ ? R(y) (?G) 利用归结原理进行归结 (6)R(a) [(2),(3), σ1={a/z}] (7) ? R(a) [(4),(5), σ2 ={a/y}] (8)Nil [(6),(7)] 所以S是不可满足得，从而G是F1和F2的逻辑结果。 （2）F ((x) ( ((y)P(x，y) ∧ Q(y)) (((y)（R(y) ∧ T(x,y)）） G ? ((x) R(x) ( ((x) ((y) P(x，y) (? Q(y)) 证明：利用归结反演法证明，先证明F ( ?G是不可满足的。 把F、?G化成子句集： ?P(x，y) ∨?Q(y) ∨R(f(x)) ?P(v，u) ∨?Q(u) ∨T(v, f(u)) Q(b) P(a，b) ?R(z) 对上述式子进行归结： （6） ?P(x，b) ∨R(f(x)) （1）和（3）归结，{b/y} （7）R(f(x)) （4）和（6）归结，{a/x} （8）NIL （5）和（7）归结{f(x)/z} 所以G是F、的逻辑结论。 （3）F1 ((x) (A(x)∧?B(x)(( (y) (D(x，y)∧C(y))) F2 ((x) (E(x)∧A(x) ∧ ((y) (D(x，y)(E(y))) F3 ((x) (E(x)( ?B(x)) G ((x) (E(x) ∧C (x)) 证明：利用归结反演法证明，先证明F1 ( F2 ( F3 ( ?G是不可满足的。 求子句集： F1： （1）?A(x)∨B(x) ∨D(x，w) （2）?A(y)∨B(y) ∨C(t) F2 （3）E(a) （4）A(a) （5）? D(a，z) ∨E(z) F3 （6）?E(u) ∨?B(u) ?G （7）?E(v) ∨?C(v) 对子句集进行归结： （8）?B(a) [（3）（6）{a/u}] （9）?C(a) [（3）（7）{a/v}] （10）B(a) ∨C(t) [（2）（4）{a/y}] （11）C(a) [（8）（10）{a/t}] （12）Nil [（9）（11）] 6 用归结原理证明下述推理正确。 已知：狗都会吠叫和咬人。 任何动物吠叫时总是吵人的。 松狮是狗。 结论：松狮是吵人的。 证明：首先定义如下谓词： B(x):x是咬人的。 F(x):x是吠叫的。 D(x):x是狗。 N(x):x是吵人的。 G(x):x是松狮。 将