人工智能复习题及答案

一、 填空：

1. 人工智能的研究途径有 心理模拟 、生理模拟 和行为模拟。

2. 任意列举人工智能的四个应用性领域智能控制、智能管理 、智能决策 、智能仿真 。 3. 人工智能的基本技术包括表示 、运算 、搜索 归纳技术、联想技术。

4. 谓词逻辑是一种表达能力很强的形式语言，其真值的特点和命题逻辑的区别是（10）。 5. 谓词逻辑中，重言式（tautlogy）的值是（11） 。

6. 设P是谓词公式，对于P的任何论域，存在P为真的情况，则称P为（12）。

7. 在著名的医疗专家系统MYCIN中规定，若证据A的可信度CF（A）=0，则意味着 13 ，CF（A）

=-1，则意味着（14），CF（A）=1，则意味着（15）。 8. 谓词公式G是不可满足的，当且仅当对所有的解释（16）。 9. 谓词公式与其子句集的关系是 （17）。

10. 利用归结原理证明定理时，若得到的归结式为（18），则结论成立。 11. 若C1=┐P∨Q，C2=P∨┐Q，则C1和C2的归结式R（C1，C2）= （19）。

12. 若C1=P(x) ∨Q(x)，C2=┐P(a) ∨R(y)，则C1和C2的归结式R（C1，C2）= （20） 。 13. 有谓词公式G，置换δ，则G·ε= （21） ，δ·ε= （22） 。 14. 有子句集S=｛P(x),P(y)｝，其MGU= （23） 。

15. 在归结原理中，几种常见的归结策略并且具有完备性的是 （24）， （25） ， （26）。 16. 状态图启发式搜索算法的特点是 （27）。

17. 广度优先搜索算法中，OPEN表的数据结构实际是一个 （28），深度优先搜索算法中，OPEN

表的数据结构实际是一个 （29） 。

18. 产生式系统有三部分组成 （30）， （31） 和推理机。其中推理可分为 （32） 和 （33）。 19. 专家系统的结构包含人机界面、 （34） ， （35） ， （36） ， （37） 和解释模块。 20. 在MYCIN推理中，对证据的可信度CF（A）、CF（A1）、CF（A2）之间，规定如下关系：CF（~A）

= （38） ，CF（A1∧A2 ）= （39） ，CF（A1∨A2 ）= （40） 。

21. 开发专家系统所要解决的基本问题有三个，那就是知识的获取、知识的表示和（41），知识表

示的方法主要有 （42） ， （43） ， （44） 和语义网络等，在语义网络表示知识时，所使用的推理方法有 （45） 和 （46） 。

22. MYCIN系统中使用不确定推理，规则A→B由专家指定其可信度CF（B，A），若A真支持B真，

则指定CF（B，A）（与零比较）应 （47） ；若A真不支持B真，则指定CF（B，A）应 （48） 。 23. 机器学习的含义是 （49） 。

24. 自然语言理解不仅包括计算机能正确理解人们用自然语言输入的信息，能正确回答输入信息

中的有关问题，而且还包括 （50） 、 （51） 、 （52） 。

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的英文缩写是 。

31. 在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的 ，而在一

个量词的辖域中与该量词的指导变元相同的变元称为 ，其他变元称为 。

32. 假言推理（A?B）?A? ，假言三段论（A?B）?（B?C）? 。

33. 几种常用的归结策略： 、支持集策略、线形归结策略、输入归结策略、单元归

结策略。

34. 在诸如走迷宫、下棋、八数码游戏等游戏中，常用到的一种人工智能的核心技术称为

技术，解这类问题时，常把在迷宫的位置、棋的布局、八数码所排成的形势用图来表，这种图称为 。

35. 在启发式搜索当中，通常用 来表示启发性信息。

36. 在二人博弈问题中，最常用的一种分析技术是 ，这种方法的思想是先生成一棵

博弈树，然后再计算其倒推值。但它的效率较低，因此人们在此基础上，又提出了 。 37. 37.某产生式系统中的一条规则：A（x）?B（x），则前件是 ，后件是 。

38. 38.在框架和语义网络两种知识表示方法中， 适合于表示结构性强的知识，而

则适合表示一些复杂的关系和联系的知识。 不仅仅是一种知识表示方法，也是一种流行的软件设计和开发技术。

39. 不确定性类型按性质分： ， ， ， 。

40. 在删除策略归结的过程中删除以下子句：含有 的子句;含有 的子句；子句集中被别

的子句 的子句。

41. 对证据的可信度CF（A）、CF（A1）、CF（A2）之间，规定如下关系：CF（~A）= 、CF

（A1∧A2 ）= 、CF（A1∨A2 ）=

42. 合一算法：求非空有限具有相同谓词名的原子公式集的

43. 产生式系统的推理过程中，从可触发规则中选择一个规则来执行，被执行的规则称

为 。

44. P(B|A) 表示在规则 中，证据A为真的作用下结论B为真

的 。

45. 人工智能的远期目标是 ，近期目标是 。

46. 常用的二种盲目搜索方法是_________和_________；引入启发式知识来指导OPEN表中节点

的排序可划分为二种方式_________和_________。

47. 产生式系统的推理可以分为_________和_________两种基本方式。

48. 知识表示的性能应从以下二个方面评价：_________和_________；后者又分二个方面

_________和 _________。

49. 人工智能的表现形式至少有_______、_______、_______、_______和______几种。 50. 目前所用的知识表示形式有_________、_________、________、_________等。

51. 框架系统的特性继承功能可通过组合应用槽的三个侧面来灵活实现，它们是_________、

_________和_________。

52. 产生式系统是由_________、_________和_________三部分组成的。

53. ________就是所考察判断的事物或对象的集合，记为____。它的子集构成______。 54. 证据理论是经典概率论的一种扩充形式，构成这一理论的函数有_________、_________和

_________。

55. 对于模糊不确定性，一般采用_______或_______来刻划。 56. 归结法中，可以通过---------的方法得到问题的解答。 57.

化成子句形式为： 。

58. 58.从已知事实出发，通过规则库求得结论的产生式系统的推理方式是 。 59. 谓词逻辑中，重言式（tautlogy）的值是 。

60. 利用归结原理证明定理时，若得到的归结式为 ，则结论成立。 61. 在启发式搜索当中，通常用 来表示启发性信息。 二、选择题

选择题：（13小题，共13分）

1.人工智能的含义最早由一位科学家于1950年提出，并且同时提出一个机器智能的测试模型，请问这个科学家是（ ）。 A. 明斯基 B. 扎德 C. 图灵

D. 冯.诺依曼

2.下列哪个不是人工智能的研究领域（ ） A. 机器证明 B. 模式识别 C. 人工生命

D. 编译原理

3.神经网络研究属于下列（ ）学派 A. 符号主义 B. 连接主义 C. 行为主义

D. 都不是

4.已知初始问题的描述，通过一系列变换把此问题最终变为一个子问题集合；这些子问题的解可以直接得到，从而解决了初始问题。这是知识表示法叫（ ） A. 状态空间法 B. 问题归约法 C. 谓词逻辑法

D. 语义网络法

5.在公式中?y?xp(x,y))，存在量词是在全称量词的辖域内，我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义，它把每个y值映射到存在的那个x。这种函数叫做（ ）

A. 依赖函数 B. Skolem函数 C. 决定函数

D. 多元函数

6.子句~P?Q和P经过消解以后，得到（ ） A. P B. Q C. ~P

D. P?Q

7,8.A?（A?B）?A 称为（ ），~（A?B）?~A?~B称为（ ） A. 结合律 B.分配律 C.吸收律 D.摩根律

9,10.如果问题存在最优解，则下面几种搜索算法中，（ ）必然可以得到该最优解，（ ）可以认为是“智能程度相对比较高”的算法。 A. 广度优先搜索 B. 深度优先搜索 C. 有界深度优先搜索 D. 启发式搜索

11.产生式系统的推理不包括（ ） A. 正向推理 B. 逆向推理 C. 双向推理

D. 简单推理

12.下列哪部分不是专家系统的组成部分（ ） A. 用户 B. 综合数据库 C. 推理机

D. 知识库

13. 要想让机器具有智能，必须让机器具有知识。因此，在人工智能中有一个研究领域，主要研究计算机如何自动获取知识和技能，实现自我完善，这门研究分支学科叫（ ）。 A. 专家系统 B. 机器学习 C. 神经网络

D. 模式识别！ 14、AI的英文缩写是 A)Automatic Intelligence C)Automatice Information

B)Artifical Intelligence D)Artifical Information

15、反演归结（消解）证明定理时，若当前归结式是（ ）时，则定理得证。 A)永真式

B)包孕式（subsumed）

C)空子句