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

浙江大学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、 C、 D、 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．下面哪一项不属于贝叶斯网络的主要优点（与朴素贝叶斯分类器和全概率公式相比）？