|
二○○七年招收硕士学位研究生试卷
试卷代号 432 试卷名称 人工智能
①试题内容不得超过画线范围，试题必须打印，图表清晰，标注准确
②考生请注意：答题一律做在答题纸上，做在试卷上一律无效。
第 1 页 共 2 页
一、将下列公式化成 Skolem 范式，并写出对应的子句集(20 分)：
1. )),(),(( yxQyxPyxG
2. ),,,,,( wvuzyxwPvuzyxG
二、求下列子句集的 H0，H1，H2 (15 分)
))}((),()({ yfRxQxPS
三、用海伯伦定理证明子句集 )}()),(()(),({ yQxfQxPaPS 不可满足(20 分)。
四、用归结原理证明下列公式为恒真公式(40 分)：
1. ))()(())]()(())()()(([ xRxNxxNxPxxRxQxPx
2. )()()( RPRQQP
五、某企业招聘职工，a、b、c 三人应试。经测试后，企业表示如下想法：
(1)在三个应试人中至少录取一人；
(2)如果录取 a 而不录取 b, 则一定录取 c；
(3)如果录取 b，则一定录取 c。
问企业录取了谁？ [提示：定义谓词 P(x)，表示录取了 x。] (20 分)
六、用不可撤回策略(爬山法)求解下列 8 谜问题(15 分)：
初始数据库
1 3
6 2 4
8 7 5
目标数据库
1 2 3
8 4
7 6 5
，更多更新年份持续更新，请在本站的考博信息网|www.kaoboinfo.com中的“考研试卷库”学校栏目中查询下载。
|
您现在的位置： 
