资源简介：湖北工业大学432人工智能原理2007年考研真题考研试题    

        下载流程： 考研真题 点击“考研试卷””下载; 考博真题 点击“考博试卷库” 下载

 

二○○七年招收硕士学位研究生试卷
试卷代号 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

 

说明：本站提供的《湖北工业大学432人工智能原理2007年考研真题考研试题 》源自权威渠道，为历年考过（被使用过）的真题试卷，除标注有“回忆版”字样的试题外，其余均为原版扫描，权威可靠；回忆版试题由当年参加全国硕士、博士研究生入学考试考生回忆，内容完整。