《第4章基本的推理技术》由会员分享,可在线阅读,更多相关《第4章基本的推理技术(10页珍藏版)》请在金锄头文库上搜索。
1、习题41、答:推理是按照某种策略从已有事实和知识推出结论的过程。正向推理是由已知事实出发向结论方向的推理,也称为事实驱动推理。反向推理是以某个假设目标作为出发点的一种推理,又称为目标驱动推 理。下面从几个不同的角度对推理方式进行分类。1. 演绎推理、归纳推理和默认推理 演绎推理是从一般到个别的推理。 归纳推理是从个别到一般的推理。 默认推理是在知识不完全的情况下假设某些条件已经具备的推理。2. 确定推理和不确定推理 确定推理是基于确定性知识的推理。 不确定推理是基于不确定性知识的推理。3. 启发式推理和非启发式推理 启发式推理是运用与问题有关的启发性知识的推理。 非启发式推理是不运用与问题有关
2、的启发性知识的推理。2、答:在推理过程中,有一个以上规则的条件部分与当前数据库相匹配,这种 情况就称为冲突。常用的冲突解决策略如下 专一性排序。 规则排序。 数据排序。 就近排序。 上下文限制。 按匹配度排序。 按条件个数排序。3、答:基于规则的演绎推理是一种直接的推理方法。它的规则是一些条件表达 式。4、用真值表证明本章4.2节给出的恒等式。5、解:(Vx)(Vy)(P(x,y)e(x,y)0(X/x)(X/y)(P(x,y)vQ(x,y)0 -P(x, y) v Q(x, y)0 -P(x, y) v Q(x, y)子句集为-2(x, y)v R(x, y) =(Vx)(3y)(-,P(x
3、, y) a -Q(x, y)v R(x, y)0 (Vx)(-,P(.r, f(x) a -.2(%, f(x) v R(x, f(x)0 (Vx)(-,P(.r, f(x) a -.2(%, f(x) v R(x, f(x)0 (Vx)(-,P(.r, f (x) v R(x, f(x) a (-1Q3, f (x) v R(x, f(x)0 (-.P(x, /(%) v R(x,/(%) a (-2(%, f (x) v 7?(x,/(x)子句集为(-iP(x, f(x) v R(x,/(x),(-,2(x, /(%) v R(x, f(.r)(P(x, /W) v R(x, f(x),
4、(-.Q(y, f(y)v R(y, f(y)(3) (Vx)(Vy)P(x, y) T(Vy)Q(x, y) T R(x, y)O (Vx)(Vy)P(.r, y) T(X/y)y) v R(x, y)0 (Vx)(-,(Vy)P(.r, y) v -.(Vy)-Q(x, y) v R(x, y)0 (Vx)( (3y)-,P(.r, y) v (3y)-1-,2(.r, y) v R(x, y)0 (Vx)(3y)-,P(x, y) v (3y)Q(x, y) a R(x, y)0 (Vx)(3y)-,P(x, y) v (3z)Q(x,z) aR(x,z)0 (Vx)(3y)(3z) i
5、P(x, y) v2(.r,z) a -:R(x, z)0 (Vx)(-,P(.r, f (x) v Q(.r, g (x) a -,7?(.r, g (x)0 (Vx)(-,P(.r, f (x) v Q(x, g(x) a -.P(.r, f (x) v -,7?(.r,g(x)0 -.P(x, /(%) v 2(x,g(x) a -,P(x,/(x) v -,7?(x,g(x)子句集为-1P(X,/(x) V 2(x,g(x),-,P(x,/(x) vg(x)P(x, f (x) V Q(x,g(x),-Q(x)即G是Fl的逻辑结论,归结过程如下将F1化为子句集(Vx)P(x) t (V
6、y)Q(y) TL(x,y)0 (Vx)(P(.r) T (Vy)H2(y) v , y)0 (Vx)(P(.r)v (Vy)H2(y) vy)0 (Vx)(Vy)(P(x)v H2(y) v , y)O (Vx)(Vy)(-,P(x) v -,2(y) v -,L(x, y)0 P(x) v iQ(y) v iL(x, y)P(x) v iQ(y) v iL(x, y)j将F2化为子句集(3x)P(x) A(Vy)7?(y) T L(.x, y) 0 (3x)P(x) a (Vy)-,7?(y) v L(x, y)=(3x)(Vy)P(x) a -%) v L(x, y)(Vy)P(A) a
7、 H7?(y) v L(A, y)P(A)AH7?(y)vL(A,y)P(A),R(y)vL(A,y)即P(A),(z)vL(A,z)将G的否定化为子句集i(Vx)7?(.r) iQ(x)=(X/x)R(x) vQ(x)0 (Hr)(i7?(.r) v Q(x)(3x)7?(x)a2(x)0R(B/Q(B)7?(B),2(B)G是Fl和F2的逻辑结论,归结过程如下9、解:设ALPINE (x)表示x是ALPINE俱乐部的成员;Ski(x)表示x是滑雪运动员;Climb (x)表示x是登山运动员;Like (x, y)表示x喜欢y。则前提 ALINEQONY)ALINE(MIKE)ALINE(J
8、OHN)0x)(ALPINE(x) (Ski(x) v Climb(x)x)(Climb(x) T iLike(x,Rain)(yx)(iLike(x, Snow) iSfcz(x)(/y)(Like(TONY, y) TLike(MIKE, y) a (/yLike(TONY, y) T Like(MIKE, y)Like(TONY,Rain)Like(TONY,Snow)结论 (Bz)(ALPINE a Climb(z) a -Ski(z)将前提和结论的否定化为子句集前提 ALINE(TONY)ALINE(MIKE)ALINE(JOHN)ALINE(xi) v Ski(xi) v Clim
9、b(xi)iClimb(X2 )/ S如(3)iLike(TONY, yi) v iLikeMIKE, y)LikefTONY, y2)v Like(MIKE, yi)Like(TONY,Rain)Like(TONY,Snow)结论的否定-ALPINE(z) v -Climb(z) v Ski(z)修改证明树为在根部得到的子句ALPINE (MIKE)人Climb(MIKE) aSki(MIKE)就是答案。10、答:正向演绎推理是从事实出发,正向应用规则,直至得到目标结点为结束 条件的一致解图为止。反向演绎推理是从目标出发,逆向应用规则,直至得到事实结点为结束条件 的一致解图为止。11、解:目标子句为PVQVXPVQVYPVQVZPVRVXPVRVYPVRVZ