吉林大学计算机学院博士入学考试题, 计算智能(2000年以后大部分都有)
吉林大学计算机学院博士入学考试题, 计算智能
一、回答下列问题（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 (yz
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
五、什么叫支架集归结演绎，试证明基子句集支架集归结演绎的完备性。（10分）
你可能喜欢
- 人工智能试题及答案
- 吉林大学考博英语
- 计算复杂性理论
- 博士英语作文
- 人工智能经典试题及答案37页
- 人工智能经典试题及答案37页
- 人工智能期末试题及答案完整版(最新)7页
- 人工智能经典试题及答案24页
- 人工智能经典试题及答案47页
- 人工智能 经典考试试题及答案20页
- 吉林大学2012年考博英语其中一篇阅读理解真题及答案6页
- 吉林大学2012年考博英语完形填空及答案2页
- 吉林大学考博英语04-08试题及答案90页
- -吉林大学2012年考博英语完形填空及答案2页
- -吉林大学2011年考博英语试题11页
- -吉林大学2008年考博英语试题+答案18页
- 算法分析与计算复杂性理论37页
- 算法分析与 计算复杂性理论744页
- 算法分析与 计算复杂性理论658页
- 算法分析与 计算复杂性理论538页
- 算法分析与 计算复杂性理论462页
- 算法分析与 计算复杂性理论338页
