一、回答下列问题（30分）1、什么叫宽度优先搜索？宽度优先搜索的优点在何处？缺点在何处？2、试说明逻辑符号“⇒”、“→”的含义和差别。

3、请举出输入归结演绎不完备的例子。

4、设S={P(x),Q(f(a))}是子句集，请举出I 是S 的普通解释，而不是其Herbrand 解释的例子。

5、请举出公式与其Skolem 范式不等价的例子。

6、什么叫A 算法？什么叫A *算法？什么叫A *算法是可采纳的？两个A *算法如何比较好坏？二、求解下列问题（30分）1、设八数码问题有估价函数：f(n)=d(n)+W(n)；其中d(n)是节点n 在搜索树中的深度，W(n)是节点n 中“不在位”数码的个数；试给出以下面为初始节点和目标节点的图搜索过程，指明各节点估价函数值和整体解路径，并计算该搜索过程的渗透度是多少？有效分枝系数是多少？2、将公式G 化为Skolem 范式，并给出G 的子句集S 。

((,)(((,())((,())(G x E x a y E y g x z E z g x E y z=∀→∃∧∀→3、使用基于规则的正向演绎系统证明下面问题：已知事实A B ∨；规则两条A C D →∧，B E G →∧；目标C G ∨。

画出演绎过程与/或图。

三、证明第一种形式的Herbrand 定理：设S 是子句集，则S 是不可满足的，当且仅当对应于S 的每一个完全语义树都存在一个有限的封闭语义树。

（15分） 四、总结α-β过程，并以下述博弈树为例，以优先产生左边子节点的次序进行α-β剪枝，指出在何处发生剪枝、何处为α修剪、何处为β修剪？标明发生剪枝的节点和初始节点返回值的变化。

图中□表示极大点，○表示极小点。

（15分）30-3-1-2014125-11-1-13-3236-2初始状态目标状态一、叙述图搜索算法GRAPHSEARCH 过程；设八数码问题有两个估价函数：f 1(n)=d(n)+W(n)；f 2(n)=d(n)+P(n)+3S(n)。

其中d(n)是节点n 在搜索树中的深度，W(n)是节点n 中“不在位”数码的个数，P(n)是每个数码离开目标位置的距离的和。

S(n)是由如下方式得到的序列分：对于非中心的外圈上的数码沿顺时针方向走一圈，如果一个数码后面的数码不是它在目标状态下的后继者，则给这个数码记2分，否则记0分；对于中心位置，有数码的记1分，没有的话记0分。

然后把所有上述得分加起来，就得到序列分S(n)。

现有初始状态和目标状态描述如下：请画出各自的启发式搜索过程图，在图中标明各节点的估价函数值，并标明节点扩展的次序。

计算出各自的渗透度和有效分枝系数。

（40分）二、总结博弈搜索的极小极大过程和α-β过程，并以下述博弈树为例，给出两个过程的各节点返回值和搜索到的路径（请画出两个过程图）。

对于其中的α-β过程以优先产生左边子节点的次序进行α-β剪枝，指出在何处发生剪枝、何处为α修剪、何处为β修剪？标明发生剪枝的节点和初始节点返回值的变化。

图中□表示极大点，○表示极小点。

（20分）3-30-1-201451-1-1332-2三、（27分）1、设子句集{(),(())()}S P x Q f y R y =∨，求S 的H 域，S 的原子集，子句(())()C Q f y R y =∨的基例集合。

2、使用合一算法判断表达式集合W={Q(f(a), g(x)), Q(y, y)}是否可合一，若可合一，则求出最一般合一。

3、试用表推演方法证明{(()()),(()()),(())}x P x Q x y Q y R y z R z ∀→∀→∃ 共同蕴含(())u P u ∃ 。

四、设S 是命题逻辑子句集，P 是S 中出现的一个原子符号，于是可将S 中子句分为三部分：含有文字P 的部分11{,...,}n S C P C P =∨∨，含有文字～P 的部分21{,...,}m S B P B P =∨∨ ，和不含文字P 或~P 的部分S 3。

令113'{,...,}nS C C S = ，213'{,...,}m S B B S = ，请证明S 是不可满足的当且仅当S1’ , S2’ 都是不可满足的。

（8分）初始状态目标状态一、简要回答下列问题（24分）1、以八数码问题为例，说明产生式系统的基本组成。

2、什么叫A*算法？A*算法的主要性质是什么？3、在基于规则的演绎系统中，什么是合一复合替换？为什么要考虑替换的相容性？4、在基于规则的正向演绎系统中，规则和目标各要求怎样的形式？5、基于规则的正向演绎系统是否完备？反向演绎是否完备？双向演绎是否完备？6、在启发式搜索中，估价函数一般定义为f(n)＝g(n)＋h(n)，指明定义中各部分的含义，并说明为什么使用这种定义方式。

7、在合一算法中，设W是非空表达式集合，D是W的差异集合，则当D具有怎样的形式时，W是不可合一的？8、常用的知识表示方法有哪几种，简要回答各自的特点。

二、判断对错（14分）1、OPEN表上任一具有f(n)≤f*(s)的点，最终都将被A*算法选作扩展的节点。

2、若满足单调限制，则A*算法所扩展的节点序列的f值是单调递增的。

3、设θ，λ是两个替换，则θ·λ=λ·θ。

4、表达式集合W={P(f(x), g(y, z), z), P(y, h(k(x)), f(z))}是可合一的。

5、渗透度和有效分枝系数都是关于图搜索方法启发能力的空间复杂性度量标准。

6、子句集S恒假，当且仅当对每一个解释I，使S中的每个子句C的基例C’被I弄假。

7、一阶逻辑中任一公式是否是恒假的，可用归结方法判定。

三、（12分）1、若E=Q(y, f(y, g(x))), θ={a/x, b/y, y/z},λ={a/x, z/y, f(x)/z}, 求Eθ, Eλ, Eθ·λ2、使用回溯搜索策略求解四皇后问题。

其中规则排序使用对角线函数diag(i, j)，若diag(i, j)＜diag(m, n)，则在排序中把规则R ij放在规则R mn的前面。

diag (i, j)定义为用过单元(i, j)的最长对角线的长度。

若diag函数值相同则规则随机排序。

四、使用归结方法证明下述子句集是不可满足的（写出整个归结过程和每一步归结使用的合一替换）。

=∨∨∨∨∨{(,(),()),(),(,,()),(,,)(,),()(,,)(,)(,)(,),(,)}S A a f c f b B a A x x f x A x y z C x z B x A y z u C x u C x y C x z C a b （10分）五、设产生式系统PS，其状态集合DB={a, b, c, d, e, f, g, h, i, m}，产生式规则为：a→b，c→m，g→h，a→c，d→e，h→i，a→d，e→f，m→i，b→g，f→m设a为初始状态，规则应用费用为1，各状态的启发函数值为：用A算法画出节点c扩展前与扩展后的搜索图与搜索树，要求标出图中节点的扩展次序、估价函数值，写出节点c扩展前CLOSED表与OPEN表中的元素。

（15分）六、已知子句集S={P(g(x), z), ~P(f(y), h(a))}，求S的原子集、S的语义树。

若给定S的一个解释I如下：D={1, 2} a g(1) g(2) f(1) f(2) h(1) h(2) P(1, 1) P(2, 2) P(2, 1) P(1, 2)2 2 1 1 2 2 1 F F T T*七、对下面的博弈树以优先产生左边子节点的次序进行α-β剪枝，指出在何处发生剪枝、何处为α修剪、何处为β修剪？标明发生剪枝的节点和初始节点返回值的变化，以及搜索到的路径。

图中□表示极大点，○表示极小点。

说明一般的α-β剪枝过程中，什么情况下效率最高。

（10分）3-30-1-201451-1-1332-2一、简要回答下列问题（24分） 1、请叙述产生式系统的过程。

2、回答产生式系统的分类，并说明各自的优缺点。

3、叙述什么样的产生式系统是可交换的产生式系统。

4、说明无信息的图搜索过程与启发式图搜索过程的差异，并举出两种典型的无信息图搜索方法。

5、叙述一阶逻辑解释的定义。

6、在语义上证明子句集恒假时，仅考虑该子句集的Herbrand 解释是否够用？为什么？7、在基于规则的演绎系统中，什么是合一复合替换？为什么要考虑替换的相容性？8、机器学习一般分为哪几种类型？二、设八数码问题有估价函数：f(n)=d(n)+W(n)；其中d(n)是节点n 在搜索树中的深度，W(n)是节点n 中“不在位”数码的个数。

现有初始状态描述和目标状态描述如下：请画出启发式搜索过程图，在图中标明各节点的估价函数值，并标明节点扩展的次序。

（20分）三、试用表推演方法证明{(()()),(()()),(())}x P x Q x y Q y R y z R z ∀→∀→∃ 共同蕴含(())u P u ∃ 。

（16分）四、叙述合一算法，并用合一算法求出W={P(a, x, f(g(y))), P(z, f(z), f(u))}的最一般合一。

（写出算法的执行步骤，20分）五、欲对某一有解的图搜索问题试用A *算法，试证明A *算法终止前的任何时刻OPEN 表中总存在节点n ’，n ’在最佳解路径上，满足f(n ’)≤f *(s)，其中s 为初始节点。

（15分）六、在归结推理方法中，若不取因子而仅使用二元归结式是不完备的，请举出一个反例。

（5分）初始状态目标状态一、回答下列问题（20分） 1、什么是可交换产生式系统？2、影响A 算法启发能力的因素有哪些？3、叙述α-β过程的剪枝规则。

4、归结原理有哪几种重要的改进？5、描述基于规则的正向演绎系统的初始状态、规则和目标的一般形式。

二、请用估价函数：f(n)=d(n)+W(n) 求解八数码问题，其中d(n)是节点n 在搜索树中的深度，W(n)是节点n 中“不在位”数码的个数。

画出启发式搜索过程图，在图中标明各节点的估价函数值，并标明节点扩展的次序。

（20分）三、叙述合一算法，并用该算法寻找表达式集W={R(x, x), R(f(a), g(y))}的最一般合一。

（20分）四、使用AO *算法，启发函数应满足什么条件？下图是已给出的与/或图，其中n 0是初始节点，{n 7, n 8}是目标节点集，h 是启发函数，并假定k-连接符的费用是k 。

请用AO *算法求解其最优解图。

（20分）n0五、证明下述归结方法的完备性定理：如果基子句集S 是不可满足的，则存在从S 推出空子句的归结演绎。

（20分）初始状态目标状态1、人工智能的主要研究领域有哪些？2、产生式系统由哪几部分组成？各部分的作用是什么？3、产生式系统的控制策略有哪几种方式？4、什么是深度优先搜索？什么是宽度优先搜索？5、什么叫启发信息？它是如何使用的？6、影响A 算法启发能力的要素有哪些？7、搜索方法的启发能力有哪几种基本的度量方法？ 8、什么是从子句集S 推出子句C 的归结演绎？ 9、什么是可交换产生式系统？10、在归结演绎中，什么叫最一般的合一替换？二、试述可分解产生式系统的基本过程。