《人工智能导论》试卷库-10

1、人工智能试试卷（B）试题部分：一、选择题题（15小小题，共115分）1、97年年月，著著名的“人机大战战”，最终计计算机以33.5比22.5的总总比分将世世界国际象象棋棋王卡卡斯帕罗夫夫击败，这这台计算机机被称为（ ）A）深蓝 B）IBM C）深思思 D）蓝天天2、下列不不在人工智智能系统的的知识包含含的4个要要素中A)事实B)规则则C)控制制和元知识识D)关系系3、谓词逻逻辑下，子子句, CC1=LC1, C2= LLC2,若是互补文文字的（最最一般）合合一置换，则则其归结式式C=（ ）A) C11C2B)C1C2C)C1C2D)C1 C24、或图通通常称为A）框架网网络 B)语义义图 C)

2、博亦亦图 D)状态态图5、不属于于人工智能能的学派是是A)符号主主义 B)机会会主义 C)行为为主义 D)连接接主义。6、人工智智能的含义义最早由一一位科学家家于19550年提出出，并且同同时提出一一个机器智智能的测试试模型，请请问这个科科学家是A)明斯基基 B).扎扎德 C)图林林 D)冯.诺依曼7、要想让让机器具有有智能，必必须让机器器具有知识识。因此，在在人工智能能中有一个个研究领域域，主要研研究计算机机如何自动动获取知识识和技能，实实现自我完完善，这门门研究分支支学科叫（ ）。A)专家系系统 B)机器器学习 C)神经经网络 D)模式式识别8、下列哪哪部分不是是专家系统统的组成部部分（

3、）A.）用户户 B）综合合数据库 C）推理理机 D）知识识库9、产生式式系统的推推理不包括括（ ）A）正向推推理 B）逆向向推理 C）双向向推理 D）简单单推理10、C(B|A) 表示在在规则A-B中，证证据A为真真的作用下下结论B为为真的A)可信度度 B)信度度 C)信任任增长度 D)概率率11、AII的英文缩缩写是A)Auttomattic IIntellligeence B)Arrtifiical InteelliggenceeC)Auttomattice Infoormattion D)Arrtifiical Infoormattion12、反演演归结（消消解）证明明定理时，若若当前归

4、结结式是（ ）时，则则定理得证证。A)永真式式B)包孕孕式（suubsummed）C)空子子句13、在公公式中yxp(xx,y)，存在量量词是在全全称量词的的辖域内，我我们允许所所存在的xx可能依赖赖于y值。令这种依依赖关系明明显地由函函数所定义义，它把每每个y值映映射到存在在的那个xx。这种函函数叫做（ ） AA. 依赖赖函数 BB. Skkolemm函数 CC. 决定定函数 D. 多元元函数14、子句句PQ和和P经过消消解以后，得得到（ ） AA. P BB. Q CC. PPQ15、如果果问题存在在最优解，则则下面几种种搜索算法法中，（ ）必然然可以得到到该最优解解。广度优先搜搜索深度优

5、先搜搜索有界深度优优先搜索D. 启发发式搜索二、填空题题（共300分）：1.在谓词词公式中，紧紧接于量词词之后被量量词作用的的谓词公式式称为该量量词的 ，而在在一个量词词的辖域中中与该量词词的指导变变元相同的的变元称为为 ，其其他变元称称为 2、假言推推理（ABB）A ，假假言三段论论（AB）（BC） 3、几种常常用的归结结策略： 、支支持集策略略、线形归归结策略、输入归结结策略、单单元归结策策略4、在诸如如走迷宫、下棋、八八数码游戏戏等游戏中中，常用到到的一种人人工智能的的核心技术术称为 技术术，解这类类问题时，常常把在迷宫宫的位置、棋的布局局、八数码码所排成的的形势用图图来表，这这种图称为

6、为 5.在启发发式搜索当当中，通常常用 来表示启启发性信息息。6.在二人人博弈问题题中，最常常用的一种种分析技术术是 ，这种方方法的思想想是先生成成一棵博弈弈树，然后后再计算其其倒推值。但它的效效率较低，因因此人们在在此基础上上，又提出出了 7、不确定定性类型按按性质分：，。8、在删除除策略归结结的过程中中删除以下下子句：含含有的子句;含有的的子句;子子句集中被被别的子句句的子句句。9、对证据据的可信度度CF（AA）、CFF（A1）、CF（AA2）之间间，规定如如下关系：CF（AA）=、CF（AA1A2 ）=、CF（A11A2 ）=。10、图：指由组成成的网络。按连接同同一节点的的各边的逻逻辑

7、关系又又可分为和和。11、合一一算法：求求非空有限限具有相同同谓词名的的原子公式式集的。12、开发发专家系统统所要解决决的基本问问题有三个个，那就是是知识的获获取、知识识的表示和和 ，知识表表示的方法法主要有 ， ， 和语语义网络等等，在语义义网络表示示知识时，所所使用的推推理方法有有 和 三、简答与与应用题谓词逻辑形形式化下列列描述“不存在最最大的整数数”(4分)2.剪枝的条条件是什么么？（6分）3、某问题题由下列公公式描述：(1)、试试用归结法法证明(xx)R(xx)；（8分）4. 专家家系统的一一般步骤有有哪些？专专家系统的的开发与一一般的软件件系统开发发相比较，有有哪些共同同点和特点点

8、？（7分分）5.何谓“图灵实验验”？简单描描述之（55分）6、设有如如下关系：（1）如如果x是yy的父亲，yy又是z的的父亲，则则x是z的的祖父；（22）老李是是大李的父父亲；（33）大李是是小李的父父亲；问上上述人员中中谁和谁是是祖孙关系系？(100分)7. 给119九个个数字排一一个序列，使使得该序列列的前n(n=1,.,9) 个个数字组成成的整数能能被n整除除。(1)、讨讨论哪些知知识可以帮帮助该问题题的求解。(22)、用产产生式系统统描述该问问题. (15分分)答案部分一、选择题题ADADBCBADBBCBBA二、填空题题1、辖域 约约束变元 自自由变元 2、 BB AAC 3、删除策

9、策略 4、图搜索索 状态空空间图（或或状态图） 5、启发函函数 6、极大极极小分析法法 -剪枝技术术 7、随机性性 模糊性性 不一致致性 不确定定性 8、纯文字字 永真 类含含 9、CFF（A） minnCF（AA1），CCF（A22） maxCF（AA1），CCF（A22） 10、或图图 与或图图11、最一一般合一12、知识识的运用 逻辑表表示法（谓谓词表示法法） 框架 产生式式 AKOO ISAA 三、简答及及应用题1、定义谓谓词G(xx)：x为为整数D(x,yy)：x大大于y形式化为：或者2、回答: 剪枝枝：若任一一极小值层层节点的值小于或或等于它任任一先辈极极大值节点点的值，即即（先辈

10、辈层）（后继层层），则可可中止该极极小值层中中这个MIIN节点以以下的搜索索过程。这这个MINN节点最终终的倒推值值就确定为为这个值值。剪枝枝：若任一一极大值层层节点的值大于或或等于它任任一先辈极极小值层节节点的值值，即（后后继层）（先辈辈层），则则可以中止止该极大值值层中这个个MAX节节点以下的的搜索过程程。这个MMAX节点点的最终倒倒推值就确确定为这个个值。3、化子句句集如下：4、答：（）专家系系统与一般般的软件系系统开发无无异，其开开发过程同同样要遵循循软件工程程的步骤和和原则，即即也要进行行系统分析析、系统设设计等几个个阶段的工工作。（）但由由于它是专专家系统，而而不是一般般的软件系系

11、统，所以以，又有其其独特的地地方，主要要包括以下下几个步骤骤：系统总体分分析与设计计；知识获取；知识表示与与知识描述述语言设计计；知识库设计计、知识库库管理系统统设计；推理机与解解释模块设设计；总控与界面面设计编程与调试试测试与评价价运行与维护护（）可以以看出它有有如下特点点：知识获取和和知识表示示设计是一一切工作的的起点；知识表示与与知识描述述语言确定定后，其他他设计可同同时进行；5、答：所所谓“图灵实验验”，是为了了判断一台台机器是否否具备智能能的实验。实验由三三个封闭的的房间组成成，分别放放置主持人人、参与人人和机器。主持人向向参与人和和机器提问问，通过提提问的结果果来判断谁谁是人，谁谁

12、是机器。如果主持持人无法判判断谁是人人，谁是机机器，则这这台机器具具备智能，即即所谓的“智能机器器”。6、解:现现定义如下下谓词F(x,yy)- x是y的的父亲;G(x,zz)- x是y的的祖父;用谓词逻辑辑表示已知知与求解:(1) F(x,y)F(y,z)G(x,z)(2) FF(L,DD)(3) FF(D,XX)(4) GG(u,vv),u=?,v=?其中,L表表示老李,D表示大大李,X表表示小李。先证存在祖祖孙关系 F(x,y)F(yy,z)G(x,z)从(11)变换 F(LL,D)从从(2)变变换 F(DD,X)从从(3)变变换 G(u,v)结结论的否定定 F(D,z)G(L,z)归结

13、,置置换L/x,D/y G(LL,X)归结,置置换X/z 归结,置置换L/u,X/v得证,说明明存在祖孙孙关系。为了求解用用一个重言言式 G(u,v)G(u,v) 用重重言式代替替结论的否否定,重言言式恒为真真 F(D,z)G(L,z)归结,置置换L/x,D/y G(LL,X)归结,置置换X/z G(LL,X)归结,置置换L/u,X/v得结果:LL是X的祖祖父，即老老李是小李李的祖父。7、如下的的知识可以以帮助求解解该问题：（1）序序列中，偶偶数在偶数数位置，奇奇数在奇数数位置；（22）第五个个数为5。综合数据据库：用一一个1到99的序列表表示：N = xx，其中中x为1到到9的数字字之一。规规则集：rr1: IIF le