人工智能试卷(B)_第1页
人工智能试卷(B)_第2页
人工智能试卷(B)_第3页
免费预览已结束,剩余1页可下载查看

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

1、人工智能试卷(B) 试题部分:一、选择题(15 小题,共 15 分)197 年月,著名的“人机大战3.5 比2.5 卡斯帕罗夫击败,这台计算机被称为( )A)深蓝B)IBMC)深思D)蓝2、下列不在人工智能系统的知识包含的4 个要素中A)事实B)规则C)控制和元知识 D)关系则其归结式C=()A) C1C2B)C1C2C)C1C24、或图通常称为A)框架网络B)语义图则其归结式C=()A) C1C2B)C1C2C)C1C24、或图通常称为A)框架网络B)语义图C)博亦图D)C1 C2D)状态图5、不属于人工智能的学派是A)符号主义B)机会主义C)行为主义D)连接主义。6、人工智能的含义最早由一

2、位科学家于1950 年提出,并且同时提出一个机器智能的测试模型,请问这个科学家是A)明斯基B).扎德C)图林D)冯诺依曼7要研究计算机如何自动获取知识和技能,实现自我完善,这门研究分支学科叫( 。A)专家系统B)机器学习C)神经网络D)模式识8、下列哪部分不是专家系统的组成部分()A.)用户B)综合数据库C)推理机D)知识9、产生式系统的推理不包括()A)正向推理B)逆向推理C)双向推理D)简单推理10C(B|A) 表示在规则A-B 中,证据A 为真的作用下结论B 为真A)可信度B)信度C)信任增长度D)概率11、AI 的英文缩写是A)Automatic IntelligenceB)Artif

3、ical IntelligenceC)Automatice InformationD)Artifical Information12、反演归结(消解)证明定理时,若当前归结式是( )时,则定理得证。永真式B)包孕式(subsumed)C)空子句13、在公式中 y xp(x,y),存在量词是在全称量词的辖域内,我们允许所存在的x 可能依赖于y 值。令这种依赖关系明显地由函数所定义,它把每个y 值映射到存在的那个x。这种函数叫做( )依赖函数Skolem函数决定函数多元函数14、子PQ 和P 经过消解以后,得到()PQPPQ1、如果问题存在最优解,则下面几种搜索算法中( )必然可以得到该最优解。广

4、度优先搜索深度优先搜索有界深度优先搜索启发式搜索二、填空题(共30分:1.在谓词公式中,紧接于量词之后被量词作用的谓词公式称为该量词的,而一个量词的辖域中与该量词的指导变元相同的变元称为,其他变元称为2、假言推理B)A,假言三段论B) (BC)3、几种常用的归结策略:、支持集策略、线形归结策略、输入归结策略、单归结策略4、在诸如走迷宫、下棋、八数码游戏等游戏中,常用到的一种人工智能的核心技术称为 图来表,这种图称为在启发式搜索当中,通常用来表示启发性信息。在二人博弈问题中,最常用的一种分析技术是,这种方法的思想是先生成棵博弈树,然后再计算其倒推值。但它的效率较低,因此人们在此基础上,又提出了7

5、、不确定性类型按性质分:,。8、在删除策略归结的过程中删除以下子句:含有的子句;含的子句子句集中被别的子句的子句。9、对证据的可信度C(、C(A1C(A2)之间,规定如下关系: CF(A)=、CF(A1A2 )=CF(A1A2 )=。10图指由组成的网络按连接同一节点的各边的逻辑关系可分为和。、合一算法:求非空有限具有相同谓词名的原子公式集的。12、开发专家系统所要解决的基本问题有三个,那就是知识的获取、知识的表示和 ,知识表示的方法主要有 , , 和语义网络等,在语义网络表示知识时,所使用的推理方法有 和三、简答与应用题1、 谓词逻辑形式化下列描述“不存在最大的整数”(4 分) 2. 剪枝的

6、条件是什么?(6 分)3、某问题由下列公式描述:(1)、试用归结法证明( x)R(x);(8 分) 分)何谓“图灵实验”?简单描述之 分)61)如果x 是y 的父亲,y 又是z 的父亲,则x 是z ()老李3)(10分)给19九个数字排一个序列n(n=1,.,9) 个数字组成的整数能被n 整除。(2). (15 分)ADAADADBCBADBBCBBA二、填空题约束变元自由变元1、辖域约束变元自由变元AC2 、 BAC3、删除策略状态空间图(或状态图)4、图搜索状态空间图(或状态图)5、启发函数6、极大极小分析法-剪枝技术7、随机性 模糊性 不一致性 不确定性8、纯文字 永真类含9C(A) m

7、inC(A1C(A)maxC(A1,C(A)10、或图 与或图11、最一般合一12、知识的运用 逻辑表示法(谓词表示法) 框架 产生式 AKOISA三、简答及应用题1、定义谓词G(x):x D(x,y):x y形式化为: y) D(x, y) 或者xG(x) yG( y) D( y, x) 2: 值,即(先辈层(后继层,则可中止该极小值层中这个MIN 节点以下的搜索过程。这个MIN 节点最终的倒推值就确定为这个 值。 剪枝:若任一极大值层节点的 值大于或等于它任一先辈极小值层节点的 值,即(后继层(先辈层,则可以中止该极大值层中这个MAX MAX 节点的最终倒推值就确定为这个 值。3、化子句集

8、如下:4、答(和原则,即也要进行系统分析、系统设计等几个阶段的工作。()但由于它是专家系统,而不是一般的软件系统,所以,又有其独特的地方,主要包括以下几个步骤:)系统总体分析与设计; )知识获取; )知识表示与知识描述语言设计; )推理机与解释模块设计; )总控与界面设计)编程与调试)测试与评价)运行与维护()可以看出它有如下特点: )知识表示与知识描述语言确定后,其他设计可同时进行;5、答:所谓“图灵实验判断谁是人,谁是机器。如果主持人无法判断谁是人,谁是机器,则这台机器具备智能,即所谓的“智能机器”。6、解:现定义如下谓词F(x,y)- x y 的父亲G(x,z)x y 的祖父;用谓词逻辑

9、表示已知与求解:(1)F(x,y)F(y,z)G(x,z)F(L,D)F(D,X)(4) G(u,v),u=?,v=?其中,L 表示老李,D 表示大李,X 表示小李。先证存在祖孙关系 F(x,y)F(y,z)G(x,z)从(1)变换 F(L,D)变换 F(D,X)变换 G(u,v)结论的否定 F(D,z)G(L,z)置换L/x,D/y G(L,X)置换X/z 置换得证说明存在祖孙关系。为了求解用一个重言式 G(u,v)G(u,v) 用重言式代替结论的否定,重言式恒为真 F(D,z)G(L,z)置换L/x,D/y G(L,X)置换X/z G(L,X)置换得结果:LX 的祖父,即老李是小李的祖父。7、如下的知识可以帮助求解该问题:序列中,偶数在偶数位置,奇数在奇数位置;综合数据库:1 9 = x,其中x 1 9 规则集:r1: IF len(N)=4 THEN x5r2: IF len(N)为偶数and

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论