2024年3月11日发(作者：)

一、填空题（共30分）

1. 归结法中，可以通过---------的方法得到问题的解答。

2.化成子句形式为： 。

3.从已知事实出发，通过规则库求得结论的产生式系统的推理方式是

是是 的英文缩写

5.

人工智能的基本技术包括 、 、 、——、——。

6.目前所用的知识表示形式有

、 、

等。

7.

产生式系统有三部分组成 ， 和推理机。其中推理可分为 和 。

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

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

9、1997年５月，著名的“人机大战”，最终名为“ ”的计算机以3.5比

2.5的总比分将世界国际象棋棋王卡斯帕罗夫击败。

10、人工智能的远期目标是 ，近期目标

是 。

11、谓词逻辑中，重言式（tautlogy）的值是 。

12、利用归结原理证明定理时，若得到的归结式为 ，则结论成立。

13、若C1=┐P∨Q，C2=P∨┐Q，则C1和C2的归结式R（C1，C2）= 。

14、若C1=P(x) ∨Q(x)，C2=┐P(a) ∨R(y)，则C1和C2的归结式R（C1，C2）= 。

15、在归结原理中，几种常见的归结策略并且具有完备性的是 ， ， 。

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

17、假言推理（AB）A ，假言三段论（AB）（BC）

.

二、选择题（15小题，共15分

1.人工智能是一门

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.摩根律

8、下列哪部分不是专家系统的组成部分（ ）

A.）用户 B）综合数据库 C）推理机 D）知识库

9、产生式系统的推理不包括（ ）

A）正向推理 B）逆向推理 C）双向推理 D）简单推理

10、C(B|A) 表示在规则A->B中，证据A为真的作用下结论B为真的

A)可信度 B)信度 C)信任增长度 D)概率

11、AI的英文缩写是

A)Automatic Intelligence B)Artifical Intelligence

C)Automatice Information D)Artifical Information

12、反演归结（消解）证明定理时，若当前归结式是（ ）时，则定理得证。

A)永真式 B)包孕式（subsumed） C)空子句

13、在公式中yxp(x,y))，存在量词是在全称量词的辖域内，我们允许所存在的x可能依赖

于y值。令这种依赖关系明显地由函数所定义，它把每个y值映射到存在的那个x。这种函

数叫做（ ）

A. 依赖函数

B. Skolem函数

C. 决定函数

D. 多元函数

14、子句~PQ和P经过消解以后，得到（ ）

A. P

B. Q

C. ~P

E. PQ

15、如果问题存在最优解，则下面几种搜索算法中，（ ）必然可以得到该最优解。

A. 广度优先搜索

B. 深度优先搜索

C. 有界深度优先搜索

D. 启发式搜索

三、简答与应用题

1. 深度优先方法的特点是什么？6

2.

什么是置换？置换是可交换的吗？6分