人工智能期末考试复习提纲工硕Word格式文档下载.docx
《人工智能期末考试复习提纲工硕Word格式文档下载.docx》由会员分享,可在线阅读,更多相关《人工智能期末考试复习提纲工硕Word格式文档下载.docx(22页珍藏版)》请在冰豆网上搜索。
3、人工智能对文化的影响。
改善人类知识;
改善人类语言;
改善文化生活;
1-6.试评述人工智能的未来发展。
人工智能的未来发展主要可以概括为更新的理论框架,更好的技术集成,更成熟的应用方法。
而在具体的应用方面,我认为主要有以下两个发展方向:
1、计算机能直接而人类大脑实现人机交流。
借助以上技术,人类可以用思维控制自己想看到的,想听到的,使媒体技术中的感官媒体更真实化,对虚拟的事物不仅可以看见听见,更可以摸得,闻得着。
同时电脑可以进一步辅助人类做出一定的判断,储存大量信息,甚至可以以身体为媒介,执行电脑程序,是人类更快的学会各种技巧,掌握更多知识。
同时,提高了生物验证的渠道,比如利用DNA染色体作为密码的载体,相信是很难伪造的。
2、电脑拥有机器思维:
机器学会人类的思维方式,帮助人更好的思考问题。
第2部分知识表示
2-1.什么是知识?
知识的要素有哪些?
知识的表示方法有哪些?
知识是经过消减、塑造、解释和转换的信息。
简单地说,知识是经过加工的信息。
知识是由特定领域的描述、关系和过程组成的。
知识是事实、信念和启发式规则。
从知识库的观点看,知识是某领域中所涉及的各有关方面的一种符号表示。
知识的要素:
事实、规则、控制和元知识。
知识的表示方法有:
状态空间法、问题归纳法、谓词逻辑法、语义网路法和框架表示法
2-2.谓词逻辑法、产生式表示法、框架表示法和语义网络表示法的要点是什么?
它们有何本质上的联系及异同点?
谓语逻辑法是采用谓词合式公式和一阶谓词演算把要解决的问题变为一个有待证明的问题,然后采用消解定理和消解反演来证明一个新语句是从已知的正确语句导出的,从而证明这个新语句也是正确的
状态空间法是基于解答空间的问题表示和求解方法,是以状态和操作符为基础的。
问题归约法是从目标(要解决的问题)出发逆向推理,建立子问题以及子问题的子问题,直至最后把初始问题归约为一个平凡的本原问题集合。
谓语逻辑法是采用谓词合式公式和一阶谓词演算把要解决的问题变为一个有待证明的问题,然后采用消解定理和消解反演来证明一个新语句是从已知的正确语句导出的,从而证明这个新语句也是正确的
语义网络法是用“节点”代替概念,用节点间的“连接弧”代替概念之间的关系。
语义网络表示法的优点:
结构性、联想性、自然性。
2-3.如何用谓词逻辑法表示知识?
(见课本例题)
例题:
所有学生都穿彩色制服。
任何整数或者为正数或者为负数。
自然数都是大于零的整数。
解:
首先定义谓词如下:
Student(x):
x是学生
Uniform(x,y):
x穿y
N(x):
x是自然数
I(x):
x是整数
P(x):
x是正数
Q(x):
x是负数
L(x):
x大于零
用谓词公式分别表示如下:
(∀x)(Student(x)->
Uniform(x,color))
(∀x)(I(x)->
P(x)VQ(x))
(∀x)(N(x)->
L(x)ΛI(x))
2-4.什么是产生式规则?
产生式系统由哪些部分组成?
说明各部分的功能。
产生式规则:
1.确定性和不确定性规则知识的产生式表示
确定性规则知识表示方法用产生式的基本形式P→Q或IFPTHENQ
不确定性规则知识表示方法用P→Q(可信度)或者IFPTHENQ(可信度)
2.确定性和不确定性事实性知识的产生式表示
确定性事实性知识表示方法一般用三元组(对象,属性,值)或(关系,对象1,对象2)来表示
不确定性事实性知识表示方法一般用四元组(对象,属性,值,不确定度量值)或(关系,对象1,对象2,不确定度量值)
产生式系统组成:
产生式系统通常由规则库、数据库和推理机三个基本部分组成。
推理机
数据库
规则库
规则库用于描述某领域内知识的产生式集合,其中规则是以产生式表示,库中包含着将问题从初始状态转换成解状态的变换规则。
规则库是专家系统的核心。
数据库又称为事实库,用来存放输入事实、外部数据库输入的事实以及中间结果和最后结果,数据库中的内容是动态变化的。
推理机又称控制系统,由一组程序组成,用来控制协调规则库与数据库的运行,包含推理方式与控制策略。
控制策略作用是确定选用什么规划或如何运用规则。
从选择规则到执行操作要分三步完成:
匹配、冲突解决和操作
2-5.说明产生式系统推理机的推理方式及推理过程。
产生式系统推理机的推理方式有正向推理、反向推理和双向推理三种
正向推理是从已知事实出发,通过规则求得结论,也称数据驱动方式或自底向上的方式,过程如下:
1.规则集中的规则与数据库中的事实进行匹配,得到匹配的规则集合。
2.使用冲突解决算法,从匹配规则集合中选择一条规则作为启用规则。
3.执行启用规则的后件,将该启用规则的后件送入数据库。
重复这个过程直至达到目标。
反向推理是从目标(作为假设)出发,反向使用规则,求得已知事实,也称目标驱动方式或称自顶向下的方式,过程如下:
1.规则库中的规则后件与目标事实进行匹配,得到匹配的规则集合。
2.使用解决算法,从匹配规则集合中选择一条规则作为启用规则。
3.将启用规则的前件作为子目标。
重复这个过程直至各子目标均为已知事实成功结束。
双向推理是一种既自顶向下、又自底向上的推理方式,推理从两个方向同时进行,直至某个中间界面上两方向结果相符便成功结束。
2-6.如何用框架表示法表示知识?
如何用语义网络法表示知识?
(见课本例题)
框架表示法表示知识举例:
描述“教师”的框架
框架名:
<
教师>
类属:
知识分子>
工作:
范围(教学,科研)
默认:
教学
性别:
(男,女)
学历:
(中专,大专)
类别:
(<
小学教师>
,<
中学教师>
大学教师>
)
语义网络法表示知识举例:
第3部分经典逻辑推理
3-1.什么是推理?
推理的任务是什么?
可分为哪几类(按推理的逻辑基础划分、所利用的知识划分、推出的结论的单调性划分)?
推理:
按某种策略由已知判断推出另一判断的思维过程
推理的任务:
从一种判断推出另一种判断
按判断推出的途径(逻辑基础)来划分:
演绎推理、归结推理、默认推理
按所利用的知识划分:
确定性推理、不确定性推理
按推出的结论的单调性划分:
单调推理、非单调推理
3-2.什么是置换?
什么是合一?
什么是归结?
置换是形如的有限集合。
其中是项,是变元;
表示用替换,不允许与
相同,也不允许变元循环出现在另一个中。
合一:
设有公式集,若存在一个代换,
使得
则称为公式集F的一个合一,
且称是可合一的。
归结:
设与是子句集中的任意两个子句,
如果中的文字与中的文字互补,
那么从和中分别消去和,
并将二个子句中余下的部分析取,构成一个新子句,
则称这一过程为归结,称为和的归结式,
称和为的亲本子句。
3-3.什么是子句?
把谓词公式化为子句集有哪些步骤?
任何文字的析取式称为子句。
谓词公式化为子句集共有9个步骤
1)消去蕴涵符号;
2)减少否定符号的辖域;
3)对变量标准化;
4)消去存在量词
5)化为前束形
6)把母式化为合取范式
7)消去全称量词
8)消去连词符号^
9)更换变量名称
3-4.掌握把谓词公式化为子句集的方法。
如把下列句子变换成子句形式:
~(x){P(x)→{(y)[p(y)→p(f(x,y))]∧(y)[Q(x,y)→P(y)]}}
3-5.简述用归结法证明定理的过程(消解反演求解过程)。
(见课本例题)P941720
归结法证明定理的过程:
1)否定结论G,得到¬
G;
2)将前提条件A₁ΛA₂Λ…ΛAn和¬
G化为子句集S;
3)应用归结原理,反复对子句集S进行归结,若能归结出空子句,则证明子句集S的不可满足性,从而证明了公式A₁ΛA₂Λ…ΛAn→G为真。
P95第17题:
证明:
先将问题用谓词描述如下:
(x)(Pass(x,computer)∧Win(x,prize))→Happy(x))
(x)(y)(Study(x)∨Lucky(x)→Pass(x,y))
┐Study(zhang)∧Lucky(zhang)
(x)(Lucky(x)→Win(x,prize))
结论“张是快乐的”的否定
┐Happy(zhang)(3分)
将上述公式转化为子句集如下:
(1)┐Pass(x,computer)∨┐Win(x,prize)∨Happy(x)
(2)┐Study(y)∨Pass(y,z)
(3)┐Lucky(u)∨Pass(u,v)
(4)┐Study(zhang)
(5)Lucky(zhang)
(6)┐Lucky(w)∨Win(w,prize)
(7)┐Happy(zhang)(3分)
P95第20题:
设已知:
(1)能阅读的人是识字的;
(2)海豚不识字;
(3)有些海豚是很聪明的。
有些很聪明的人并不识
第一步,先定义谓词,
设R(x)表示x是能阅读的;
K(y)表示y是识字的;
W(z)表示z是很聪明的;
第二步,将已知事实和目标用谓词公式表示出来
能阅读的人是识字的:
(∀x)(R(x))→K(x))
海豚不识字:
(∀y)(¬
K(y))
有些海豚是很聪明的:
(∃z)W(z)
有些很聪明的人并不识字:
(∃x)(W(z)∧¬
K(x))
第三步,将上述已知事实和目标的否定化成子句集:
¬
R(x))∨K(x)
K(y)
W(z)
(4分)
W(z)∨K(x))
第四步,用归结演绎推理进行证明
3-6.如何通过归结法求取问题的答案?
P951819
归结法求取问题的步骤如下:
1)把已知前提条件用谓词公式表示出来,并且化为子句集S;
2)把待求解的问题用谓词公式表示出来,然后将其否定,并与谓词公式ANSWER构成析取式,ANSWER是一个为了求解问题而专设的谓词,并且其変元必须与谓词公式中的変元一致;
3)将2)中的析取式化为子句集,并且将该子句集并入到子句集S中。
得到子句集S’;
4)对子句集S’应用归结原理进行归结。
P95第18题:
定义谓词:
p(x):
x作案。
由五个侦察员的话为真,有
P(z) ∨ p(q)
(1)
P(q) ∨ p(s)
(2)
P(s) ∨ p(l)(3)
┐p(z) ∨ ┐p(s)(4)
┐p(q) ∨ ┐p(l)(5)
把结论的否定加入结论的否定的否定的子句中去,得:
┐p(x) ∨ ┐P(x)(6)
因为这些全都是子句,所以化为子句集的步骤可以省略了。
(1),(4)归结得:
p(q) ∨ ┐p(s)(7)
(2),(7)归结得:
p(q)(8)
即:
钱是盗窃犯。
(5),(8)归结得:
┐p(l)(9)
李不是盗窃犯。
(3),(9)归结得:
p(s)(10)
孙是盗窃犯。
(4),(10)归结得:
┐p(z)
赵不是盗窃犯。
所以,钱和孙是盗窃犯。
P95第19题:
看附件
3-7.与/或形演绎推理有哪几种推理方式?
简述推理过程(见课本例题)P952122
与/或形演绎推理分为正向演绎、逆向演绎和双向演绎推理。
与/或正向演绎推理过程如下:
1)用与/或树将已知事实表示出来;
2)用F规则的左部和与/或树的叶结点进行匹配,并将匹配成功的F规则加入大与/或树中;
3)重复步骤2),直至产生一个含有目标结点的一致解图。
与/或逆向演绎推理过程如下:
1)用与/或树将求解目标表示出来;
2)用B规则的右部和与/或树的叶结点进行匹配,并将匹配成功的B规则加入大与/或树中;
重复步骤2),直至产生一个含有已知事实结点的一致解图。
P95第21题:
第4部分不确定推理
4-1.研究不确定性推理有何意义?
有哪几种不确定性?
不确定性推理是一种建立在非经典逻辑基础上的基于不确定性知识的推理,它从不确定性的初始证据出发,通过运用不确定性知识,推出具有一定程度的不确定性的和合理的或近乎合理的结论。
研究的意义是:
为了处理不确定性信息,人们发展了各种数学工具和方法。
如模糊集理论,贝叶斯信念网络,D-S证据理论和粗集理论。
这些理论和方法均是为了处理特定的不确定性信息而发展起来的。
它们还为当前数据挖掘和知识发现提供了强有力的支持。
不确定性推理大类别上分为模型方法和控制方法。
模型方法下有数值方法和非数值方法;
数值方法包括概率统计方法、模糊推理方法、粗糙集方法;
概率统计方法下细分为绝对概率方法、贝叶斯方法、证据理论方法、HMM方法、可信度方法;
非数值方法下又包括发生率计算。
控制方法下有:
相关性制导回溯、机缘控制、启发式搜索等
4-2.在什么情况下需要采用不确定推理?
一般推理方法在许多情况下,往往无法解决面临的现实问题,因而需要应用不确定性推理等高级知识推理方法,包括非单调推理、时序推理和不确定性推理等。
4-3.简述概率推理方法和主观Bayes推理方法。
会运用概率方法和主观贝叶斯方法推理
(见4.3节和4.4节的例题)
概率推理方法
设有如下产生式规则:
IFETHENH
其中,E为前提条件,H为结论,具有随机性。
根据概率论中条件概率的含义,我们可以用条件概率P(H|E)表示上述产生式规则的不确定性程度,即表示为在证据E出现的条件下,结论H成立的确定性程度。
对于复合条件
E=E1ANDE2AND…ANDEn
可以用条件概率P(H|E1,E2,…En)作为在证据出现时结论的确定程度。
主观Bayes推理方法:
在主观Bayes方法中,知识是用产生式规则表示的,具体
形式为
IFETHEN(LS,LN)H(P(H))
其中
(1)E是该知识的前提条件。
它既可以是一个简单条件,也可以是复合条件。
(2)H是结论。
P(H)是H的先验概率,它指出在没有任何证据情况下的结论H为真的概率,即H的一般可能性。
其值由领域专家根据以往的实践及经验给出。
(3)(LS,LN)为规则强度。
其值由领域专家给出。
LS,LN相当于知识的静态强度。
LS=P(E|H)|P(E|﹁H)
LN=P(﹁E|H)|P(﹁E|﹁H)
4-4.在主观Bayes方法中,请说明LS和LN的意义。
LN表示必要性因子,它表示¬
E对H的支持程度。
LS表示充分性因子,它表示E对H的支持程度。
4-5.P126设计题1,2
设计题第一题请参照课本P102~103页例4.3.1与例4.3.2
设计题第二题可参照以下例题或课本P108页例4.4.1:
设有如下推理规则
r1:
IFE1THEN(100,0.1)H1
r2:
IFE2THEN(50,0.5)H2
r3:
IFE3THEN(5,0.05)H3
且已知P(H1)=0.02,P(H2)=0.2,P(H3)=0.4,请计算当证据E1,E2,E3存在或不存在时P(Hi|Ei)或P(Hi|﹁Ei)的值各是多少(i=1,2,3)?
(1)当E1、E2、E3肯定存在时,根据r1、r2、r3有
P(H1|E1)=(LS1×
P(H1))/((LS1-1)×
P(H1)+1)
=(100×
0.02)/((100-1)×
0.02+1)
=0.671
P(H2|E2)=(LS2×
P(H2))/((LS2-1)×
P(H2)+1)
=(50×
0.2)/((50-1)×
0.2+1)
=0.9921
P(H3|E3)=(LS3×
P(H3))/((LS3-1)×
P(H3)+1)
=(5×
0.4)/((5-1)×
0.4+1)
=0.769
(2)当E1、E2、E3肯定不存在时,根据r1、r2、r3有
P(H1|¬
E1)=(LN1×
P(H1))/((LN1-1)×
=(0.1×
0.02)/((0.1-1)×
=0.002
P(H2|¬
E2)=(LN2×
P(H2))/((LN2-1)×
=(0.5×
0.2)/((0.5-1)×
=0.111
P(H3|¬
E3)=(LN3×
P(H3))/((LN3-1)×
=(0.05×
0.4)/((0.05-1)×
=0.032
第5部分搜索问题求解
5-1说明用状态空间法求解问题的过程,基本的求解方法有哪些?
求解问题过程:
1)将所要求的问题表示成状态空间,问题的解就在状态空间中
2)根据给定的条件,在状态空间中搜索出目标状态,从而求得问题的解
基本的求解方法有:
1)状态空间的穷搜索法
a,广度优先搜索算法b,深度优先搜索算法。
2)启发式搜索法
a,图启发式搜索算法A、b,图启发式搜索算法A*
5-2什么是盲目搜索?
启发式搜索法的基本思想是什么?
评估函数如何定义?
评估函数的作用是什么?
盲目搜索:
指从当前状态到目标状态需要走多少步,或者每条路径的花费并不知道,所能做的只是可以区分出哪个是目标状态。
因此它一般是按预定的搜索策略进行搜索,没有考虑到问题本身的特性,所以具有很大的盲目性,效率不高,不便于复杂问题的求解。
启发式搜索法的基本思想:
是在搜索过程中加入了与被解问题有关的启发性信息(特征),用于指导搜索朝着有希望至达目标结点的的方向前进,加速问题的求解并找到最优解。
只要知道问题的部分状态空间就可以求解,效率高。
评估函数定义:
f(n)=g(n)+h(n)
这里个g(n)表示迄今为止搜索已产生的从初始结点S₀到结点n的实际代价,h(n)表示从结点n到目标结点的估计代价,h(n)称为启发函数,它体现了搜索的启发信息。
评估函数的作用:
估计待扩展各结点在问题求解中的价值。
5-3什么是问题归约法?
与或图的作用是什么?
为什么应用问题规约得到的状态空间可表示为与或图?
问题归约法把复杂的问题变换为若干需要同时处理的较为简单的子问题后再加以分别求解:
只有当这些子问题全部解决时,问题才算解决,问题的解答由子问题的解答联合构成。
与或图的作用是可以方便地把问题归约为子问题替换集合。
5-4说明博弈树搜索的极大极小过程、-过程?
P1506
答:
参照以下例题:
设有如图所示的博弈树,其中最下面的数字是假设的估值,请对该博弈树作如下工作:
(1)计算各节点的倒推值;
(2)利用α-β剪枝技术剪去不必要的分枝。
各节点的倒推值和剪枝情况如下图所示:
第6部分机器学习
6-1什么是学习和机器学习?
为什么要研究机器学习?
1)机器学