人工智能试卷-.pdf
《人工智能试卷-.pdf》由会员分享,可在线阅读,更多相关《人工智能试卷-.pdf(6页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、一、填空题(共 30 分)1.归结法中,可以通过-的方法得到问题的解答。2.化成子句形式为:。3.从已知事实出发,通过规则库求得结论的产生式系统的推理方式是 4.AI 是是的英文缩写 5.人工智能的基本技术包括、。6.目前所用的知识表示形式有、等。7.产生式系统有三部分组成,和推理机。其中推理可分为和。8.在谓词公式中,紧接于量词之后被量词作用的谓词公式称为该量词的,而在一个量词的辖域中与该量词的指导变元相同的变元称为,其他变元称为 9、1997 年月,著名的“人机大战”,最终名为“”的计算机以 3.5 比 2.5 的总比分将世界国际象棋棋王卡斯帕罗夫击败。10、人工智能的远期目标是,近期目标
2、是。11、谓词逻辑中,重言式(tautlogy)的值是。12、利用归结原理证明定理时,若得到的归结式为,则结论成立。13、若 C1=PQ,C2=PQ,则 C1 和 C2 的归结式 R(C1,C2)=。14、若 C1=P(x)Q(x),C2=P(a)R(y),则 C1 和 C2 的归结式 R(C1,C2)=。15、在归结原理中,几种常见的归结策略并且具有完备性的是,。16、在启发式搜索当中,通常用来表示启发性信息。17、假言推理(AB)A,假言三段论(AB)(BC).二、选择题(15 小题,共 15 分 1.人工智能是一门 A)数学和生理学 B)心理学和生理学 C)语言学 D)综合性的交叉学科和
3、边缘学科 2、下列哪个不是人工智能的研究领域()A.机器证明 B.模式识别 C.人工生命 D.编译原理 3.神经网络研究属于下列()学派 A.符号主义 B.连接主义 C.行为主义 D.都不是 4.已知初始问题的描述,通过一系列变换把此问题最终变为一个子问题集合;这些子问题的解可以直接得到,从而解决了初始问题。这是知识表示法叫()A.状态空间法 B.问题归约法 C.谓词逻辑法 D.语义网络法 5.在公式中yxp(x,y),存在量词是在全称量词的辖域内,我们允许所存在的 x 可能依赖于 y 值。令这种依赖关系明显地由函数所定义,它把每个 y 值映射到存在的那个 x。这种函数叫做()A.依赖函数 B
4、.Skolem 函数 C.决定函数 D.多元函数 6.子句PQ 和 P 经过消解以后,得到()A.P B.Q C.P D.PQ 7、8.A(AB)A 称为(),(AB)AB 称为()A.结合律 B.分配律 C.吸收律 D.摩根律 8、下列哪部分不是专家系统的组成部分()A.)用户 B)综合数据库 C)推理机 D)知识库 9、产生式系统的推理不包括()A)正向推理 B)逆向推理 C)双向推理 D)简单推理 10、C(B|A)表示在规则 A-B 中,证据 A 为真的作用下结论 B 为真的 A)可信度 B)信度 C)信任增长度 D)概率 11、AI 的英文缩写是 A)Automatic Intell
5、igence B)Artifical Intelligence C)Automatice Information D)Artifical Information 12、反演归结(消解)证明定理时,若当前归结式是()时,则定理得证。A)永真式 B)包孕式(subsumed)C)空子句 13、在公式中yxp(x,y),存在量词是在全称量词的辖域内,我们允许所存在的 x 可能依赖于 y 值。令这种依赖关系明显地由函数所定义,它把每个 y 值映射到存在的那个 x。这种函数叫做()A.依赖函数 B.Skolem 函数 C.决定函数 D.多元函数 14、子句PQ 和 P 经过消解以后,得到()A.P B.
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 人工智能 试卷
限制150内