人工智能教程习题及答案第3章习题参考解答.docxVIP

PAGE PAGE 54 第三章 确定性推理方法 习题参考解答 3.1 练习题 什么是命题？请写出 3 个真值为T 及真值为 F 的命题。 什么是谓词？什么是谓词个体及个体域？函数与谓词的区别是什么？ 谓词逻辑和命题逻辑的关系如何？有何异同？ 什么是谓词的项？什么是谓词的阶？请写出谓词的一般形式。 什么是谓词公式？什么是谓词公式的解释？设 D= {1,2}，试给出谓词公式 (?x)(?y)(P(x,y) ? Q(x,y)) 的所有解释，并且对每一种解释指出该谓词公式的真值。 对下列谓词公式分别指出哪些是约束变元？哪些是自由变元？并指出各量词的辖域。 （1） (?x)(P(x, y) ? (?y)(Q(x, y) ? R(x, y))) （2） (?z)(?y)(P(z, y) ? Q(z, x)) ? R(u, v) （3） (?x)(~ P(x, f (x)) ? (?z)(Q(x, z)? ~ R(x, z))) （4） (?z)((?y)((?t)(P(z, t) ? Q(y, t)) ? R(z, y)) （5） (?z)(?y)(P(z, y) ? (?z)((?y)(P(z, y) ? Q(z, y) ? (?z)Q(z, y)))) 什么是谓词公式的永真性、永假性、可满足性、等价性及永真蕴含？ 什么是置换？什么是合一？什么是最一般的合一？ 判断以下公式对是否可合一；若可合一，则求出最一般的合一： （1） P (a,b) ， P (x, y) （2） P (f(z),b) ， P (y, x) （3） P (f(x), y) ， P (y, f(a)) （4） P (f(y), y, x) ， P (x, f(a), f(b)) （5） P (x, y) ， P (y, x) 什么是范式？请写出前束型范式与 SKOLEM 范式的形式。 什么是子句？什么是子句集？请写出求谓词公式子句集的步骤。 谓词公式与它的子句集等值吗？在什么情况下它们才会等价？ 把下列谓词公式分别化为相应的子句集： （1） (? z)(? y)(P(z,y) ? Q(z, y)) （2） (?x)(?y)(P(x, y) ? Q(x, y)) （3） (?x)(?y)(P(x, y) ? (Q(x, y) ? R(x, y))) （4） (?x)(?y)(?z)(P(x, y) ? Q(x, y) ? R(x, z)) （5） (?x)(?y)(?z)(?u)(?v)(?w)(P(x, y, z, u, v, w) ? (Q(x, y, z, u, v, w)? ~ R(x, z, w))) 判断下列子句集中哪些是不可满足的： （1） S ? {~ P ? Q, ~ Q, P, ~ P} （2） S ? {P ? Q,~ P ? Q, P ? ~ Q,~ P? ~ Q} （3） S ? {P(y) ? Q(y),~ P(f(x)) ? R(a)} （4） S ? {~ P(x) ? Q(x),~ P(y) ? R(y),P(a),S(a),~ S(z)? ~ R(z)} （5） S ? {~ P(x)? ~ Q(y)? ~ L(x, y),P(a),~ R(z) ? L(a,z), R(b), Q(b)} （6） S ? {~ P(x) ? Q(f(x),a),~ P(h(y))? Q(f(h(y)),a)? ~ P(z)} （7）S ? {P(x) ? Q(x) ? R(x),~ P(y) ? R(y),~ Q(a),~ R(b)} （8） S ? {P(x) ? Q(x), ~ Q(y) ? R(y), ~ P(z) ? Q(z), ~ R(u)} 为什么要引入 Herbrand 理论？什么是 H 域？如何求子句集的 H 域？ 什么是原子集？如何求子句集的原子集？ 什么是 H 域解释？如何用域D 上的一个解释 I 构造 H 域上的解释 I*呢？ 假设子句集 S＝{P(z)∨Q(z),R(f(t))}，S 中不出现个体常量符号。设个体域 D＝｛1,2｝。由 H 域和原子集的定义： H＝{a,f(a),f(f(a)),…} A＝{P(a),Q(a),R(a),P(f(a)),Q(f(a)),R(f(a)),…} 如果设 I 是 D 上的解释，并作如下的设定 I： f(1) f(2) P(1) P(2) Q(1) Q(2) R(1) R(2) 2 2 T F F T F T 请构造 H 域上的一个解释 I*与I 相对应，且使 S|I*=T。 引入 Robinson 的归结原理有何意义？其基本思想是什么？ 请写出应用归结原理进行定理证明的步骤。 对下列各题分别证明 G 是否为 F1，F2，…，Fn 的逻辑结论。(1) F1 : (?x)(?y)