人工智能作业答案(2).pdfVIP

人工智能作业答案(2)--第1页 人工智能作业答案（2） 第三章 确定性推理 什么是推理？它有哪些分类方法？ P74 所谓推理是指按照某种策略从已知事实出发去推出结论的过程。知识推理是指在计算机或智 能机器中，在知识表达的基础上，利用形式化的知识模型，进行机器思维求解问题，实现状 态转移的智能操作序列。 根据知识表示方式分类： “图搜索”方法、 逻辑论证“ ”方法； 根据推理算法与推理步骤分类； 根据启发式与非启发式分类； 根据逻辑基础分类：演绎推理、归纳推理、默认（缺省）推理； 根据知识的确定性分类：确定性推理、非确定性推理； 根据推理过程的单调性分类：单调推理、非单调推理。 推理中的冲突消解策略有哪些？ P82 冲突消解的基本思想是：对可用知识排序。具体地讲，包括以下策略： a)特殊知识优先 b)新鲜知识优先 c)差异性大的知识优先 d)领域特点优先 e)上下文关系优先 f)前提条件少者优先 什么是置换？什么是合一？什么是最一般合一？ P88-89 置换：在谓词表达式中用置换项置换变量。 合一：寻找项对变量的置换，以使表达式一致。 最一般合一 (mgu) ：通过置换最少的变量以使表达式一致，这个置换就叫最一般合一。 判断下列公式是否可以合一，若可合一，则求出其最一般合一。 （1） P(a,b)，P(x,y) {a/x，b/y} （2） P(f(x),b)，P(y,z) {f(x)，b/z} （3） P(f(x),y)，P(y,f(b)) 人工智能作业答案(2)--第1页 人工智能作业答案(2)--第2页 {b/x，f(b)/y} （4） P(f(y),y,x)，P(x,f(a),f(b)) {f(y)/x，f(a)/y，f(b)/x}不可合一 （5） P(x,y)，P(y,x) ｛x/y，y/x｝不可合一 把下列谓词公式化成子句集： （1）（ x）（ y）（P （x，y）∧ Q （x，y）） { P （x，y）， Q （z，w ）} （2）（ x）（ y）（P （x，y）→ Q （x，y）） ｛┐P （x，y）∨Q （x，y）｝ （3）（ x）（ y）（P （x，y）∨（Q （x，y）→ R （x，y））） （ x）（ y）（P （x，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)）｝ （4）（ x）（ y）（ z）（P （x，y）→ Q （x，y）∨ R （x，z）） （ x）（ y）（ z）（┐P （x，y）∨ Q （x，y）∨ R （x，z）） （ x）（ y）（┐P （x，y）∨ Q （x，y）∨ R （x，f(x,y)）） ｛┐P （x，y）∨ Q （x，y）∨ R （x，f(x,y)）｝ （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 ）） （ z）（ v）（P （a，b，z，f(z)，v，g(z,v)）∨ ┐R （a，z，g(z,v)）∧ Q （a，b，z，f(z)， v，g(z,v)）∨ ┐R （a，z，g(z,v)）） { P（a，b，z，f(z)，