复旦大学博士生入学考试人工智能真题及答案
合集下载
相关主题
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
1.孕育期（～1960）： 1937年，Turing 发表了理想计算机的论文。 1956年，人工智能（Artificial Intelligene , AI）一词在美国一次学者聚会 中诞生。 1957年，Newell 等人提出 GPS（General Problem Solver）。 2.诞生期（1960～1970）： 1960年，MaCarthy 提出 LISP 语言。
（略） 三、(10 分)用框架表示下述报道的风灾事件
[虚拟新华社 9 月 26 日电] 国家气象局命名的“62 年 2 号”台风 于昨日下午 4 时在浙江舟山地区登陆。据专家经验，认为风力大 于等于 8 级。但中心风力的准确值，有待数据处理，目前尚未发 布。此次台风造成的损失，尚未得到报告。若需要详细的损失数 字， 可电询自然灾害统计中心。另据国家气象局介绍说，事前 曾得到国际气象组织的预报：昨日上午于太平洋赤道地区生成高 压气旋， 将向北移动，于 浙 江 登 陆。依照国际惯例将其命名为 “Carla”飓风，我国也予以承认，至于“Carla” 是否就是登陆的“61 年 2 号”．尚须另外加以核查 。
Slot6:国 际 命 名： default ：Carla If added ：
check
if_added:check 四、(10 分)对结论做假设 H，有证据 E1，E2，规则 R1，R2：
R1： E1 一 H， LS＝20， LN＝1； R2： E2 一 H， LS＝300， LN＝1。 已知 H 的先验概率 P(H)＝0.03。若证据 E1，E2 依次出观，按主观 Bayes 推理，求 H 在此条件下的概率 P(H|E1、E2)。 (注意： 每步应列出计算式， 计算结果可取近似值)。 答案：考虑规则 R1
mailto:wdg98@
4U 电脑书库（http://wangdHale Waihona Puke ）
1983年 IntelliCorp 公司推出 KEE（结合多样知识表现与推论方法的专家系统 建构工具），随后大量的专家系统建构工具问世。 如：ART，Knowledge Craft。 1984年 欧洲共同市场订定欧洲信息技术研究发展策略计画。 1988年 Gallant 提出以类神经网络为基础的专家系统架构。 1989年 日本宣布人类领域科学计画（第六代计算机计画），希望藉由类神经网 路突破人工智慧的许多瓶颈。 5. 成熟期（1990～）： 1990 以后，进入商业竞争时代，大量专家系统被广泛应用于各行业。]
7．在语义网络中，为了进行节点(结点，node)间节点属性的继承推理， 规定了两个约定俗成的链(弧，arc)，命名为(AKO)和(ISA)，用来标明类与子 类、类与个体之间的关系。
8．产生式规则与蕴含规则的区别在于：产生式规则(可表示精确和不精 确知识)，而蕴含规则(只表示精确性知识)。
9．MYCIN 推理中，对证据的可信度 CF(A)、CF(A1)、CF(A2)之间，规 定如下关系 ： CF(~A)＝ (~CF(A))、CF(A1? A2)＝（min{CF(A1),CF(A2)}）、 CF(A1ⅤA2)＝（max{CF(A1),CF(A2)}）。
二、填空题（共10分） 1、近年来，对人类智能的理解上形成了两种不同的观点，一种观点称做(符
号）主义，另一种观点，即(人工智能神经网络)的观点，称做(联接)主义。 2、常用的知识表示方法有逻辑表示法、(产生式法 )、(语义网 络 )、(框架 )、(状
态空间)等。 3、下图为Simon提出的学习模型，请填充空白框． 答案：(环境 学习环节 知识库)
4U 电脑书库（）
1999年人工智能原理答案
一、选择题（共4分） 人工智能作为一门学科，在(K )年诞生于( 9 )。L1SP语言是( L )年提出的，
MYCIN的诞生地是(30 )．
［人工智能大事记： 人工智能的发展史可分为五个时期：
三、（５分）将下式化为不含量词的子句 ∃x∀y∃z∀uP(x, y, z,u)
（略） 四、（６分）己知； 规则１： 任何人的兄弟不是女性。． 规则２： 任何人的姐妹必是女性。 事实： Ｎａｒｙ是Ｂｉｌｌ的姐妹． 求证：用归结推理方法证明Ｍａｒｙ不是Ｔｏｍ的兄弟。 （提示）规则１表示为： ∀x∀y(brother(x, y) →~ woman( x)) 事实表示为：ｓｉｓｔｅｒ（Ｍａｒｙ，Ｂｉｌｌ） 证明：1. ~brother(x,y) V ~woman(x)
Frame:台风 Slot1: 命名 value:６ １ 年 ２号
slot4:风力
value:nul if_added: >=8 级
Slot2: 时间 value: 9 月 15 日下午 4 时 slot5:损失
value: nil if_needed: 电 讯自然灾害中 心
Slot3: 地点 value:浙 江 舟 山地区
1965年 史丹佛大学开发第一个专家系统 Dendral （推论化学结构的专家系统）。 1965年 Robinson 提出Resolution Refutation 理论，使定理证明向前迈进一大步。 1965年 Zadeh 提出 Fuzzy Logic 理论。 1969年 MIT 开发 MACSYMA （数学符号运算专家系统）。 3.开创期（1970～1980）： 1972年 史丹佛大学开发MYCIN（传染病诊断系统）。 1972年 史丹佛研究院（SRI）开发 Prospector （矿床探测专家系统）。 1972年 法国 Colmerauer 与 Roussel 开发 PROLOG 逻辑程序语言。 1974年 卡内基-美隆大学开发 OPS 语言（人工智慧与专家系统专用语言）。 1975年 Minsky 提出框架（Frame）知识表示法。 1977年 Feigenbaum 提出知识工程（Knowledge Engineering）一词。 1978年 卡内基-美隆大学和 DEC 公司合作开发 R1（又称XCON），用来依据 客户需求，架构适当的计算机系统。 1979年 Forgy 提出 Rete 演算法，提高 Production System 的法则匹配速度。 4.成长期（1980～1990）： 1980年 LISP 机器开始生产问世。 1982年 日本政府宣布开发第五代计算机，以 PROLOG 做为核心语言。
mailto:wdg98@
4U 电脑书库（）
(提示：分析、概括用下划线标出的要点，经过概念化形成槽(slot)、侧面〔facet) 值。特别要注意“值”(value)、“默认值”(default)、“如果需要值”(if- needed)，“如 果附加值”(if-added)的区别与应用，建议采用格式如下。不用的侧面值可删)。
2. ~sister(x,y) V woman(x) 3. sister(Mary,Bill) 4. brother(Mary,Tom) 1,4-> ~woman(mary) 5 2,3-> woman(Mary) 6 5,6-> NIL
mailto:wdg98@
4U 电脑书库（）
0.9946
mailto:wdg98@
4U 电脑书库（）
2001年人工智能原理答案
一、选择与填空（共ｌＯ分，每空０．５分） （１） 标准逻辑（谓词逻辑）中，重言式（ｔａｕｔｌｏｇｙ）是：（Ａ ） Ａ 永真； Ｂ 永假： Ｃ 非永真（ｉｎｖａｌｉｄ）。 （２） 反演（ｒｅｆｕｔａｔｉｏｎ）归结（消解．ｒｅｓｏｌｕｔｉｏｎ）证明定理时，若当前归结式 （消解式，ｒｅｓｏｌｖｅｎｔ）是：（ Ｃ ） Ａ 永真式；Ｂ 包孕式（ｓｕｂｓｕｍｅｄ）； Ｃ 空子句，则定理得证。 （３）ＭＹＣＩＮ系统中规定，若证据Ａ的可信度ＣＦ（Ａ）＝Ｏ，则意味着： （Ｂ ） Ａ 证据不可信； Ｂ 对证据一无所知 Ｃ 证据可信。 （４） 主观Ｂａｙｅｓ推理中，规则Ｅ→Ｈ，其ＬＳ＝ＬＮ＝ｌ，这意味着：（Ａ ） Ａ Ｅ对Ｈ没有影响； Ｂ Ｅ支持Ｈ： Ｃ ～Ｅ支持Ｈ。 （５） 开发专家系统所要解决的基本问题有三个，那就是知识的获取、知识的 表示和（知识的使用） ；知识表示的方法主要有（一阶谓词逻辑），（产生式法），（框 架法） ， （语义网络法）。 （６）反演归结的支持集策略规定：参加归结的子句应这样选取：（两个子句中 至少有一个由目标公式的否定所得的子句）而其归结式应并入（归结子句）内
mailto:wdg98@
4U 电脑书库（）
2000 年人工智能原理答案
一、选择与填空(共 10 分，每空 0．5 分) 1.命题逻辑下，可以归结(消解、resolution)的子句 C1，C2，在某解释下
C1、C2 为真。则其归结式(消解式、resolvent)C 在该解释下( A )。 A．必真 B.必假 C.真假不能断言 2．表达式 G 是不可满足的，当且仅当对所有的解释(B )。 A．G 为真 B。G 为假 C．G 为非永真(invaIid)。 3．MYCIN 系统中规定，证据 A 的可信度 CF(A)的取值为(C)。 A．CF(A)＞0 B.0≤CF(A)≤1 C．-1≤CF(A)≤1。 4．主观 Bayes 推理中，规定似然比(Likelihood)LS、LN 应(A)。 A．.≥0 B. ≤0 C．＞0。
10．主观 Bayes 推理中，规则 E→H 的不确定性是以似然比 LS、LN 描 述的。LS 表示了规则成立的(充分) 性；LN 表示了规则成立的(必要)性。 二、(5 分)．化下列逻辑表达式为不含存在量词的前束形(prnex form)
(∃X )(∀Y ){(∀Z )[P(Z)∧ ~ Q( X , Z)] → R( X ,Y , f (a))}
得证 五、（１０分）己知：规则可信度 Ａ Ｘ ＣＦ（Ｘ，Ａ）＝０．８ Ｂ Ｘ ＣＦ（Ｘ，Ｂ）＝０．６ Ｃ Ｘ ＣＦ（Ｘ，Ｃ）＝０．４ ＸΛＤ Ｘ ＣＦ（Ｘ，Ｃ）＝０．３ 证据可信度ＣＦ（Ａ）＝ＣＦ（Ｂ）＝ＣＦ（Ｃ）＝ＣＦ（Ｄ）＝Ｏ．５ Ｘ，Ｙ的初始可信度ＣＦｏ（Ｘ）＝０．１，ＣＦｏ（Ｙ）＝０．２ 要求用ＭＹＣＩＮ的方法计算： １、结论Ｘ的可信度ＣＦ（Ｘ）： ２、结论Ｙ的可信度ＣＦ（Ｙ）： 答案： CF(X)=0.698 CF(Y)=0.32
O(H ) = P(H ) = 0.0309 1− P(H )
O(H | E1) = LS *O( H) = 0.618
O(H | E1, E2 ) = LS2 * O(H | E1) = 185.567
P(H
|
E1, E2 )
=
O( H | E1, E2 ) 1 + O(H | E1, E2 )
=
5．在诞生初期，人工智能被定义为这样一个计算机科学的分支；它是研究 (智 能计算机系统)。人工智能程序与通常意义下 的程序比较它具有以下四个特 点： (研究对象是符号)， (启发式推理方法)， (控制结构与领域知识是 分离的) ， (允许出现不正确解答)
6．用反演(refutation)归结证明定理，证明过程是这样结束的。若 (产生 子空间)，则定理得证；若(无法归结)，则证明失败。
（略） 三、(10 分)用框架表示下述报道的风灾事件
[虚拟新华社 9 月 26 日电] 国家气象局命名的“62 年 2 号”台风 于昨日下午 4 时在浙江舟山地区登陆。据专家经验，认为风力大 于等于 8 级。但中心风力的准确值，有待数据处理，目前尚未发 布。此次台风造成的损失，尚未得到报告。若需要详细的损失数 字， 可电询自然灾害统计中心。另据国家气象局介绍说，事前 曾得到国际气象组织的预报：昨日上午于太平洋赤道地区生成高 压气旋， 将向北移动，于 浙 江 登 陆。依照国际惯例将其命名为 “Carla”飓风，我国也予以承认，至于“Carla” 是否就是登陆的“61 年 2 号”．尚须另外加以核查 。
Slot6:国 际 命 名： default ：Carla If added ：
check
if_added:check 四、(10 分)对结论做假设 H，有证据 E1，E2，规则 R1，R2：
R1： E1 一 H， LS＝20， LN＝1； R2： E2 一 H， LS＝300， LN＝1。 已知 H 的先验概率 P(H)＝0.03。若证据 E1，E2 依次出观，按主观 Bayes 推理，求 H 在此条件下的概率 P(H|E1、E2)。 (注意： 每步应列出计算式， 计算结果可取近似值)。 答案：考虑规则 R1
mailto:wdg98@
4U 电脑书库（http://wangdHale Waihona Puke ）
1983年 IntelliCorp 公司推出 KEE（结合多样知识表现与推论方法的专家系统 建构工具），随后大量的专家系统建构工具问世。 如：ART，Knowledge Craft。 1984年 欧洲共同市场订定欧洲信息技术研究发展策略计画。 1988年 Gallant 提出以类神经网络为基础的专家系统架构。 1989年 日本宣布人类领域科学计画（第六代计算机计画），希望藉由类神经网 路突破人工智慧的许多瓶颈。 5. 成熟期（1990～）： 1990 以后，进入商业竞争时代，大量专家系统被广泛应用于各行业。]
7．在语义网络中，为了进行节点(结点，node)间节点属性的继承推理， 规定了两个约定俗成的链(弧，arc)，命名为(AKO)和(ISA)，用来标明类与子 类、类与个体之间的关系。
8．产生式规则与蕴含规则的区别在于：产生式规则(可表示精确和不精 确知识)，而蕴含规则(只表示精确性知识)。
9．MYCIN 推理中，对证据的可信度 CF(A)、CF(A1)、CF(A2)之间，规 定如下关系 ： CF(~A)＝ (~CF(A))、CF(A1? A2)＝（min{CF(A1),CF(A2)}）、 CF(A1ⅤA2)＝（max{CF(A1),CF(A2)}）。
二、填空题（共10分） 1、近年来，对人类智能的理解上形成了两种不同的观点，一种观点称做(符
号）主义，另一种观点，即(人工智能神经网络)的观点，称做(联接)主义。 2、常用的知识表示方法有逻辑表示法、(产生式法 )、(语义网 络 )、(框架 )、(状
态空间)等。 3、下图为Simon提出的学习模型，请填充空白框． 答案：(环境 学习环节 知识库)
4U 电脑书库（）
1999年人工智能原理答案
一、选择题（共4分） 人工智能作为一门学科，在(K )年诞生于( 9 )。L1SP语言是( L )年提出的，
MYCIN的诞生地是(30 )．
［人工智能大事记： 人工智能的发展史可分为五个时期：
三、（５分）将下式化为不含量词的子句 ∃x∀y∃z∀uP(x, y, z,u)
（略） 四、（６分）己知； 规则１： 任何人的兄弟不是女性。． 规则２： 任何人的姐妹必是女性。 事实： Ｎａｒｙ是Ｂｉｌｌ的姐妹． 求证：用归结推理方法证明Ｍａｒｙ不是Ｔｏｍ的兄弟。 （提示）规则１表示为： ∀x∀y(brother(x, y) →~ woman( x)) 事实表示为：ｓｉｓｔｅｒ（Ｍａｒｙ，Ｂｉｌｌ） 证明：1. ~brother(x,y) V ~woman(x)
Frame:台风 Slot1: 命名 value:６ １ 年 ２号
slot4:风力
value:nul if_added: >=8 级
Slot2: 时间 value: 9 月 15 日下午 4 时 slot5:损失
value: nil if_needed: 电 讯自然灾害中 心
Slot3: 地点 value:浙 江 舟 山地区
1965年 史丹佛大学开发第一个专家系统 Dendral （推论化学结构的专家系统）。 1965年 Robinson 提出Resolution Refutation 理论，使定理证明向前迈进一大步。 1965年 Zadeh 提出 Fuzzy Logic 理论。 1969年 MIT 开发 MACSYMA （数学符号运算专家系统）。 3.开创期（1970～1980）： 1972年 史丹佛大学开发MYCIN（传染病诊断系统）。 1972年 史丹佛研究院（SRI）开发 Prospector （矿床探测专家系统）。 1972年 法国 Colmerauer 与 Roussel 开发 PROLOG 逻辑程序语言。 1974年 卡内基-美隆大学开发 OPS 语言（人工智慧与专家系统专用语言）。 1975年 Minsky 提出框架（Frame）知识表示法。 1977年 Feigenbaum 提出知识工程（Knowledge Engineering）一词。 1978年 卡内基-美隆大学和 DEC 公司合作开发 R1（又称XCON），用来依据 客户需求，架构适当的计算机系统。 1979年 Forgy 提出 Rete 演算法，提高 Production System 的法则匹配速度。 4.成长期（1980～1990）： 1980年 LISP 机器开始生产问世。 1982年 日本政府宣布开发第五代计算机，以 PROLOG 做为核心语言。
mailto:wdg98@
4U 电脑书库（）
(提示：分析、概括用下划线标出的要点，经过概念化形成槽(slot)、侧面〔facet) 值。特别要注意“值”(value)、“默认值”(default)、“如果需要值”(if- needed)，“如 果附加值”(if-added)的区别与应用，建议采用格式如下。不用的侧面值可删)。
2. ~sister(x,y) V woman(x) 3. sister(Mary,Bill) 4. brother(Mary,Tom) 1,4-> ~woman(mary) 5 2,3-> woman(Mary) 6 5,6-> NIL
mailto:wdg98@
4U 电脑书库（）
0.9946
mailto:wdg98@
4U 电脑书库（）
2001年人工智能原理答案
一、选择与填空（共ｌＯ分，每空０．５分） （１） 标准逻辑（谓词逻辑）中，重言式（ｔａｕｔｌｏｇｙ）是：（Ａ ） Ａ 永真； Ｂ 永假： Ｃ 非永真（ｉｎｖａｌｉｄ）。 （２） 反演（ｒｅｆｕｔａｔｉｏｎ）归结（消解．ｒｅｓｏｌｕｔｉｏｎ）证明定理时，若当前归结式 （消解式，ｒｅｓｏｌｖｅｎｔ）是：（ Ｃ ） Ａ 永真式；Ｂ 包孕式（ｓｕｂｓｕｍｅｄ）； Ｃ 空子句，则定理得证。 （３）ＭＹＣＩＮ系统中规定，若证据Ａ的可信度ＣＦ（Ａ）＝Ｏ，则意味着： （Ｂ ） Ａ 证据不可信； Ｂ 对证据一无所知 Ｃ 证据可信。 （４） 主观Ｂａｙｅｓ推理中，规则Ｅ→Ｈ，其ＬＳ＝ＬＮ＝ｌ，这意味着：（Ａ ） Ａ Ｅ对Ｈ没有影响； Ｂ Ｅ支持Ｈ： Ｃ ～Ｅ支持Ｈ。 （５） 开发专家系统所要解决的基本问题有三个，那就是知识的获取、知识的 表示和（知识的使用） ；知识表示的方法主要有（一阶谓词逻辑），（产生式法），（框 架法） ， （语义网络法）。 （６）反演归结的支持集策略规定：参加归结的子句应这样选取：（两个子句中 至少有一个由目标公式的否定所得的子句）而其归结式应并入（归结子句）内
mailto:wdg98@
4U 电脑书库（）
2000 年人工智能原理答案
一、选择与填空(共 10 分，每空 0．5 分) 1.命题逻辑下，可以归结(消解、resolution)的子句 C1，C2，在某解释下
C1、C2 为真。则其归结式(消解式、resolvent)C 在该解释下( A )。 A．必真 B.必假 C.真假不能断言 2．表达式 G 是不可满足的，当且仅当对所有的解释(B )。 A．G 为真 B。G 为假 C．G 为非永真(invaIid)。 3．MYCIN 系统中规定，证据 A 的可信度 CF(A)的取值为(C)。 A．CF(A)＞0 B.0≤CF(A)≤1 C．-1≤CF(A)≤1。 4．主观 Bayes 推理中，规定似然比(Likelihood)LS、LN 应(A)。 A．.≥0 B. ≤0 C．＞0。
10．主观 Bayes 推理中，规则 E→H 的不确定性是以似然比 LS、LN 描 述的。LS 表示了规则成立的(充分) 性；LN 表示了规则成立的(必要)性。 二、(5 分)．化下列逻辑表达式为不含存在量词的前束形(prnex form)
(∃X )(∀Y ){(∀Z )[P(Z)∧ ~ Q( X , Z)] → R( X ,Y , f (a))}
得证 五、（１０分）己知：规则可信度 Ａ Ｘ ＣＦ（Ｘ，Ａ）＝０．８ Ｂ Ｘ ＣＦ（Ｘ，Ｂ）＝０．６ Ｃ Ｘ ＣＦ（Ｘ，Ｃ）＝０．４ ＸΛＤ Ｘ ＣＦ（Ｘ，Ｃ）＝０．３ 证据可信度ＣＦ（Ａ）＝ＣＦ（Ｂ）＝ＣＦ（Ｃ）＝ＣＦ（Ｄ）＝Ｏ．５ Ｘ，Ｙ的初始可信度ＣＦｏ（Ｘ）＝０．１，ＣＦｏ（Ｙ）＝０．２ 要求用ＭＹＣＩＮ的方法计算： １、结论Ｘ的可信度ＣＦ（Ｘ）： ２、结论Ｙ的可信度ＣＦ（Ｙ）： 答案： CF(X)=0.698 CF(Y)=0.32
O(H ) = P(H ) = 0.0309 1− P(H )
O(H | E1) = LS *O( H) = 0.618
O(H | E1, E2 ) = LS2 * O(H | E1) = 185.567
P(H
|
E1, E2 )
=
O( H | E1, E2 ) 1 + O(H | E1, E2 )
=
5．在诞生初期，人工智能被定义为这样一个计算机科学的分支；它是研究 (智 能计算机系统)。人工智能程序与通常意义下 的程序比较它具有以下四个特 点： (研究对象是符号)， (启发式推理方法)， (控制结构与领域知识是 分离的) ， (允许出现不正确解答)
6．用反演(refutation)归结证明定理，证明过程是这样结束的。若 (产生 子空间)，则定理得证；若(无法归结)，则证明失败。