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

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

《人工智能经典考试试题及答案.docx》由会员分享，可在线阅读，更多相关《人工智能经典考试试题及答案.docx（35页珍藏版）》请在冰豆网上搜索。

人工智能经典考试试题及答案

一、选择题〔每题1分，共15分〕

一、AI的英文缩写是

A〕AutomaticIntelligenceB〕ArtificalIntelligence

C〕AutomaticeInformationD〕ArtificalInformation

二、反演归结〔消解〕证明走理时,假设当前归结式是〔〕时，那么走理得证。

A〕永真式B〕包孕式〔subsumed〕C〕空子句

3、从事实动身,通过规那么库求得结论的产生式系统的推理方式是

A〕正向推理B〕反向推理C〕双向推理

4、语义网络表达知识时，有向弧AKO链、ISA链是用来表达节点知识的〔X

A〕无悖性B〕可扩充性C〕继承性

五、〔A—B〕人A=>B是

A〕附加律B〕拒收律C〕假言推理D〕US

六、命题是能够判走真假的

A〕祈使句B〕疑问句C〕感慨句D〕陈述句

7、仅个体变元被星化的谓词称为

A〕—阶谓词B〕原子公式C〕二阶谓词D〕全称臺词

八、MGU是

A〕最一样合一B〕最一般替换C〕最一般谓词D〕基替换

九1997年5月，闻名的“人机大战",最终运算机以比的总比分将世界国际象棋棋王卡斯帕罗夫击败，这台运

算机被称为〔〕

A〕深蓝B〕IBMC〕深思D〕蓝天

10、以下不在人工智能系统的知识包括的4个要素中

A〕事实B〕规那么C〕控制和元知识D〕关系

1一、谓词逻辑下，子句，Cl=LVCr,C2=-LVC2-,假设。

是互补文字的〔最一样〕合一麗换，那么貝归结式

C=〔〕

A）ClaVC2oB）CrVC2>C）CTo/\C2V

1二、或图通常称为

A）框架网络B）语义图C）博亦图

13、不属于人工智能的学派是14、人工智能的含义最先由一名科学家于1950年提出，而且同时提岀一个机械智能的测试模型，请问那个科学

家是

A）明斯基B）.扎徳C）图林D）

15•要想让机械具有智能，必需让机械具有知识。

因此，在人工智能中有一个研究领域，要紧研究运算机如何自动

获取知识和技术，实现自我完善，这门研究分支学科叫（）.

A）专家系统B）机器学习C）神经网络D）模式识别

二、填空题（每空分，共30分）

一.不确信性类型按性质分：

二、在删除策略归结的进程中删除以下子句：

含有的子句;含

有的子句;子句集中被别的子句的子句。

3、对证据的可信度CF（A）、CF（Al）、CF（A2）之间，规定如下关系：

CF（-A）=、CF（A1AA2）=、

CF（A1VA2）=

4、图：

指由和组成的网络。

按连接同一节点的各边的逻借关系又可分为

和O

五、合一算法：

求非空有限具有相同谓词名的原子公式集的

六、产生式系统的推理进程中，从可触发规那么中选择一个规那么来执行，被执行的规那么称

为O

7、P（BIA）表示在规那么中，证据A为真的作用下结论B为真

的。

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

近期目标是0

三、简答及计算题（每题5分，共25分）

一、填写下面的三值逻辑表。

英中T,F,U别离表示真，假，不能判左

二、什么是产生式？

产生式规那么的语义是什么？

3、谓词公式G通过8个步骤所得的子句集合S,称为G的子句集。

请写岀这些步骤。

4、已S={P（f（x）,y,g（y））,P（f（x）,z,g（x））},求MGU

五、证明G是不是是F的逻辑结论：

F:

Vx（P（x）aQ（a）vQ（x））

G:

Bx（P（x）/\Q（x））

四、应用题（共30分）

一、用语义网络表示以下信息：

（1）胡途是思源公司的领导，他35岁，住在飞天胡同68号

（2）淸华大学与北京大学进行蓝球竞赛，最后以89：

102的比分终止.

答：

二、图示博弈树，其中末一行的数字为假设的估值，请利用a-p剪枝技术剪去没必要要的分枝。

〔在节点及边上直接加注释〕

5-33-3-3022-30~23

3、设有如下关系：

〔1〕假设是x是y的父亲，y又是z的父亲，那么x是z的祖父：

〔2〕老李是大李的父亲：

〔3〕大李是小李的父亲；问上述人员中谁和谁是祖孙关系？

二、一、随机性，模糊性.不完全性，不一致性二.纯文字，永真式，类含

3、・CF〔A〕,min{CF〔Al〕、CF〔A2〕},max{CF〔Al〕,CF〔A2〕}

4、节点，有向边，或图，与或图

五、最一样合一〔MGU〕

六、被触发规那么

二、产生式规那么大体形式：

P-Q或IFPTHENQ

P是产生式的前提〔前件〕，用于指岀该产生式是不是可用的条件

Q是一组结论或操作〔后件〕，用于指岀当前提P所指示的条件知足时，应该得岀的结论或应该执行的操作产生式规那么的语义：

假设是前提P被知足，那么可推出结论Q或执行Q所规泄的操作

3、1〕消去包括式和等价式一,<>

2〕缩小否泄词的作用范用，直到其作用于原子公式：

3〕适当更爼，使量词间不含同冬指导变元和约朿变元。

4.〕消去存在量词〔形成Skolcm标准型〕

5）消去所有全称量词

6）化成合取范式

7）.适当改名，使子句间无同名变元

8）.消去合取词用逗号代替，以子句为元素组成一个集合S

4、解：

k二0;S0二S;§0二£;S0不是单元素集，求得不同集D0={y,z},其中y是变元.z是项，且y不在z中显现。

k=k+l=l

有61=60•{z/y}=e•（z/y）=（z/y）>

Sl=S0•{z/y}={P（f（x）,z,g（z））,P（f（x）,z,g（x））},SI不是单元素集,求得不同集DI二{z,x）,k=k+l=2;62=51•（z/x）={z/y,z/x},S2=S1•{z/x}={P（f（z）,z,g（z））}是单元素集。

依照求MGU算法，MGU=62={z/y,z/x}

五、证：

①P（x）・・・从F变换

2Q（a）VQ（x）・・•从F变换

3

结论的否左

①③归结，{x/y}

・・②④归结，置换fa/x}

nP（y）V-]Q（y）・

4nQ（x）・

5口得证。

四、

3、解:

现概念如下谓词F（x,y）——x是y的父亲；G（x,z）x是y的祖父；

用谓词逻借表示与求解:

（1）F（x,y）AF（y,zLG（x,z）⑵F（L.D）

⑶F（D,X）

⑷G（u,v）,u=?

v=?

其中丄表示老李・D表示大李,X表示小李。

先证存在祖孙关系

1nF（x,y）VnF（y,z）VG（x,z）...从⑴变换

2F（L.D）...从

（2）变换

3F（D,X）•…从（3）变换

④1G（u,v）

•…结论的否泄

5nF（D,z）VG（L,z）

6G（L,X）

7口

...®®{L/x.D/y}

...③⑤归结，置换{X/z}

•…④⑥归结，置换{L/u.X/v}

得证,说明存在祖孙关系。

为了求解用一个重言式④

④1G（u,v）VG（u.v）…用重言式代替结论的否左,重言式恒为真

51F（D.z）VG（Uz）

6G（UX）

7G（L.X）

…①®归结，置换{L/x.D/y}

...③⑤归结，置换{X/z}

•…④⑥归结，置换{L/ilX/v}得结果:

L是X的祖父，即老李是小李的祖父。

三、简答及计算题（每题5分，共25分）一.说明以下模糊性知识：

1）张三，体型，（胖，））°

2）（患者，病症，（头疼，）/\（患者，病症，（发烧，）一（患者，疾病，（伤风，）答：

二、简单论述产生式系统的组成:

答：

3、补齐产生式系统与图搜索的对照表

产生式系统

图搜索

初始节点

目标条件

状态转换规那么问题变换规那么

规那么库

操作集

节点（状态/问题）

控制策略

4、W={P（f（x,g（A,y））,z）,P（f（x,z）,z）},求MGU

解：

五、证明G是不是是F—、F2的逻辑结论：

Fl：

Vx（P（x）^（0（x）a/?

（x））

F2：

Hx（P（x）a5（a））

G：

3.v（5（x）a7?

（x））

四'应用题（共30分）

一、将命题：

“某个学生读过三国演义〞别离用谓词公式和语义网络表示

二、图示博弈树，其中末一行的数字为假设的估值，请利用剪枝技术剪去没必要要的分枝。

（在节点及边上直接加注释）

3、利用谓词逻辑表示以下知识（包括和结论），然后化成子句集:

（1）但凡淸洁的东西就有人喜爱：

（2）人们都不喜爱苍蝇

求证：

苍蝇是不淸洁的。

2、正向推理3、ArtificalIntelligence

4、随机性，模糊性，不完全性，不一致性

五、纯文字，永真式，类含

六、-CF（A）,min{CF（Al）,CF（A2）},max{CF（Al）,CF（A2）}）

7、节点和有向边，或图，与或图8、最一般合一（MGU）

九、深蓝10、制造智能机器，实现机器智能

三、一、答：

1）表示：

命题“张三比拟胖〞2）说明为：

假设是患者有些头疼而且发高烧，那么他得了重伤风。

二、答：

1）产生式规那么库：

描述相应领域知识的产生式规那么集

2）数据库：

（事实的集合）存放问题求解进程中当前信息的数据结构（初始事实、外部数据库输入的事实、中间结果事实和最后结果事实）

3）推理机：

（操纵系统）是一个程序，操纵和谐规那么库与数据库的运行，包括推理方式和操纵策略。

3、答：

产生式系统

图搜索

初始事实数据

初始节点

目标条件

目标节点

产生式规那么

状态转换规那么问题变换规那么

规那么库

操作集

动态数据库

肖点（状态/问题）

控制策略

搜索策略

4、解：

k二0;S0二S;各0二£;S0不是单元素集，求得不同集D0二{g（A,y）},z},其中z是变元，g（A,y）是项，且z不在g（A,y）中显现。

k=k+l=l

有61=60•

S1=SO•{g（A,y）/z）={P（f（x,g（A,y））,g（A,y））},SI是单元素集。

依照求MGU算法，MGU=fi1={g（A,y）/z}

五、uE:

®iP（x）VQ（x）

（2）nP（y）VR（y）、

3P（a）

4S（a）

5qS（z）V-|R（z）・・

6R（a）

（ThR（a）・・

⑧口

・・・从Fl变换

••从Fl变换

••从F2变换

••从F2变换结论的否认

・・②③归结{a/y}

④⑤归结（a/z）

・・⑥⑦归结

得证.

四、一、答：

谓词公式表示

3x（student（x）Aread（x,三国演义））语义网络表示如图：

3、证：

现概念如下谓词

L（x,y）某人x喜爱某物y：

P（y）某物y是淸洁的东西

（1）Vy3x（P（y）-L（x,y））=>nP（y）VL（f（y）,y）

（2）VxhL（x,Fly））==>-|L（x,Fly）

（3）P（Fly）・・・结论的反

（4）L（f（Fly）>Fly）・・・

（1）（3）归结，置换{Fly/y}

（5）□・・・

（2）（4）归结，{f（Fly）/x}

得证。

试题部份：

一、选择题〔1