|
友情提示：本站提供全国400多所高等院校招收硕士、博士研究生入学考试历年考研真题、考博真题、答案，部分学校更新至2012年，2013年；均提供收费下载。 下载流程： 考研真题 点击“考研试卷””下载; 考博真题 点击“考博试卷库” 下载
二○○八年招收硕士学位研究生试卷
试卷代号 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
初始数据库 目标数据库
免责声明：本文系转载自网络，如有侵犯，请联系我们立即删除，另：本文仅代表作者个人观点，与本网站无关。其原创性以及文中陈述文字和内容未经本站证实，对本文以及其中全部或者部分内容、文字的真实性、完整性、及时性本站不作任何保证或承诺，请读者仅作参考，并请自行核实相关内容。
|
文章搜索
您现在的位置： 
