人工智能经典考试试题答案.doc

: .
一、选择题(每题1分，共15分)
1、AI的英文缩写是
A. Automatic In tellige nee B)Artifical In tellige nee
C）Automatice In formatio n D）Artifical In formatio n
2、 反演归结（消解）证明定理时，若当前归结式是（ ）时，则定理得证。
A）永真式 B）包孕式（subsumed） C）空子句
3、 从已知事实出发，通过规则库求得结论的产生式系统的推理方式是
A）正向推理 B）反向推理 C）双向推理
4、 语义网络表达知识时，有向弧 AKO链、ISA链是用来表达节点知识的（ ）。
A）无悖性 B）可扩充性 C）继承性
5、 （A t B） A A => B 是
A）附加律 B）拒收律 C）假言推理 D）US
6、 命题是可以判断真假的
A）祈使句 B）疑问句 C）感叹句 D）陈述句
7、 仅个体变元被量化的谓词称为
A） 一阶谓词 B）原子公式 C）二阶谓词 D）全称量词
8 MGU 是
A）最般合
B)最-
般替换
C）最般谓词
9、1997 年 5 月，
著名的
“人机大战”
，最终计算机以
这台计算机被称为
()
A）深蓝
B) IBM
C）深思
10、下列不在人工智能系统的知识包含的 4个要素中
D）基替换
,
D）蓝天
A）事实 B）规则 C）控制和元知识 D）关系
11、谓词逻辑下，子句，C1=L V C1 ‘ , C2= ? L/ C2 若b是互补文字的（最一般）合一置换，则其归结式C=（）
A) C1' V C2'b
B)C1'V C2'
C)C1' A C2'b
12、或图通常称为
A ）框架网络
B）语义图
C）博亦图
13、不属于人工智能的学派是
A）符号主义
B）机会主义
C）行为主义
14、人工智能的含义最早由一位科学家于 1950年提出,
家是
D）C1' A C2'
D）状态图
D）连接主义。
并且同时提出一个机器智能的测试模型，请问这个科学
A）明斯基 B）.扎德 C）图林 D）冯诺依曼
，必须让机器具有知识。因此，在人工智能中有一个研究领域，主要研究计算机如何自动 获取知识和技能，实现自我完善，这门研究分支学科叫（ ）。
A）专家系统 B）机器学****C）神经网络 D）模式识别
二、填空题（，共30分）
1、不确定性类型按性质分： ， ,
2、 在删除策略归结的过程中删除以下子句：含有 的子句；含
有 的子句；子句集中被别的子句 的子句。
3、 对证据的可信度 CF （A ）、CF （A1 ）、CF （A2 ）之间，规定如下关系：
CF （~A ） = 、CF （A1 A A2 ） = 、
CF （A1 V A2 ） =
4、 图：指由 和 组成的网络。按连接同一节点的各边的逻辑关系又可分为
和 。
5、 合一算法：求非空有限具有相同谓词名的原子公式集的
6、 产生式系统的推理过程中，从可触发规则中选择一个规则来执行， 被执行的规则称为 。
7、 P（B|A）表示在规则 中，证据 A为真的作用下结论B为真
的 。
&人工智能的远期目标是
近期目标是 。
三、简答及I
1、填写下面的三值逻辑表。
其中T，F，U分别表示真，假，不能判定
A
T F ir
V
T F LJ
P
T
F
U
T
F
U
T
F
U
2、 什么是产生式？产生式规则的语义是什么？
3、 谓词公式G通过8个步骤所得的子句集合 S,称为G的子句集。请写出这些步骤。
4、 已知 S={P(f(x),y,g(y)),P(f(x),z,g(x))} ，求 MGU
5、 证明G是否是F的逻辑结论；
F : x(P(x) Q(a) Q(x))
G: x(P(x) Q(x))
四、应用题(共30分)
1、 用语义网络表示下列信息：
(1) 胡途是思源公司的经理，他 35岁，住在飞天胡同 68号
(2) 清华大学与北京大学进行蓝球比赛，最后以 89: 102的比分结束。
答：
2、 图示博弈树，其中末一行的数字为假设的估值， 请利用a - B剪枝技术剪去不必要的分枝。 (在节点及边上直接
加注释)
3
欢迎