2004硕士AI期末试卷(2004.11.8)

浙江大学2004－2005学年秋季学期期终考试

硕士生《人工智能》试卷（开卷）

考试时间：120 分钟开课学院计算机学院专业____________

姓名______________ 学号_____________ 成绩_____________

一、单项选择题（在每小题列出的四个备选答案中，选出一个正确的答案，并将

其号码填在题干的括号内。每小题2分，共30分）

1．下面关于AI萌芽及理论准备阶段的论述不正确的是：（）

A、亚里士多德提出了演绎法和归纳法等著名的思维法则和形式逻辑。

B、莱布尼兹提出了对思维和推理进行形式逻辑符号化的数理逻辑。

C、哥德尔深入研究了形式逻辑的可判定性和完备性，并从理论上证明了将

人的思维和推理形式化和机械化是存在某些极限的。

D、香农信息论认为人的思维和推理过程能通过信息熵的形式加以量化研

究。

2．下面关于Stanford大学教授Feigenbaum在AI界所做的重要贡献论述不正确的是：（）

A、彻底推翻了有些著名的AI专家企图建立万能的逻辑体系的设想

B、提出了知识工程、专家系统及其开发工具

C、主持开发了一个以知识为基础的专家咨询系统MYCIN

D、及时恢复了AI的社会形象并有力地推动了AI的发展进程

3．与一般的分布式人工智能（DAI）系统相比，多Agents系统的最显著特点是：

（）

A、既没有全局控制，也没有全局的数据和知识存储，在逻辑和物理上都是

分布的。

B、这是一种典型的利用多个问题求解单元实现自底向上并行协作的系统。

C、各个问题求解单元通过计算机网络实现协作、协调和协商等功能。

D、适合于求解那些超出单个问题求解单元能力的较复杂问题。

4．相对而言，下面哪一种语言不是很适用于多Agents之间的通信？（）

A、KQML

B、FIPA ACL

C、Java

D、Open GL

5．对于复合型的谓词公式{[HUMAN(X) →LAWED(X)] →[COMMIT(X) →PUNISHED(X)]}，已知X= 猎狗，且COMMIT(猎狗)不成立，则上述整个谓词公式的真值为：（）

A、真

B、假

C、不可判定

D、还需要其它附加条件

6． 下面哪一项是G=(∃x)(∀y)(∃z) ((~P(x, y) ∧ Q(x, z)) ∨ R(x, y, z))经过SKOLEM

标准形转换后所得的子句集？ （ ） A 、S= {(~P(a, b) ∨ R(a, y, b)) , (Q(a, b) ∨ R(a, y, b))} B 、S= {(~P(a, y) ∨ R(a, y, z)) , (Q(a, z) ∨ R(a, y, z))}

C 、S= {(~P(a, y) ∨ R(a, y, f(a, y))) , (Q(a, f(a, y)) ∨ R(a, y, f(a, y)))}

D 、S= {(~P(a, y) ∨ R(a, y, f(y))) , (Q(a, f(y)) ∨ R(a, y, f(y)))})

7．下面哪一项是子句集S={R(b) ∨ P(z), Q(f(a, z))}的Herbrand 域？ （ ）

A 、}b)), f(a, f(a, a)),f(a, f(a, b), f(a, a), f(a, b, {a,H ⋯=∞

B 、} a)),f(a, f(a, b),f(b, a),f(b, b), f(a, a), f(a, b, {a,H ⋯=∞

C 、a)),...}f(a, f(a, b), f(a, a), f(a, Q(a), P(a), R(b), b, {a,H =∞

D 、...} b), f(a, a), f(a, a)),Q(f(a, P(a), R(b), b, {a,H =∞

8．下面哪一项不属于20世纪70～80年代出现的非单调推理三大流派之一？

（ ）

A 、限定推理

B 、默认（缺省）逻辑

C 、自认知逻辑

D 、模态逻辑

9． 在选择知识表示方法时，下面哪一项原则不一定要遵循？ （ ）

A 、应能充分表示领域知识

B 、越简单越好

C 、便于知识的组织、管理、利用和维护

D 、便于理解和实现

10．下面哪一项不属于产生式系统的三大组成部分之一？ （ ）

A 、真值维护系统

B 、综合数据库

C 、规则库

D 、推理机

11．下面哪一种方法不很适于表达存在因果关系的知识？ （ ）

A 、产生式表示法

B 、Petri 网

C 、Bayesian Belief Networks

D 、框架表示法 12．下面哪一项不属于贝叶斯网络的主要优点（与朴素贝叶斯分类器和全概率公

式相比）？ （ ） A 、可表述变量的一个子集上的条件独立性假设，提供了一种折衷方案 B 、比朴素贝叶斯分类器中条件独立性的全局假定限制更少，故更符合实际 C 、无需在所有变量中计算条件依赖，故其效率比全概率计算方法更高 D 、贝叶斯信念网是一种效率、精度都很高的最优分类器

13．在隐马尔可夫模型（HMM ）中，若已给定观测序列和模型，现要求选择一

个状态序列使得它能最合理地解释所给定的观测序列，这时应选择下面哪个算法？ （ ） A 、前向－后向算法 B 、Viterbi 算法

C 、后向传播算法

D 、Baum-Welch 算法