(人工智能)人工智能试卷.docxVIP

（人工智能）人工智能试卷 20XX年XX月峯年的企业咨询咸问经验.经过实战验证可以藩地执行的卓越萱理方案.值得您下载拥有 20XX年XX月 峯年的企业咨询咸问经验.经过实战验证可以藩地执行的卓越萱理方案.值得您下载拥有 壹、填空题(共30分) 1?归结法中，能够通过 的方法得到问题的解答。 TOC \o 1-5 \h \z 化成子句形式为： 。 从已知事实出发，通过规则库求得结论的产生式系统的推理方式是 AI是是 的英文缩写_ 人工智能的基本技术包括 、 、 、——、——。 目前所用的知识表示形式有 、 、 等。 产生式系统有三部分组成 ， 和推理机。其中推理可分为 和 。 于谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的 ，而于壹个 量词的辖域中和该量词的指导变元相同的变元称为 ，其他变元称为 1997年5月，著名的“人机大战”，最终名为“ ”的计算机以3.5比 2.5的总比分将世界国际象棋棋王卡斯帕罗夫击败。 人工智能的远期目标是 ,近期目标 TOC \o 1-5 \h \z 11、 谓词逻辑中，重言式(tautlogy )的值是 。 12、 利用归结原理证明定理时，若得到的归结式为 ，则结论成立。 13、 若 C1= nPVQ , C2=P VnQ，贝U C1 和 C2 的归结式 R ( C1 , C2 ) = 。 14、 若 C1=P(x) VQ(x) , C2=「P(a) VR(y)，则 C1 和 C2 的归结式 R (C1 , C2) = 15、 于归结原理中，几种常见的归结策略且且具有完备性的是 , , 。 16、 于启发式搜索当中，通常用 来表示启发性信息。 17、 假言推理(A B) A ，假言三段论(A B) (B C) . 二、选择题(15小题，共15分 人工智能是壹门 A）数学和生理学 B）心理学和生理学 C）语言学 D） 综合性的交叉学科和边缘学科 2 、下列哪个不是人工智能的研究领域（） 机器证明 模式识别 人工生命 编译原理 神经网络研究属于下列（）学派 A .符号主义 B.连接主义 C .行为主义 D. 均不是 已知初始问题的描述，通过壹系列变换把此问题最终变为壹个子问题集合；这些子问题的 解能够直接得到，从而解决了初始问题。这是知识表示法叫（） 状态空间法 问题归约法 C .谓词逻辑法 D. 语义网络法 于公式中 y xp（x,y）） ，存于量词是于全称量词的辖域内，我们允许所存于的 x 可能依赖于 y值。令这种依赖关系明显地由函数所定义，它把每个 y值映射到存于的那个 x。这种函数 叫做（） 依赖函数 Skolem 函数 c?决定函数 D.多元函数 子句~P Q和P经过消解以后，得到（） P Q c.~P D. P Q 、8.A （ A B） A 称为（）， ~ （ A B） ~A ~B 称为（） A.结合律B.分配律C.吸收律D.摩根律 、下列哪部分不是专家系统的组成部分（） A.）用户B）综合数据库C）推理机D）知识库 、产生式系统的推理不包括（） A ）正向推理 B ）逆向推理 C）双向推理 D ）简单推理 10、C（B|A）表示于规则A-B中，证据A为真的作用下结论 B为真的 A）可信度B）信度C）信任增长度D）概率 、 AI 的英文缩写是 A）AutomaticIntelligenceB）ArtificalIntelligence C）AutomaticeInformationD）ArtificalInformation 、反演归结（消解）证明定理时，若当前归结式是（）时，则定理得证。 A）永真式B）包孕式（subsumed ） C）空子句 、于公式中 y xp（x,y）） ，存于量词是于全称量词的辖域内， 我们允许所存于的 x 可能依赖 于 y 值。令这种依赖关系明显地由函数所定义，它把每个 数叫做() 依赖函数 Skolem 函数 C?决定函数 多元函数 14、子句 ~P Q 和 P 经过消解以后，得到() TOC \o 1-5 \h \z P Q ~P P Q 15 、如果问题存于最优解，则下面几种搜索算法中， 广度优先搜索 深度优先搜索 有界深度优先搜索 D .启发式搜索 三、简答和应用题 1. 深度优先方法的特点是什么？ 6 2. 什么是置换？置换是可交换的吗？ 6 分 3. 某问题由下列公式描述： y 值映射到存于的那个 x 。这种函)必然能够得到该最优解。(1)、试用归结法证明 (x)R(x) ；8 分 y 值映射到存于的那个 x 。这种函 )必然能够得到该最优解。 4.下图所示博弈树，按从左到右的顺序进行 a- B剪枝搜索，试标明各生成节点的 到推值，何处发生剪枝，及应选择的走步。10分 5.10分设有