人工智能复习题库文档格式.docx

人工智能复习题库文档格式.docx

《人工智能复习题库文档格式.docx》由会员分享，可在线阅读，更多相关《人工智能复习题库文档格式.docx（34页珍藏版）》请在冰豆网上搜索。

31.在谓词公式中，紧接于量词之后被量词作用谓词公式称为该量词辖域，而在一种量词辖域中与该量词指引变元相似变元称为约束变元，其她变元称为自由变元

32.假言推理（A→B）∧A⇒B，假言三段论（A→B）∧（B→C）⇒A→C

33.几种惯用归结方略：

删除方略、支持集方略、线形归结方略、输入归结方略、单元归结方略

34.在诸如走迷宫、下棋、八数码游戏等游戏中，惯用到一种人工智能核心技术称为图搜索技术，解此类问题时，常把在迷宫位置、棋布局、八数码所排成形势用图来表，这种图称为状态空间图（或状态图）

35.在启发式搜索当中，通惯用启发函数来表达启发性信息。

。

36.在二人博弈问题中，最惯用一种分析技术是极大极小分析法，这种办法思想是先生成一棵博弈树，然后再计算其倒推值。

但它效率较低，因而人们在此基本上，又提出了α-β剪枝技术

37.某产生式系统中一条规则：

A（x）→B（x），则前件是A（x），后件是B（x）

38.在框架和语义网络两种知识表达办法中，框架适合于表达构造性强知识，而语义网络则适合表达某些复杂关系和联系知识。

面向对象不但仅是一种知识表达办法，也是一种流行软件设计和开发技术。

39.不拟定性类型按性质分：

　　随机性，模糊性，不完全性，不一致性　。

40.在删除方略归结过程中删除如下子句：

具有　纯文字　　子句;

具有　　永真式子句;

子句集中被别子句类含　　子句。

对证据可信度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）}

41.合一算法：

求非空有限具备相似谓词名原子公式集　　最普通合一　　　　　　　

42.产生式系统推理过程中，从可触发规则中选取一种规则来执行，被执行规则称为　　　被触发规则　　　。

43.P（B|A）表达在规则A→B　中，证据A为真作用下结论B为真　概率　　。

44.惯用二种盲目搜索办法是_随机碰撞式搜索__和___完全式搜索______；

引入启发式知识来指引OPEN表中节点排序可划分为二种方式__全局择优搜索和___局部择优搜索。

45.产生式系统推理可以分为__正向推理___和_反向推理________两种基本方式。

46.知识表达性能应从如下二个方面评价：

_________和_________；

后者又分二个方面_________和_________。

47.人工智能体现形式至少有________、________、________、________和________几种。

48.当前所用知识表达形式有____框架语义网络面向对象_等。

49.框架系统特性继承功能可通过组合应用槽三个侧面来灵活实现，它们是_________、_________和_________。

50.产生式系统是由___综合数据库知识库___和_推理机________三某些构成.

51._________就是所考察判断事物或对象集合，记为____。

它子集构成_________。

52.证据理论是典型概率论一种扩充形式，构成这一理论函数有__基本概念全分函数_、_信任函数____和___似真函数______。

53.对于模糊不拟定性，普通采用___模糊集合____或__模糊逻辑_____来刻划。

54.归结法中，可以通过----修改证明树-----办法得到问题解答。

55.从已知事实出发，通过规则库求得结论产生式系统推理方式是正向推理

56.人工智能远期目的是制造智能机器，　，近期目的是　　　实现机器智能　。

57.运用归结原理证明定理时，若得到归结式为空集，则结论成立。

58.在启发式搜索当中，通惯用启发函数来表达启发性信息。

二、选取题

选取题：

（13小题，共13分）

1.人工智能含义最早由一位科学家于1950年提出，并且同步提出一种机器智能测试模型，请问这个科学家是（C　）。

A.明斯基

B.扎德

C.图灵

D.冯.诺依曼

2.下列哪个不是人工智能研究领域（D）

A.　机器证明

B.　模式辨认

C.人工生命

D.编译原理

3.神经网络研究属于下列（B）学派

A.符号主义

B.连接主义

C.行为主义

D.都不是

4.已知初始问题描述，通过一系列变换把此问题最后变为一种子问题集合；

这些子问题解可以直接得到，从而解决了初始问题。

这是知识表达法叫（B）

A.状态空间法

B.问题归约法

C.谓词逻辑法

D.语义网络法

5.在公式中∀y∃xp（x,y）），存在量词是在全称量词辖域内，咱们容许所存在x也许依赖于y值。

令这种依赖关系明显地由函数所定义，它把每个y值映射到存在那个x。

这种函数叫做（B）

A.依赖函数

B.Skolem函数

C.决定函数

D.多元函数

6.子句~P∨Q和P通过消解后来，得到（B）

A.P

B.Q

C.~P

D.P∨Q

7,8.A∧（A∨B）⇔A称为（C），~（A∧B）⇔~A∨~B称为（D）

A.结合律B.分派律C.吸取律D.摩根律

9,10.如果问题存在最优解，则下面几种搜索算法中，（A）必然可以得到该最优解，（D）可以以为是“智能限度相对比较高”算法。

A.广度优先搜索

B.深度优先搜索

C.有界深度优先搜索

D.启发式搜索

11.产生式系统推理不涉及（D）

A.正向推理

B.逆向推理

C.双向推理

D.简朴推理

12.下列哪某些不是专家系统构成某些（　A）

A.顾客

B.综合数据库

C.推理机

D.知识库

13.要想让机器具备智能，必要让机器具备知识。

因而，在人工智能中有一种研究领域，重要研究计算机如何自动获取知识和技能，实现自我完善，这门研究分支学科叫（B）。

A.专家系统

B.机器学习

C.神经网络

D.模式辨认！

14、AI英文缩写是B

A）AutomaticIntelligenceB）ArtificalIntelligence

C）AutomaticeInformationD）ArtificalInformation

15、反演归结（消解）证明定理时，若当前归结式是（C）时，则定理得证。

A）永真式B）包孕式（subsumed）C）空子句

16、从已知事实出发，通过规则库求得结论产生式系统推理方式是（A）

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

17、语义网络表达知识时，有向弧AKO链、ISA链是用来表达节点知识（C）。

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

18、（A→B）∧A=>

B是C

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

19、命题是可以判断真假D

A）祈使句　B）疑问句　C）感叹句　D）陈述句

20、仅个体变元被量化谓词称为A

A）一阶谓词　B）原子公式　C）二阶谓词　D）全称量词

21、MGU是A

A）最普通合一　B）最普通替代　C）最普通谓词　D）基替代

22、1997年５月，知名“人机大战”，最后计算机以3.5比2.5总比分将世界国际象棋棋王卡斯帕罗夫击败，这台计算机被称为（A）

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

23、下列不在人工智能系统知识包括4个要素中D

A）事实　B）规则　C）控制和元知识　D）关系

24、谓词逻辑下，子句，C1=L∨C1‘，C2=¬

L∨C2‘,若σ是互补文字（最普通）合一置换，则其归结式C=（A）

A）C1’σ∨C2’σ　B）C1’∨C2’　C）C1’σ∧C2’σ　D）C1’∧C2’

25、或图普通称为D

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

26、不属于人工智能学派是B

A）符号主义B）机会主义C）行为主义D）连接主义。

27、人工智能是一门D

A）数学和生理学B）心理学和生理学C）语言学

D）综合性交叉学科和边沿学科D

28、下列不在人工智能系统知识包括4个要素中D

A）事实　　B）规则　　C）控制　　D）关系

29、当前归结式是（C）时，则定理得证。

A）永真式B包孕式（subsumed）C）空子句

30、或图普通称为D

31、所谓不拟定性推理就是从（B）初始证据出发，通过运用（）知识，最后推出具备一定限度不拟定性但却是合理或者近乎合理结论思维过程。

A）不拟定性，不拟定性B）拟定性，拟定性

C）拟定性，不拟定性D）不拟定性拟定性

32、C（B|A）表达在规则A->

B中，证据A为真作用下结论B为真B

A）可信度B）信度C）信任增长度D）概率

33.谓词逻辑下，子句，C1=L∨C1‘，C2=¬

二、简答题

1.将下列自然语言转化为谓词表达形式：

（1）所有人都是要呼吸。

（2）每个学生都要参加考试。

（3）任何整数或是正或是负。

解：

设M（x）：

x是人,H（x）：

x要呼吸。

P（x）：

x是学生，Q（x）：

x要参加考试。

J（x）：

x是整数，R（x）：

x是正数，N（x）：

x是负数。

则上述三题就记为：

（1）V-x（M（x）→H（x））

（2）V-x（P（x）→Q（x））

（3）V-x（I（x）→R（x）∨N（x）））

2.何谓“图灵实验”？

简朴描述之

答：

所谓“图灵实验”，是为了判断一台机器与否具备智能实验。

实验由三个封闭房间构成，分别放置主持人、参加人和机器。

主持人向参加人和机器提问，通过提问成果来判断谁是人，谁是机器。

如果主持人无法判断谁是人，谁是机器，则这台机器具备智能，即所谓“智能机器”。

3.写出图中树结点两个访问序列，规定分别满足如下两个搜索方略：

（1）

深度优先搜索

（2）广度优先搜索

（１）深度优先搜索：

１－２－５－６－１０－１１－３－７－１２－１３－４－８－９

（２）广度优先搜索：

１－２－３－４－５－６－７－８－９－１０－１１－１２－１３－１４

4.试实现一种“大学教师”框架，大学教师类属于教师，涉及如下属性：

学历（学士、研究生、博士）、专业（计算机、电子、自动化、……）、职称（助教、讲师、副专家、专家）

框架名：

<

大学教师>

类属：

教师>

学历：

（学士、研究生、博士）

专业：

（计算机、电子、自动化、…..）

职称：

（助教、讲师、副专家、专家）

5.用谓词逻辑形式化下列描述

“不存在最大整数”

定义谓词G（x）：

x为整数

D（x,y）：

x不不大于y

形式化为：

或者

6.用语义网络表达“苹果”知识。

7.什么是产生式？

产生式规则语义是什么？

产生式规则基本形式：

P→Q或者IFPTHENQ

P是产生式前提（前件），用于指出该产生式与否可用条件

Q是一组结论或操作（后件），用于指出当前提P所批示条件满足时，应当得出结论或应当执行操作

产生式规则语义：

如果前提P被满足，则可推出结论Q或执行Q所规定操作

8.谓词公式G通过８个环节所得子句集合S，称为G子句集。

请写出这些环节。

（1）消去蕴含式和等价式→，<

->

（2）缩小否定词作用范畴，直到其作用于原子公式：

（3）恰当改名，使量词间不含同名指引变元和约束变元。

（4.）消去存在量词（形成Skolem原则型）（5）消去所有全称量词（6）化成合取范式（7）.恰当改名，使子句间无同名变元（8）.消去合取词∧，用逗号代替，以子句为元素构成一种集合S

9.

（1）已知S={P（f（x）,y,g（y））,P（f（x）,z,g（x））}，求MGU

（2）已知W={P（f（x,g（A,y））,z）,P（f（x,z）,z）}，求MGU

（1）k=0;

S0=S;

δ0=ε;

S0不是单元素集，求得差别集D0={y,z},其中y是变元，z是项，且y不在z中浮现。

k=k+1=1

有δ1=δ0·

｛z/y｝=ε·

｛z/y｝=｛z/y｝，

S1=S0·

｛z/y｝={P（f（x）,z,g（z））,P（f（x）,z,g（x））},S1不是单元素集，

求得差别集D1=｛z,x｝,k=k+1=2;

δ2=δ1·

｛z/x｝=｛z/y,z/x｝,

S2=S1·

｛z/x｝=｛P（f（z）,z,g（z））｝是单元素集。

依照求MGU算法，MGU=δ2=｛z/y,z/x｝

（2）k=0;

S0不是单元素集，求得差别集D0={g（A,y）},z},其中z是变元，g（A,y）是项，且z不在g（A,y）中浮现。

｛g（A,y）/z｝=ε·

｛g（A,y）/z｝=｛g（A,y）/z｝，

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

依照求MGU算法，MGU=δ1=｛g（A,y）/z｝

10.

（1）证明G与否是F逻辑结论；

证:

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

②Q（a）∨Q（x）．．．从F变换

③┓P（y）∨┓Q（y）．．．结论否定

④┓Q（x）．．．①③归结,{x/y}

⑤□．．．②④归结,置换{a/x}

得证。

（2）证明G与否是F1、F2逻辑结论；

①┓P（x）∨Q（x）．．．从F1变换

②┓P（y）∨R（y）`．．．从F1变换

③P（a）．．．从F2变换

④S（a）．．．从F2变换

⑤┓S（z）∨┓R（z）．．．结论否定

⑥R（a）．．．②③归结｛a/y｝

⑦┓R（a）．．．④⑤归结｛a/z｝

⑧□．．．⑥⑦归结

得证.

11.1、用语义网络表达下列信息：

（1）胡途是思源公司经理，她35岁，住在飞天胡同68号

（3）清华大学与北京大学进行蓝球比赛，最后以89：

102比分结束。

（3）将命题：

“某个学生读过三国演义”分别用谓词公式和语义网络表达

谓词公式表达：

x（student（x）∧read（x,三国演义））

语义网络表达如图：

（4）把语句“每个学生都喜欢教师上一门课。

”表达为语义网络。

（5）请把下列命题表达事实用一种语义网络表达出来。

1）树和草都是植物；

2）树和草都是有根有叶；

3）水草是草，且长在水中；

4）果树是树，且会成果；

5）樱桃树是一种果树，它结樱桃。

（6）用语义网络表达下列事实

姚明是一位年近半百男教师，中档身材，她在本年第二学期给计算机专业学生讲授“人工智能”课程。

该课程是一门选修课，比较难。

13.图示博弈树，其中末一行数字为假设估值，请运用α-β剪枝技术剪去不必要分枝。

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

14.设有如下关系：

（1）如果x是y爸爸，y又是z爸爸，则x是z祖父；

（2）老李是大李爸爸；

（3）大李是小李爸爸；

问上述人员中谁和谁是祖孙关系？

解:

现定义如下谓词

F（x,y）------x是y爸爸;

G（x,z）------x是y祖父;

用谓词逻辑表达已知与求解:

（1）F（x,y）∧F（y,z）→G（x,z）

（2）F（L,D）

（3）F（D,X）

（4）G（u,v）,u=?

v=?

其中,L表达老李,D表达大李,X表达小李。

先证存在祖孙关系

①～F（x,y）∨～F（y,z）∨G（x,z）．．．从

（1）变换

②F（L,D）．．．从

（2）变换

③F（D,X）．．．从（3）变换

④～G（u,v）．．．结论否定

⑤～F（D,z）∨G（L,z）．．．①②归结,置换｛L/x,D/y｝

⑥G（L,X）．．．③⑤归结,置换｛X/z｝

⑦□．．．④⑥归结,置换｛L/u,X/v｝

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

为了求解用一种重言式④

④～G（u,v）∨G（u,v）．．．用重言式代替结论否定,重言式恒为真

⑦G（L,X）．．．④⑥归结,置换｛L/u,X/v｝

得成果:

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

15解释下列模糊性知识：

1）张三，体型，（胖，0.9））。

2）（患者，症状，（头疼，0.95））∧（患者，症状，（发热，1.1））→（患者，疾病，（感冒，1.2））

（1）表达：

命题“张三比较胖”

（2）解释为：

如果患者有些头疼并且发高烧，则她患了重感冒。

16.简朴阐述产生式系统构成。

（1）产生式规则库：

描述相应领域知识产生式规则集

（2）数据库：

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

（3）推理机：

（控制系统）是一种程序，控制协调规则库与数据库运营，包括推理方式和控制方略。

17.试用线性消解方略证明：

子句集S={P∨Q，﹁P∨R，﹁Q∨R，﹁R}是可消解。

18广度优先搜索与深度优先搜索各有什么特点？

19.语义网络可以表达事物之间哪些关系？

20.假设已知下列事实：

（1）超市（Supermarket）卖（Sail）商品（Goods）便宜（Cheap）。

（2）王（Wang）买（Buy）需要（Want）便宜商品。

（3）自行车（Bicycle）是商品且超市卖自行车。

（4）王需要自行车。

（5）赵（Zhao）跟随王买同样商品。

请应用归结反演证明办法回答如下问题：

（1）王买自行车吗？

（2）赵买什么商品？

21.已知一种使用可信度办法推理网络如图所示，其证据可信度均标示在图中。

推理规则可信度分别为：

A∧B→H，0.7C∨D→H，0.9E→H，0.3

试按照可信度办法求解环节计算每个证据节点对假设H推理可信度，并据此推算所有证据（复合证据）对于H推理可信度。

22.求子句R（x，y）∨﹁Q（B，y）∨W（x，f（y））和R（x，C）∨Q（y，C）归结式。

23.何谓估价函数？

启发式图搜索A算法和A*算法最明显区别是什么？

24.什么是置换？

置换是可互换吗？

通惯用有序对集合s＝{t1/v1，t2/v2，…，tn/vn}来表达任一置换，置换集元素ti/vi含义是表达式中变量vi处处以项ti来替代，用s对表达式E作置换后例简记为Es。

普通来说，置换是不可互换，即两个置换合成成果与置换使用顺序关于。

25.给1～9九个数字排一种序列，使得该序列前n（n=1,...,9）个数字构成整数能被n整除。

（1）、讨论哪些知识可以协助该问题求解。

（2）、用产生式系统描述该问题.

答；

如下知识可以协助求解该问题：

（1）序列中，偶数在偶数位置，奇数在奇数位置；

（2）第五个数为5。

综合数据库：

用一种1到9序列表达：

N={x}，其中x为1到9数字之一。

规则集：

r1：

IFlen（N）=4THEN{x}∪{5}

r2：

IFlen（N）为偶数andn=In（1，3，7，9）THEN{x}∪