人工智能复习题.docxVIP

叮叮小文库 叮叮小文库 PAGE PAGE # 1判断下列公式是否为可合一，若可合一，则求出其最一般合一。 (1)P(a, b), P(x, y) (1) P(a, b), P(x, y) P(f(x), b), P(y, z)(3)解: P(f(x), b), P(y, z) (3) 解: (1) P(f(x), y), P(y, f(b)) P(f(y), y, x), P(x, f(a), f(b)) 可合一，其最一般和一为：b ={a/x, b/y} 。 (2) 可合一，其最一般和一为：b ={y/f(x), b/z}。 可合一，其最一般和一为：b ={ f(b)/y, b/x} 。 (4)不可合一。 2把下列谓词公式化成子句集： (1)x)(y)(P(x, y) A Q(x, y))x)(x)(x)(( (1) x)( y)(P(x, y) A Q(x, y)) x)( x)( x)( ( 解：⑴由于( 所以可直接消去全称量词、合取词，得 x)( y)(P(x, y) - Q(x, y)) y)(P(x, y) V (Q(x, y) - R(x, y))) y) ( z)(P(x, y) - Q(x, y) V R(x, z)) y)(P(x, y) A Q(x, y))已经是Skolem标准型，且P(x, y) A Q(x, y)已经是合取范式, { P(x, y), Q(x, y)} 再进行变元换名得子句集:S={ P(x, y), Q(u, v)} 再进行变元换名得子句集: 对谓词公式(x)( y)(P(x, y) - Q(x, y))，先消去连接词“宀”得： (x)( y)(?P(x, y) V Q(x, y)) 此公式已为Skolem标准型。 再消去全称量词得子句集： S={?P(x, y) V Q(x, y)} 对谓词公式(x)( y)(P(x, y) V (Q(x, y) - R(x, y)))，先消去连接词“宀”得: (x)( y)(P(x, y) V (?Q(x, y) V R(x, y)))此公式已为前束范式。 再消去存在量词，即用 Skolem 函数 f(x)替换 y 得：(x)(P(x, f(x)) V?Q(x, f(x)) V R(x, f(x))) 此公式已为Skolem标准型。最后消去全称量词得子句集： S={P(x, f(x)) V? Q(x, f(x)) V R(x, f(x))} 对谓词(x) ( y) ( z)(P(x, y) -Q(x, y) V R(x, z))，先消去连接词“宀”得: (x) ( y) ( z)(?P(x, y)V Q(x, y) V R(x, z)) 再消去存在量词，即用 Skolem函数f(x)替换y得： (x) ( y) (?P(x, y) V Q(x, y) V R(x, f(x,y))) 此公式已为Skolem标准型。 最后消去全称量词得子句集： S={?P(x, y) V Q(x, y) V R(x, f(x,y))} 3 对下列各题分别证明 G是否为Fi,F2,…斤的逻辑结论: (1) F:( x)( y)(P(x, y) G:( y)( x)(P(x, y) ⑵ F:( x)(P(x) A (Q(a) V Q(b))) G: ( x) (P(x) A Q(x)) F:( x)( y)(P(f(x)) A (Q(f( y))) G: P(f(a)) A P(y) A Q(y) ⑷ F1：( x)(P(x) - ( y)(Q(y)- L(x.y))) F2: ( x) (P(x) A ( y)(R(y) - L(x.y))) G:( x)(R(x) - Q(x)) (5) F1:( x)(P(x) FQ(x) A R(x))) F2: ( x) (P(x) A S(x)) G:( x) (S(x) A R(x)) 解：(1)先将F和？ G化成子句集: S={P(a,b), ?P(x,b)} 再对S进行归结 所以，G是 所以，G是F的逻辑结论 (2)先将F和？ G化成子句集 由 F 得：Si={P(x) , (Q(a) V Q(b))} 由于？ G 为：？ ( x) (P(x) AQ(x))，即 (x) (? P(x) V? Q(x)), 可得：S2={? P(x)V? Q(x)} 因此，扩充的子句集为： S={ P(x)，(Q(a) V Q(b))，? P(x)V? Q(x)} 再对S进行归结： 所以，G是F的逻辑结论 同理可求得(3)、(4)和(5)，其求解过程略。 5如果x是y的父亲，y是z的父亲，则x是z的祖父；2每个人都有一个父亲。 使用归结演绎推理证明：对于某人 U，—定存在一个人 V，v是U的祖父。 解：先定义谓词 F