人工智能经典考试试题及答案20.docx

1、人工智能经典考试试题及答案20一、选择题(每题1分，共15分)1、AI的英文缩写是A)Automatic Intelligence B)Artifical IntelligenceC)Automatice Information D)Artifical Information2、反演归结消解证明定理时，假设当前归结式是 时，那么定理得证。A)永真式 B)包孕式subsumed C)空子句3、从事实出发，通过规那么库求得结论的产生式系统的推理方式是A)正向推理 B)反向推理 C)双向推理4、语义网络表达知识时，有向弧AKO 链、ISA 链是用来表达节点知识的 。A)无悖性 B)可扩充性 C)继承

2、性5、(AB)A = B是A)附加律 B)拒收律 C)假言推理 D)US6、命题是可以判断真假的A)祈使句 B)疑问句 C)感慨句 D)陈述句7、仅个体变元被量化的谓词称为A)一阶谓词 B)原子公式 C)二阶谓词 D)全称量词8、MGU是A)最一般合一 B)最一般替换 C)最一般谓词 D)基替换9、1997年月，著名的“人机大战，最终计算机以3.5比2.5的总比分将世界国际象棋棋王卡斯帕罗夫击败，这台计算机被称为 A深蓝 BIBM C深思 D蓝天10、以下不在人工智能系统的知识包含的4个要素中A)事实 B)规那么 C)控制和元知识 D)关系11、谓词逻辑下，子句, C1=LC1, C2= LC

3、2, 假设是互补文字的最一般合一置换，那么其归结式C= A) C1C2 B)C1C2 C)C1C2 D)C1 C212、或图通常称为A框架网络 B)语义图 C)博亦图 D)状态图13、不属于人工智能的学派是A)符号主义 B)时机主义 C)行为主义 D)连接主义。14、人工智能的含义最早由一位科学家于1950年提出，并且同时提出一个机器智能的测试模型，请问这个科学家是15.要想让机器具有智能，必须让机器具有知识。因此，在人工智能中有一个研究领域，主要研究计算机如何自动获取知识和技能，实现自我完善，这门研究分支学科叫 。A)专家系统 B)机器学习 C)神经网络 D)模式识别二、填空题(每空1.5分

4、，共30分)1、不确定性类型按性质分：，。2、在删除策略归结的过程中删除以下子句：含有的子句;含有的子句;子句集中被别的子句的子句。3、对证据的可信度CFA、CFA1、CFA2之间，规定如下关系：CFA=、CFA1A2 =、CFA1A2 =4、图：指由和组成的网络。按连接同一节点的各边的逻辑关系又可分为和。5、合一算法：求非空有限具有相同谓词名的原子公式集的6、产生式系统的推理过程中，从可触发规那么中选择一个规那么来执行，被执行的规那么称为。7、P(B|A) 表示在规那么中，证据A为真的作用下结论B为真的。8、人工智能的远期目标是，近期目标是。三、简答及计算题(每题5分，共25分)1、填写下面

5、的三值逻辑表。其中T，F，U分别表示真，假，不能判定2、什么是产生式？产生式规那么的语义是什么？3、谓词公式G通过个步骤所得的子句集合S，称为G的子句集。请写出这些步骤。4、S=P(f(x),y,g(y),P(f(x),z,g(x)，求MGU5、证明G是否是F的逻辑结论；四、应用题(共30分)1、用语义网络表示以下信息：(1)胡途是思源公司的经理，他35岁，住在飞天胡同68号(2)清华大学与北京大学进行蓝球比赛，最后以89：102的比分结束。答：2、图示博弈树，其中末一行的数字为假设的估值，请利用-剪枝技术剪去不必要的分枝。在节点及边上直接加注释3、设有如下关系：1如果x是y的父亲，y又是z的

6、父亲，那么x是z的祖父；2老李是大李的父亲；3大李是小李的父亲；问上述人员中谁和谁是祖孙关系？答案：一、1、 B 2、C 3、A 4、C 5、C6、 D 7、A 8、A 9、A 10、D11、A12、D 13、B14、C 15、B二、1、随机性，模糊性，不完全性，不一致性2、纯文字，永真式，类含3、-CF(A)，minCF(A1),CF(A2)，maxCF(A1),CF(A2)4、节点，有向边，或图，与或图5、最一般合一MGU6、被触发规那么7、AB，概率8、制造智能机器，实现机器智能三、1、2、产生式规那么根本形式：PQ 或者 IF P THEN QP 是产生式的前提前件，用于指出该产生式是

7、否可用的条件Q 是一组结论或操作后件，用于指出当前提 P 所指示的条件满足时，应该得出的结论或应该执行的操作产生式规那么的语义：如果前提P被满足，那么可推出结论 Q 或执行 Q 所规定的操作3、 1消去蕴含式和等价式， 2缩小否认词的作用范围，直到其作用于原子公式: 3适当改名，使量词间不含同名指导变元和约束变元。 4.消去存在量词形成Skolem标准型 5消去所有全称量词 6) 化成合取范式7). 适当改名，使子句间无同名变元 8). 消去合取词，用逗号代替，以子句为元素组成一个集合S4、解：k=0;S0=S;0=;S0不是单元素集，求得差异集D0=y,z,其中y是变元，z是项，且y不在z中

8、出现。k=k+1=1有1=0z/y=z/y=z/y，S1=S0z/y=P(f(x),z,g(z),P(f(x),z,g(x),S1不是单元素集，求得差异集D1=z,x,k=k+1=2;2=1z/x=z/y,z/x,S2=S1z/x=P(f(z),z,g(z)是单元素集。根据求MGU算法，MGU=2=z/y,z/x5、证:P(x) 从F变换Q(a)Q(x) 从F变换P(y)Q(y) 结论的否认Q(x) 归结,x/y 归结,置换a/x得证。四、 2、3、解:现定义如下谓词F(x,y)- x是y的父亲;G(x,z)- x是y的祖父;用谓词逻辑表示与求解:(1) F(x,y)F(y,z)G(x,z)(

9、2) F(L,D)(3) 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) 从(2)变换 F(D,X) 从(3)变换 G(u,v) 结论的否认 F(D,z)G(L,z) 归结,置换L/x,D/y G(L,X) 归结,置换X/z 归结,置换L/u,X/v得证,说明存在祖孙关系。为了求解用一个重言式 G(u,v)G(u,v) 用重言式代替结论的否认,重言式恒为真 F(D,z)G(L,z) 归结,置换L/x,D/y G(L,X) 归结,置换X/z G(L,X) 归结,置换L/u,

10、X/v得结果:L是X的祖父，即老李是小李的祖父。三、简答及计算题(每题5分，共25分)1、解释以下模糊性知识：1) 张三，体型，胖，0.9。2) (患者，病症，(头疼，0.95) ) (患者，病症，(发烧，1.1) ) (患者，疾病，(感冒，1.2) )答：2、简单阐述产生式系统的组成：答：3、补齐产生式系统与图搜索的比照表答： 4、W=P(f(x,g(A,y),z),P(f(x,z),z)，求MGU解：5、证明G是否是F1、F2的逻辑结论；四、应用题(共30分)1、将命题：“某个学生读过三国演义分别用谓词公式和语义网络表示2、图示博弈树，其中末一行的数字为假设的估值，请利用-剪枝技术剪去不必

11、要的分枝。在节点及边上直接加注释3、利用谓词逻辑表示以下知识包括和结论，然后化成子句集： 1但凡清洁的东西就有人喜欢；2人们都不喜欢苍蝇求证：苍蝇是不清洁的。一、1、D 2、C 3、C 4、D 5、A 6、A 7、D 8、C 9、D 10、B 11、A 12、B 13、A. 14、D 15、B二、1、图林 2、正向推理 3、Artifical Intelligence4、随机性，模糊性，不完全性，不一致性5、纯文字，永真式，类含6、-CF(A)，minCF(A1),CF(A2)，maxCF(A1),CF(A2) )7、节点和有向边，或图，与或图 8、最一般合一MGU9、深蓝 10、制造智能机器

12、，实现机器智能三、1、答：1表示：命题“张三比拟胖 2解释为：如果患者有些头疼并且发高烧，那么他患了重感冒。2、答：1产生式规那么库：描述相应领域知识的产生式规那么集2数据库：事实的集合存放问题求解过程中当前信息的数据结构初始事实、外部数据库输入的事实、中间结果事实和最后结果事实3推理机：控制系统是一个程序，控制协调规那么库与数据库的运行，包含推理方式和控制策略。3、答：4、解：k=0;S0=S;0=;S0不是单元素集，求得差异集D0=g(A,y),z,其中z是变元，g(A,y)是项，且z不在g(A,y)中出现。k=k+1=1有1=0g(A,y)/z=g(A,y)/z=g(A,y)/z，S1=

13、S0g(A,y)/z=P(f(x,g(A,y),g(A,y),S1是单元素集。根据求MGU算法，MGU=1=g(A,y)/z5、证:P(x)Q(x) 从F1变换P(y)R(y) 从F1变换P(a) 从F2变换S(a) 从F2变换S(z)R(z) 结论的否认R(a) 归结a/yR(a) 归结a/z 归结得证.四、1、答：谓词公式表示： x(student(x)read(x,三国演义)语义网络表示如图：2、3、证：现定义如下谓词L(x,y)-某人x喜欢某物y；P(y)- 某物y是清洁的东西(1) yx(P(y)L(x,y) = P(y)L(f(y),y)(2) x(L(x,Fly) = L(x,F

14、ly)(3) P(Fly) 结论的反(4) L(f(Fly), Fly) (1)(3)归结,置换Fly/y(5) (2)(4)归结,f(Fly)/x得证。试题局部：一、选择题15小题，共15分1、97年月，著名的“人机大战，最终计算机以3.5比2.5的总比分将世界国际象棋棋王卡斯帕罗夫击败，这台计算机被称为 A深蓝 BIBM C深思 D蓝天2、以下不在人工智能系统的知识包含的4个要素中A)事实 B)规那么 C)控制和元知识 D)关系3、谓词逻辑下，子句, C1=LC1, C2= LC2, 假设是互补文字的最一般合一置换，那么其归结式C= A) C1C2 B)C1C2 C)C1C2 D)C1 C

15、24、或图通常称为A框架网络 B)语义图 C)博亦图 D)状态图5、不属于人工智能的学派是A)符号主义 B)时机主义 C)行为主义 D)连接主义。6、人工智能的含义最早由一位科学家于1950年提出，并且同时提出一个机器智能的测试模型，请问这个科学家是7、要想让机器具有智能，必须让机器具有知识。因此，在人工智能中有一个研究领域，主要研究计算机如何自动获取知识和技能，实现自我完善，这门研究分支学科叫 。A)专家系统 B)机器学习 C)神经网络 D)模式识别8、以下哪局部不是专家系统的组成局部 A.用户 B综合数据库 C推理机 D知识库9、产生式系统的推理不包括 A正向推理 B逆向推理 C双向推理

16、D简单推理10、C(B|A) 表示在规那么A-B中，证据A为真的作用下结论B为真的A)可信度 B)信度 C)信任增长度 D)概率11、AI的英文缩写是A)Automatic Intelligence B)Artifical IntelligenceC)Automatice Information D)Artifical Information12、反演归结消解证明定理时，假设当前归结式是 时，那么定理得证。A)永真式 B)包孕式subsumed C)空子句13、在公式中yxp(x,y)，存在量词是在全称量词的辖域内，我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义，它把每个y

17、值映射到存在的那个x。这种函数叫做 A. 依赖函数 B. Skolem函数 C. 决定函数 D. 多元函数14、子句PQ和P经过消解以后，得到 A. P B. Q C. PD.PQ15、如果问题存在最优解，那么下面几种搜索算法中， 必然可以得到该最优解。A.广度优先搜索B.深度优先搜索C.有界深度优先搜索D. 启发式搜索二、填空题共30分：1.在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的 ，而在一个量词的辖域中与该量词的指导变元相同的变元称为 ，其他变元称为 2、假言推理ABA ，假言三段论ABBC 3、几种常用的归结策略： 、支持集策略、线形归结策略、输入归结策略、单元归结策

18、略4、在诸如走迷宫、下棋、八数码游戏等游戏中，常用到的一种人工智能的核心技术称为 技术，解这类问题时，常把在迷宫的位置、棋的布局、八数码所排成的形势用图来表，这种图称为 5.在启发式搜索当中，通常用 来表示启发性信息。6.在二人博弈问题中，最常用的一种分析技术是 ，这种方法的思想是先生成一棵博弈树，然后再计算其倒推值。但它的效率较低，因此人们在此根底上，又提出了 7、不确定性类型按性质分：，。8、在删除策略归结的过程中删除以下子句：含有的子句;含有的子句;子句集中被别的子句的子句。9、对证据的可信度CFA、CFA1、CFA2之间，规定如下关系：CFA=、CFA1A2 =、CFA1A2 =。10

19、、图：指由组成的网络。按连接同一节点的各边的逻辑关系又可分为和。11、合一算法：求非空有限具有相同谓词名的原子公式集的。12、开发专家系统所要解决的根本问题有三个，那就是知识的获取、知识的表示和 ，知识表示的方法主要有 ， ， 和语义网络等，在语义网络表示知识时，所使用的推理方法有 和 三、简答与应用题1、谓词逻辑形式化以下描述“不存在最大的整数(4分)2.剪枝的条件是什么？3、某问题由以下公式描述：(1)、试用归结法证明(x)R(x)；4. 专家系统的一般步骤有哪些？专家系统的开发与一般的软件系统开发相比拟，有哪些共同点和特点？7分“图灵实验？简单描述之5分6、设有如下关系：1如果x是y的父

20、亲，y又是z的父亲，那么x是z的祖父；2老李是大李的父亲；3大李是小李的父亲；问上述人员中谁和谁是祖孙关系？(10分)7. 给19九个数字排一个序列，使得该序列的前n(n=1,.,9) 个数字组成的整数能被n整除。(1)、讨论哪些知识可以帮助该问题的求解。(2)、用产生式系统描述该问题. (15分)答案局部一、选择题ADADBCBADBBCBBA二、填空题1、辖域 约束变元 自由变元 2、 B AC 3、删除策略 4、图搜索 状态空间图或状态图 5、启发函数 6、极大极小分析法 -剪枝技术 7、随机性 模糊性 不一致性 不确定性 8、纯文字 永真 类含 9、CFA minCFA1，CFA2 m

21、axCFA1，CFA2 10、或图 与或图11、最一般合一12、知识的运用 逻辑表示法谓词表示法 框架 产生式 AKO ISA 三、简答及应用题1、定义谓词G(x)：x为整数D(x,y)：x大于y形式化为：或者2、答复: 剪枝：假设任一极小值层节点的值小于或等于它任一先辈极大值节点的值，即先辈层后继层，那么可中止该极小值层中这个MIN节点以下的搜索过程。这个MIN节点最终的倒推值就确定为这个值。剪枝：假设任一极大值层节点的值大于或等于它任一先辈极小值层节点的值，即后继层先辈层，那么可以中止该极大值层中这个MAX节点以下的搜索过程。这个MAX节点的最终倒推值就确定为这个值。3、化子句集如下：4、

22、答：专家系统与一般的软件系统开发无异，其开发过程同样要遵循软件工程的步骤和原那么，即也要进行系统分析、系统设计等几个阶段的工作。但由于它是专家系统，而不是一般的软件系统，所以，又有其独特的地方，主要包括以下几个步骤：1）系统总体分析与设计；2）知识获取；3）知识表示与知识描述语言设计；4）知识库设计、知识库管理系统设计；5）推理机与解释模块设计；6）总控与界面设计7）编程与调试8）测试与评价9）运行与维护可以看出它有如下特点：1）知识获取和知识表示设计是一切工作的起点；知识表示与知识描述语言确定后，其他设计可同时进行；5、答：所谓“图灵实验，是为了判断一台机器是否具备智能的实验。实验由三个封闭

23、的房间组成，分别放置主持人、参与人和机器。主持人向参与人和机器提问，通过提问的结果来判断谁是人，谁是机器。如果主持人无法判断谁是人，谁是机器，那么这台机器具备智能，即所谓的“智能机器。6、解:现定义如下谓词F(x,y)- x是y的父亲;G(x,z)- x是y的祖父;用谓词逻辑表示与求解:(1) F(x,y)F(y,z)G(x,z)(2) F(L,D)(3) 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) 从(2)变换 F(D,X) 从(3)变换 G(u,v) 结论的否认

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

25、x5r2: IF len(N)为偶数and n=In(1, 3, 7, 9) THEN xnr3: IF len(N)为奇数and n=In(2, 4, 6, 8) THEN xn其中len(N)为求序列的长度，In(a, b, c, d)为取a、b、c、d之一。初始状态：结束条件：得到的序列N前i个数组成的整数能被i整除一、选择题(每题1分，共15分)1、人工智能是一门A)数学和生理学 B)心理学和生理学 C)语言学D)综合性的交叉学科和边缘学科 2、语义网络表达知识时，有向弧AKO 链、ISA 链是用来表达节点知识的 。A) 无悖性 B) 可扩充性 C) 继承性3、(A-B)A = B是A)附加律 B)拒收律 C)假言推理 D)US4、命题是可以判断真假的A)祈使句 B)疑问句 C)感慨句 D)陈述句5、仅个体变元被量化的谓词称为A)一阶谓词B)原子公式C)二阶谓词D)全称量词6、MGU是A) 最一般合一 B)最一般替换 C) 最一般谓词 D)基替换最一般合一7、以下不在人工智能系统的知识包含的4个要素中A) 事实 B) 规那么 C) 控制 D) 关系8、当前归结式是 时，那么定理得证。A) 永真式 B 包孕式subsumed C) 空子句9、或图通常称为A框架网络 B)语