第四章基本的推理技术习题解答..docVIP

第四章 基本的推理技术 4.1答： (1)推理：按照某种策略从已有事实和知识推出结论的过程。 (2)正向推理 正向推理（事实驱动推理）是由已知事实出发向结论方向的推理。 基本思想是：系统根据用户提供的初始事实，在知识库中有哪些信誉好的足球投注网站能与之匹配的规则即当前可用的规则，构成可适用的规则集RS，然后按某种冲突解决策略从RS中选择一条知识进行推理，并将推出的结论作为中间结果加入到数据库DB中作为下一步推理的事实，在此之后，再在知识库中选择可适用的知识进行推理，如此重复进行这一过程，直到得出最终结论或者知识库中没有可适用的知识为止。 正向推理简单、易实现，但目的性不强，效率低。需要用启发性知识解除冲突并控制中间结果的选取，其中包括必要的回溯。由于不能反推，系统的解释功能受到影响。 (3)反向推理 反向推理是以某个假设目标作为出发点的一种推理，又称为目标驱动推理或逆向推理。 反向推理的基本思想是：首先提出一个假设目标，然后由此出发，进一步寻找支持该假设的证据，若所需的证据都能找到，则该假设成立，推理成功；若无法找到支持该假设的所有证据，则说明此假设不成立，需要另作新的假设。 ? 与正向推理相比，反向推理的主要优点是不必使用与目标无关的知识，目的性强，同时它还有利于向用户提供解释。反向推理的缺点是在选择初始目标时具有很大的盲目性，若假设不正确，就有可能要多次提出假设，影响了系统的效率。 反向推理比较适合结论单一或直接提出结论要求证实的系统。 (4)推理方式分类 演绎推理、归纳推理、默认推理 确定性推理、不精确推理 单调推理、非单调推理 启发式推理、非启发式推理 4.2答： (1) 在推理过程中，系统要不断地用数据库中的事实与知识库中的规则进行匹配，当有一个以上规则的条件部分和当前数据库相匹配时，就需要有一种策略来决定首先使用哪一条规则，这就是冲突解决策略。冲突解决策略实际上就是确定规则的启用顺序。 (2) 冲突解决策略：专一性排序、规则排序、数据排序、就近排序、上下文限制、按匹配度排序、按条件个数排序 4.3答：归结反演就是利用归结和反演实现定理的证明。具体过程如下： (1)? 将定理证明的前提谓词公式转化为子句集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) （）(x)(y)[P(x,y)Q(x,y)→R(x,y)]=(x) )(y) [~P(x,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)) （）(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(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（x）~P（B）][