|
二○○八年招收硕士学位研究生试卷
试卷代号 916 试卷名称 人工智能原理
①试题内容不得超过画线范围，试题必须打印，图表清晰，标注准确
②考生请注意：答案一律做在答题纸上，做在试卷上一律无效。
第 1 页 共 2 页
一、将下列公式化成对应的 Skolen 范式，并写出对应的子句集（20 分）：
1． )),,()),(),((( zyxRzxQyxPzyxG
2． ),,,,,( wvuzyxwRvuzyxG
二、画出子句集 )}(),(),()({ bRaPyRxPS 完全语义树和封闭语义树（15 分）。
三、设子句 )()()(1
xRxQaPC
)()(2
bQyPC
求 21
CC 、 的归结式 12
C （10 分）。
四、用归结原理证明下列公式为恒真公式（40 分）：
1． PQQP ))((
2． )]()([)]()()([ xQxPxbQaQxPx
五、已知 1F ：王先生是小李的老师；
2F ：小李与小张是同班同学；
3F ：如果 x 和 y 是同班同学，则 x 的老师就是 y 的老师。
求小张的老师是谁？（20 分）
六、使用估价函数，求解下列 8 谜问题：（15 分）
2 8 3 1 2 3
1 4 8 4
7 5 7 6 5
初始数据库 目标数据库
，更多更新年份持续更新，请在本站的考博信息网|www.kaoboinfo.com中的“考研试卷库”学校栏目中查询下载。
|
您现在的位置： 
