人工智能复习题库.docx

1、人工智能复习题库一、填空：1.人工智能的研究途径有 心理模拟 、 生理模拟 和行为模拟。2.任意列举人工智能的四个应用性领域难题求解 、定理证明 、智能控制 、机器翻译 。3.人工智能的基本技术包括搜索技术、推理技术、知识表示和知识库技术归纳技术、联想技术。4.谓词逻辑是一种表达能力很强的形式语言，其真值的特点和命题逻辑的区别是（10）。5.谓词逻辑中，重言式（tautlogy）的值是 真 。6.设P是谓词公式，对于P的任何论域，存在P为真的情况，则称P为永真式。7.在著名的医疗专家系统MYCIN中规定，若证据A的可信度CF（A）=0，则意味着 无关，CF（A）=-1，则意味着假，CF（A）=

2、1，则意味着真。8.谓词公式G是不可满足的，当且仅当对所有的解释G都为假。9.谓词公式与其子句集的关系是 包含。 10.利用归结原理证明定理时，若得到的归结式为 空集，则结论成立。11.若C1=PQ，C2=PQ，则C1和C2的归结式R（C1，C2）= PP或QQ。12.若C1=P(x) Q(x)，C2=P(a) R(y)，则C1和C2的归结式R（C1，C2）= （20）Q（a）R（y）13.有谓词公式G，置换，则G= （21） ，= （22） 。14.有子句集S=P(x),P(y)，其MGU= y/x 。15.在归结原理中，几种常见的归结策略并且具有完备性的是 删除策略 支持集策略 线性归结策

3、略16.状态图启发式搜索算法的特点是 （27）。17.广度优先搜索算法中，OPEN表的数据结构实际是一个 二叉树，深度优先搜索算法中，OPEN表的数据结构实际是一个单链表 。18.产生式系统有三部分组成 综合数据库， 知识库和推理机。其中推理可分为 正向推理和反向推理。 19.专家系统的结构包含人机界面、 知识库 ， 推理机 ， 动态数据库 ， 知识库答理系统 和解释模块。20.在MYCIN推理中，对证据的可信度CF（A）、CF（A1）、CF（A2）之间，规定如下关系：CF（A）= CF（A） ，CF（A1A2 ）= minCF（A1），CF（A2） ，CF（A1A2 ）= maxCF（A1）

4、，CF（A2） 。21.开发专家系统所要解决的基本问题有三个，那就是知识的获取、知识的表示和知识的运用，知识表示的方法主要有 逻辑表示法（谓词表示法） ， 框架， 产生式和语义网络等，在语义网络表示知识时，所使用的推理方法有 AKO 和 ISA 22.MYCIN系统中使用不确定推理，规则AB由专家指定其可信度CF（B，A），若A真支持B真，则指定CF（B，A）（与零比较）应 （47） ；若A真不支持B真，则指定CF（B，A）应 （48） 。23.机器学习的含义是 指机器面对自行为的修正或性能的改善和机器对客观规律和发展 。24.自然语言理解不仅包括计算机能正确理解人们用自然语言输入的信息，能正

5、确回答输入信息中的有关问题，而且还包括 语法分析 、 语用分析 、 语句分析 。25.设U=a,b,c,d，A=a,b，B=a,b,c，m(A)=0.6，m(U)=0.4，U的其它子集的基本概率分配函数m值均为0，则Bel(A)= （53） ，Bel(B)= （54） 。26.证据理论中集合A的信任区间为1，1，则其语意解释为 （55） 。27.人工智能三大学派是符号主义、联结主义、行为主义28.化成子句形式为： 。29.从已知事实出发，通过规则库求得结论的产生式系统的推理方式是 正向推理 30.AI的英文缩写是 Artifical Inteligence 31. 在谓词公式中，紧接于量词之后

6、被量词作用的谓词公式称为该量词的辖域 ，而在一个量词的辖域中与该量词的指导变元相同的变元称为 约束变元 ，其他变元称为 自由变元 32.假言推理（AB）A B ，假言三段论（AB）（BC） A C 33.几种常用的归结策略： 删除策略 、支持集策略、线形归结策略、输入归结策略、单元归结策略34.在诸如走迷宫、下棋、八数码游戏等游戏中，常用到的一种人工智能的核心技术称为 图搜索 技术，解这类问题时，常把在迷宫的位置、棋的布局、八数码所排成的形势用图来表，这种图称为 状态空间图（或状态图） 35.在启发式搜索当中，通常用 启发函数 来表示启发性信息。36. 在二人博弈问题中，最常用的一种分析技术是

7、 极大极小分析法 ，这种方法的思想是先生成一棵博弈树，然后再计算其倒推值。但它的效率较低，因此人们在此基础上，又提出了 - 剪枝技术 37.某产生式系统中的一条规则：A（x）B（x），则前件是 A（x） ，后件是 B（x） 38.在框架和语义网络两种知识表示方法中， 框架 适合于表示结构性强的知识，而 语义网络 则适合表示一些复杂的关系和联系的知识。 面向对象 不仅仅是一种知识表示方法，也是一种流行的软件设计和开发技术。39.不确定性类型按性质分：随机性，模糊性，不完全性，不一致性。40.在删除策略归结的过程中删除以下子句：含有纯文字的子句;含有永真式 的子句;子句集中被别的子句 类含的子句。

8、对证据的可信度CF（A）、CF（A1）、CF（A2）之间，规定如下关系：CF（A）=-CF(A)、CF（A1A2 ）= minCF(A1),CF(A2)、CF（A1A2 ）=maxCF(A1),CF(A2)41.合一算法：求非空有限具有相同谓词名的原子公式集的最一般合一42.产生式系统的推理过程中，从可触发规则中选择一个规则来执行，被执行的规则称为被触发规则。43.P(B|A) 表示在规则AB中，证据A为真的作用下结论B为真的概率。44.常用的二种盲目搜索方法是_随机碰撞式搜索_和_完全式搜索_；引入启发式知识来指导OPEN表中节点的排序可划分为二种方式_全局择优搜索 和_局部择优搜索。45.

9、产生式系统的推理可以分为_正向推理_和_反向推理_两种基本方式。46.知识表示的性能应从以下二个方面评价：_和_；后者又分二个方面_和 _。47.人工智能的表现形式至少有_、_、_、_和_几种。48.目前所用的知识表示形式有_框架 语义网络 面向对象_等。49.框架系统的特性继承功能可通过组合应用槽的三个侧面来灵活实现，它们是_、_和_。50.产生式系统是由_综合数据库 知识库_和_推理机_三部分组成的.51._就是所考察判断的事物或对象的集合，记为_。它的子集构成_。52.证据理论是经典概率论的一种扩充形式，构成这一理论的函数有_基本概念全分函数_、_信任函数_和_似真函数_。53.对于模糊

10、不确定性，一般采用_模糊集合_或_模糊逻辑_来刻划。54.归结法中，可以通过-修改证明树-的方法得到问题的解答。55.从已知事实出发，通过规则库求得结论的产生式系统的推理方式是 正向推理 56.人工智能的远期目标是 制造智能机器，近期目标是实现机器智能。57.利用归结原理证明定理时，若得到的归结式为 空集 ，则结论成立。58.在启发式搜索当中，通常用 启发函数 来表示启发性信息。二、选择题选择题：（13小题，共13分）1.人工智能的含义最早由一位科学家于1950年提出，并且同时提出一个机器智能的测试模型，请问这个科学家是（C）。 A. 明斯基 B. 扎德 C. 图灵 D. 冯.诺依曼2.下列哪

11、个不是人工智能的研究领域（D ） A.机器证明 B.模式识别 C. 人工生命 D. 编译原理3.神经网络研究属于下列（B ）学派 A. 符号主义 B. 连接主义 C. 行为主义 D. 都不是4.已知初始问题的描述，通过一系列变换把此问题最终变为一个子问题集合；这些子问题的解可以直接得到，从而解决了初始问题。这是知识表示法叫（B ） A. 状态空间法 B. 问题归约法 C. 谓词逻辑法 D. 语义网络法5.在公式中y$xp(x,y)，存在量词是在全称量词的辖域内，我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义，它把每个y值映射到存在的那个x。这种函数叫做（B ） A. 依赖函

12、数 B. Skolem函数 C. 决定函数 D. 多元函数6.子句PQ和P经过消解以后，得到（ B） A. P B. Q C. PD.PQ7,8.A（AB）A 称为（ C ），（AB）AB称为（D ）A.结合律 B.分配律 C.吸收律 D.摩根律9,10.如果问题存在最优解，则下面几种搜索算法中，（ A ）必然可以得到该最优解，（ D）可以认为是“智能程度相对比较高”的算法。A.广度优先搜索B.深度优先搜索C.有界深度优先搜索D.启发式搜索11.产生式系统的推理不包括（D ） A. 正向推理 B. 逆向推理 C. 双向推理 D. 简单推理12.下列哪部分不是专家系统的组成部分（A ） A. 用

13、户 B. 综合数据库 C. 推理机 D. 知识库 13. 要想让机器具有智能，必须让机器具有知识。因此，在人工智能中有一个研究领域，主要研究计算机如何自动获取知识和技能，实现自我完善，这门研究分支学科叫（B ）。 A. 专家系统 B. 机器学习 C. 神经网络 D. 模式识别！14、AI的英文缩写是BA)Automatic Intelligence B)Artifical IntelligenceC)Automatice Information D)Artifical Information15、反演归结（消解）证明定理时，若当前归结式是（C ）时，则定理得证。A)永真式 B)包孕式（subs

14、umed） C)空子句16、从已知事实出发，通过规则库求得结论的产生式系统的推理方式是（ A）A)正向推理 B)反向推理 C)双向推理17、语义网络表达知识时，有向弧AKO 链、ISA 链是用来表达节点知识的（C ）。A)无悖性 B)可扩充性 C)继承性18、(AB)A = B是CA)附加律 B)拒收律 C)假言推理 D)US19、命题是可以判断真假的DA)祈使句 B)疑问句 C)感叹句 D)陈述句20、仅个体变元被量化的谓词称为 AA)一阶谓词 B)原子公式 C)二阶谓词 D)全称量词21、MGU是AA)最一般合一 B)最一般替换 C)最一般谓词 D)基替换22、1997年月，著名的“人机大

15、战”，最终计算机以3.5比2.5的总比分将世界国际象棋棋王卡斯帕罗夫击败，这台计算机被称为（A ）A）深蓝 B）IBM C）深思 D）蓝天23、下列不在人工智能系统的知识包含的4个要素中DA)事实 B)规则 C)控制和元知识 D)关系24、谓词逻辑下，子句, C1=LC1, C2= LC2, 若是互补文字的（最一般）合一置换，则其归结式C=（ A ）A) C1C2 B)C1C2 C)C1C2 D)C1 C225、或图通常称为DA）框架网络 B)语义图 C)博亦图 D)状态图26、不属于人工智能的学派是BA)符号主义 B)机会主义 C)行为主义 D)连接主义。27、人工智能是一门DA)数学和生理

16、学 B)心理学和生理学 C)语言学D)综合性的交叉学科和边缘学科 D28、下列不在人工智能系统的知识包含的4个要素中DA) 事实 B) 规则 C) 控制 D) 关系29、当前归结式是（C）时，则定理得证。A) 永真式 B 包孕式（subsumed） C) 空子句30、或图通常称为DA）框架网络 B)语义图 C)博亦图 D)状态图31、所谓不确定性推理就是从( B )的初始证据出发，通过运用( )的知识，最终推出具有一定程度的不确定性但却是合理或者近乎合理的结论的思维过程。A)不确定性, 不确定性 B)确定性, 确定性C)确定性, 不确定性 D) 不确定性 确定性32、C(B|A) 表示在规则A

17、-B中，证据A为真的作用下结论B为真的BA)可信度 B)信度 C)信任增长度 D)概率33. 谓词逻辑下，子句, C1=LC1, C2= LC2, 若是互补文字的（最一般）合一置换，则其归结式C=（ A ）A) C1C2 B)C1C2 C)C1C2 D)C1 C2二、简答题1.将下列自然语言转化为谓词表示形式：(1)所有的人都是要呼吸的。(2)每个学生都要参加考试。(3)任何整数或是正的或是负的。解：设 M(x)：x是人,H(x)：x要呼吸。 P(x)：x是学生， Q(x)：x要参加考试。 J(x)：x是整数， R(x)：x是正数，N(x)：x是负数。则上述三题就记为：(1) V-x(M(x)

18、H(x)(2) V-x(P(x)Q(x)(3) V-x(I(x)R(x)N(x)2.何谓“图灵实验”？简单描述之答：所谓“图灵实验”，是为了判断一台机器是否具备智能的实验。实验由三个封闭的房间组成，分别放置主持人、参与人和机器。主持人向参与人和机器提问，通过提问的结果来判断谁是人，谁是机器。如果主持人无法判断谁是人，谁是机器，则这台机器具备智能，即所谓的“智能机器”。3.写出图中树的结点两个访问序列，要求分别满足以下两个搜索策略：(1)深度优先搜索(2)广度优先搜索解：（）深度优先搜索：（）广度优先搜索：4.试实现一个“大学教师”的框架，大学教师类属于教师，包括以下属性：学历（学士、硕士、博士

19、）、专业（计算机、电子、自动化、）、职称（助教、讲师、副教授、教授）解：框架名：类属：学历：(学士、硕士、博士)专业：（计算机、电子、自动化、.）职称：（助教、讲师、副教授、教授）5.用谓词逻辑形式化下列描述“不存在最大的整数”解：定义谓词G(x)：x为整数D(x,y)：x大于y形式化为：或者6.用语义网络表示“苹果”知识。7. 什么是产生式？产生式规则的语义是什么？答：产生式规则基本形式：PQ 或者 IF P THEN QP 是产生式的前提（前件），用于指出该产生式是否可用的条件Q 是一组结论或操作（后件），用于指出当前提 P 所指示的条件满足时，应该得出的结论或应该执行的操作产生式规则的语

20、义：如果前提P被满足，则可推出结论 Q 或执行 Q 所规定的操作8. 谓词公式G通过个步骤所得的子句集合S，称为G的子句集。请写出这些步骤。答：(1）消去蕴含式和等价式， (2）缩小否定词的作用范围，直到其作用于原子公式: (3）适当改名，使量词间不含同名指导变元和约束变元。(4.）消去存在量词（形成Skolem标准型） (5）消去所有全称量词(6) 化成合取范式(7).适当改名，使子句间无同名变元( 8). 消去合取词，用逗号代替，以子句为元素组成一个集合S9. （1）已知S=P(f(x),y,g(y),P(f(x),z,g(x)，求MGU（2）已知W=P(f(x,g(A,y),z),P(f

21、(x,z),z)，求MGU 解：（1）k=0;S0=S;0=;S0不是单元素集，求得差异集D0=y,z,其中y是变元，z是项，且y不在z中出现。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/x（2）k=0;S0=S;0=;S0不是单元素集，求得差异集D0=g(A,y),z,其中z是变元，g(A,y)是项，且z不在g(A,y)中出现。k=k

22、+1=1有1=0g(A,y)/z=g(A,y)/z=g(A,y)/z，S1=S0g(A,y)/z=P(f(x,g(A,y),g(A,y),S1是单元素集。根据求MGU算法，MGU=1=g(A,y)/z10.（1） 证明G是否是F的逻辑结论；证:P(x) 从F变换Q(a)Q(x) 从F变换P(y)Q(y) 结论的否定Q(x) 归结,x/y 归结,置换a/x得证。（2）证明G是否是F1、F2的逻辑结论；证: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 归结得证.11. 1、用语义

23、网络表示下列信息：(1)胡途是思源公司的经理，他35岁，住在飞天胡同68号 (3)清华大学与北京大学进行蓝球比赛，最后以89：102的比分结束。（3）将命题：“某个学生读过三国演义”分别用谓词公式和语义网络表示答：谓词公式表示： x(student(x)read(x,三国演义)语义网络表示如图：（4）把语句“每个学生都喜欢老师上的一门课。”表示为语义网络。（5）请把下列命题表示的事实用一个语义网络表示出来。 1)树和草都是植物； 2)树和草都是有根有叶的； 3)水草是草，且长在水中； 4)果树是树，且会结果； 5)樱桃树是一种果树，它结樱桃。（6）用语义网络表示下列事实姚明是一位年近半百的男教

24、师，中等身材，他在本学年第二学期给计算机专业学生讲授“人工智能”课程。该课程是一门选修课，比较难。13. 图示博弈树，其中末一行的数字为假设的估值，请利用-剪枝技术剪去不必要的分枝。（在节点及边上直接加注释）14. 设有如下关系：（1）如果x是y的父亲，y又是z的父亲，则x是z的祖父；（2）老李是大李的父亲；（3）大李是小李的父亲；问上述人员中谁和谁是祖孙关系？解:现定义如下谓词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表示

25、老李,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,X/v得结果:L是X的祖父，即老李是小李的祖父。15解释下列模糊性知识：1) 张三，体

26、型，（胖，0.9）。2) (患者，症状，(头疼，0.95) ) (患者，症状，(发烧，1.1) ) (患者，疾病，(感冒，1.2) )答：（1）表示：命题“张三比较胖” （2）解释为：如果患者有些头疼并且发高烧，则他患了重感冒。16. 简单阐述产生式系统的组成。答：（1）产生式规则库：描述相应领域知识的产生式规则集（2）数据库：（事实的集合）存放问题求解过程中当前信息的数据结构（初始事实、外部数据库输入的事实、中间结果事实和最后结果事实）（3）推理机：（控制系统）是一个程序，控制协调规则库与数据库的运行，包含推理方式和控制策略。17. 试用线性消解策略证明：子句集S= PQ, PR, QR,

27、R 是可消解的。18广度优先搜索与深度优先搜索各有什么特点？19.语义网络可以表达事物之间的哪些关系？20.假设已知下列事实： （1）超市（Supermarket）卖（Sail）的商品(Goods)便宜(Cheap)。 （2）王（Wang）买（Buy）需要的（Want）便宜商品。 （3）自行车（Bicycle）是商品且超市卖自行车。 （4）王需要自行车。 （5）赵（Zhao）跟随王买同样的商品。 请应用归结反演证明方法回答以下问题： （1）王买自行车吗？ （2）赵买什么商品？ 21.已知一个使用可信度方法的推理网络如图所示，其证据的可信度均标示在图中。推理规则的可信度分别为：ABH, 0.7

28、CDH, 0.9 EH, 0.3试按照可信度方法的求解步骤计算每个证据节点对假设H推理的可信度，并据此推算全部证据（复合证据）对于H推理的可信度。 22. 求子句R(x, y)Q(B, y)W(x, f(y) 和R(x, C)Q(y, C) 的归结式。23. 何谓估价函数？启发式图搜索的A算法和A*算法最显著的区别是什么？24. 什么是置换？置换是可交换的吗？答: 通常用有序对的集合st1/v1，t2/v2，tn/vn来表示任一置换，置换集的元素ti/vi的含义是表达式中的变量vi处处以项ti来替换，用s对表达式E作置换后的例简记为Es。一般来说，置换是不可交换的，即两个置换合成的结果与置换使用的次序有关。25. 给19九个数字排一个序列，使得该序列的前n(n=1,.,9) 个数字组成的整数能被n整除。