1、第四章 基本的推理技术4.1 答：(1)推理：按照某种策略从已有事实和知识推出结论的过程。(2)正向推理正向推理（事实驱动推理）是由已知事实出发向结论方向的推理。基本思想是：系统根据用户提供的初始事实，在知识库中搜索能与之匹配的规则即当前可用的规则，构成可适用的规则集 RS，然后按某种冲突解决策略从 RS 中选择一条知识进行推理，并将推出的结论作为中间结果加入到数据库 DB 中作为下一步推理的事实，在此之后，再在知识库中选择可适用的知识进行推理，如此重复进行这一过程，直到得出最终结论或者知识库中没有可适用的知识为止。 正向推理简单、易实现，但目的性不强，效率低。需要用启发性知识解除冲突并控制中
2、间结果的选取，其中包括必要的回溯。由于不能反推，系统的解释功能受到影响。 (3)反向推理反向推理是以某个假设目标作为出发点的一种推理，又称为目标驱动推理或逆向推理。反向推理的基本思想是：首先提出一个假设目标，然后由此出发，进一步寻找支持该假设的证据，若所需的证据都能找到，则该假设成立，推理成功；若无法找到支持该假设的所有证据，则说明此假设不成立，需要另作新的假设。 与正向推理相比，反向推理的主要优点是不必使用与目标无关的知识，目的性强，同时它还有利于向用户提供解释。反向推理的缺点是在选择初始目标时具有很大的盲目性，若假设不正确，就有可能要多次提出假设，影响了系统的效率。反向推理比较适合结论单一
3、或直接提出结论要求证实的系统。(4)推理方式分类 演绎推理、归纳推理、默认推理 确定性推理、不精确推理 单调推理、非单调推理 启发式推理、非启发式推理 4.2 答：(1) 在推理过程中，系统要不断地用数据库中的事实与知识库中的规则进行匹配，当有一个以上规则的条件部分和当前数据库相匹配时，就需要有一种策略来决定首先使用哪一条规则，这就是冲突解决策略。冲突解决策略实际上就是确定规则的启用顺序。(2) 冲突解决策略：专一性排序、规则排序、数据排序、就近排序、上下文限制、按匹配度排序、按条件个数排序4.3 答：归结反演就是利用归结和反演实现定理的证明。具体过程如下：(1) 将定理证明的前提谓词公式转化
4、为子句集 F。(2) 将求证的目标表示成合适的谓词公式 G（目标公式） 。(3) 将目标公式的否定式 G 转化成子句的形式，并加入到子句集 F 中，得到子句集S。(4) 应用归结原理对子句集 S 中的子句进行归结，并把每次归结得到的归结式都并入S 中。如此反复进行，若归结得到一个空子句 NIL，则停止归结，证明了 G 为真。4.4 答：略4.5 答：（1）( 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)（2）( x)( y)P(x,y) Q(x,y)R(x,y)=( x) )( y) P(x,
5、y)Q(x,y) R(x,y)=P(x)P(x)=( x)P(x,f(x)Q(x, f(x) R(x, f(x)= P(x,f(x) Q(x, f(x) R(x, f(x)= P(x,f(x)R(x, f(x)Q(x, f(x) R(x, f(x)= P(x,f(x) R(x, f(x)Q(y, f(y) R(y, f(y)子句集为P(x,f(x) R(x, f(x)和Q(y, f(y) R(y, f(y)（3）( x)( y)P(x,y) ( y)Q(x,y) R(x,y)=( x) )( y) P(x,y) ( y)Q(x,y) R(x,y)= ( x) ( y) P(x,y)( y)Q(
6、x,y)R(x,y)= ( x) P(x,f(x)Q(x, f(x)R(x, f(x)= P(x,f(x)Q(x, f(x) R(x, f(x)子句集为P(x,f(x)Q(x, f(x)R(x, f(x)4.6 答：(1)(2)A/x, A/y, A/z, A/w, A/u(3)4.7 答：（1） （ x）P（x）P（A ） P（x）P（B）目标取反化子句集：（ x）P（x）P（A ） P（x）P（B） （ x）P（x）P（A ） P（x）P（B） （ x）P（x）P（A）P（x）P（B） （ x）P（x）P（A）P（x） P （x）P （A ）P（B ）（ x）P（x）P（A）P （x）P（
7、x）P（B ） P（A）P （B）P（x）P （A）P（x）P （x）P （B）P（A）P（B ）得子句集：1, P(x1)2, P(A)Px2 3, P(x3)P(B)4, P(A)P(B)（2） （ x）P（x）Q（A）Q（B）（ x）P（x）Q（x） 目标取反化子句集：( x)P(x)Q(A)Q(B)( x)P(x)Q(x)( x)P(x)Q(A)Q(B)( x)P(x)Q(x) ( x)P(x)Q(A)Q(B)( x)P(x)Q(x)( x)P(x)Q(A)Q(B)( y)P(y)Q(y) ( x)( y)P(x)Q(A)Q(B)P(y)Q(y) P(x)Q(A)Q(B) P(y)Q(
8、y)得子句集：1，P(x) 2，Q(A)Q(B) 3，P(y)Q(y) 4.8 答：4.9 答：答：我们用 Skier(x)表示 x 是滑雪运动员，Alpinist(x)表示 x 是登山运动员，Alpine(x) 表示x 是 Alpine 俱乐部的成员。问题用谓词公式表示如下：已知：(1) Alpine(Tony) (2) Alpine(Mike) (3) Alpine(John) (4) ( x)Alpine(x)Skier(x)Alpinist(x) (5) ( x)Alpinist(x)Like(x, Rain)(6) ( x)Like(x, Snow) Skier(x) (7) ( x
9、)Like(Tony, x)Like(Mike, x) (8) ( x)Like(Tony, x)Like(Mike, x) (9) Like(Tony, Snow) (10) Like(Tony, Rain) 目标：( x)Alpine(x)Alpinist(x)Skier(x) 化子句集：(1) Alpine(Tony)(2) Alpine(Mike) (3) Alpine(John) (4)( x)Alpine(x)Skier(x)Alpinist(x) = ( x)Alpine(x)Skier(x) Alpinist(x) =Alpine(x)Skier(x)Alpinist(x) (
10、5) ( x)Alpinist(x)Like(x, Rain) = ( x)Alpinist(x)Like(x, Rain) =Alpinist(x) Like(x, Rain)(6) ( x)Like(x, Snow) Skier(x) = ( x)Like(x, Snow) Skier(x) = Like(x, Snow) Skier(x)(7)( x)Like(Tony, x)Like(Mike, x) = ( x)Like(Tony, x)Like(Mike, x) =Like(Tony, x)Like(Mike, x) (8) ( x)Like(Tony, x)Like(Mike,
11、x) = ( x)Like(Tony, x)Like(Mike, x) = Like(Tony, x)Like(Mike, x)(9) Like(Tony, Snow) (10) Like(Tony, Rain) 目标取反：( x)Alpine(x)Alpinist(x) Skier(x)= ( x)Alpine(x)Alpinist(x)Skier(x) =Alpine(x)Alpinist(x)Skier(x)经变量换名后，得到子句集： Alpine(Tony), Alpine(Mike), Alpine(John), Alpine(x1)Skier(x1) Alpinist(x1), A
12、lpinist(x2)Like(x2, Rain), Like(x3, Snow) Skier(x3), Like(Tony, x4)Like(Mike, x4), Like(Tony, x5)Like(Mike, x5), Like(Tony, Snow), Like(Tony, Rain), Alpine(x)Alpinist(x)Skier(x) 归结树如下：4.10 答：基于规则的演绎推理可分为正向演绎推理、反向演绎推理和正反向混合演绎推理。在正向演绎推理中，作为 F 规则用的蕴含式对事实的总数据库进行操作运算，直至得到该目标公式的一个终止条件为止。事实 目标公式在反向演绎推理中，作为 B 规则用的蕴含式对 目标的总数据库进行操作运算，直至得到包含这些事实的终止条件为止。目标公式 事实4.11 答：
