最新人工智能期末复习
1.人工智能(学科):Artificial Intelligence是计算机科学中涉及研究、设计和应用智能机器的一个分支。它的近期目标在于研究用机器来模仿和执行人脑的某些智能功能,并开发相关的理论和技术。
在人工智能中,重点关注两个方面的内容:
①问题的表示(知识的表示):即要找到问题的一种合适的表示方法
在人工智能中,我们要涉及到:
状态空间法、问题归约法、谓词逻辑法、样本向量法
②问题的求解:从问题表示方法出发,找到一个合理的办法来求解
在人工智能中,常有的方法有:搜索法、推理法、计算方法
2.状态空间法:从某一个初始状态开始,每次施加一个操作符,递增地建立操作符序列,直到达到目标状态为止
人工智能中,一种最基本的求解方法就是试探搜索法,即,通过在某个可能的解空间(例如,所有可能的走法)中寻找一个解。这种基于解空间的问题表示和求解方法就是状态空间法,其基础是状态和算符(算子)
状态空间法表示问题的关键:状态与操作符
状态:为了描述某一类不同事物间的差别而引入的一组最少变量的有序集合
算符(操作符):使问题从一个状态变换到另一状态的手段
用状态空间法表达出原始问题后,欲解问题变成为:寻找从初始状态到目标状态的某一个操作符序列
状态空间法的求解过程:用有向图来表示
图是由节点(不一定是有限个的节点)的集合构成的
注意:在图论中,图的定义中还包括边的集合
无向图:一对节点可能互为后裔,边用线段来表示
有向图:一对节点用弧线连接起来,并且从一个节点指向另一个节点
对应关系:
当用有向图来表示状态空间法时,对应关系:
图中的一个节点对应于某一个状态
图中的一个有向弧对应于某一个算符
状态空间法的解:从初始状态到目标状态的操作符序列
图中的解:从起始节点到目标节点的一条路径
问题:寻找从初始状态到目标状态的某个操作符序列转化为寻找图中初始节点(对应初始状态)到目标节点(对应于目标状态)的一条路径
求解思路:边扩展节点边找解的搜索思想
问题的状态空间:一个表示问题全部可能状态及其关系的图,它包含了三个集合:
所有可能的问题初始状态集合S
操作符集合F
目标状态集合G
状态空间记作三元状态(S, F, G)
3.代价g(n) :从起始节点S 到某一节点n 的路径的实际代价
估值函数 f (n):从起始节点S、通过节点n、到达目标节点G的最小代价的一个估计值
f ( n ) =
g ( n ) +
h ( n )
利用图论的技术,我们要解决两个问题:
第一、找出初始节点到目标节点的一条路径。对应于寻找初始状态到目标状态的操作符序列(能够解决问题)
第二、找出初始节点到目标节点的一条代价最小的路径。对应于寻找将初始状态变换到目标状态所用操作符代价之和最小的操作符序列(更好地解决问题)
4.图的搜索技术分:
盲目搜索技术(宽度、深度、代价优先搜索技术)
启发式搜索技术(有序搜索算法)
差别:选取待扩展节点的规则不同,并且可以OPEN表的不同数据结构来体现
算法有解的终止条件不同
图搜索中的两个重要记号(符号):
OPEN 表:存放待扩展的节点
CLOSED 表:存放已扩展的节点
注意:在与或树搜索中也要用到这两张表
盲目搜索技术
盲目搜索是指无问题先验信息的搜索技术
特点:OPEN表中节点的排列是人为规定的;一般只适合于求解比较简单的一些问题
宽度优先:先扩展出来的节点优先(OPEN 为队列),后继节点有目标节点结束
OPEN 表是存放待扩展的节点,从数据结构上来说,它是一个先进先出的队列
CLOSED 表是存放已被扩展过的节点(包括有后继节点的非端节点和无后继节点的端节点),可以看成只进不出的队列
深度优先:后者扩展出来的节点优先(OPEN 为堆栈),且有深度限制,后继节点有目标节点结束
OPEN表是一个堆栈,后进先出
代价优先(等代价):到起始节点代价小的节点优先(OPEN 为线性表),具有最小代价的节点是目标节点时结束
三种盲目搜索技术的比较
主要差别:在于挑选要扩展节点的规则不同
宽度优先搜索技术:先扩展出来的节点随后先扩展,OPEN表是队列
深度优先搜索技术:后扩展出来的节点随后先扩展,OPEN表是堆栈
等代价搜索技术:选取OPEN表中代价最小的节点先扩展,OPEN表是线性表(以局部代价的递增顺序排列)
宽度和深度优先搜索的缺点:
扩展节点的顺序是人为规定的,要扩展节点的数目可能非常大,占用大量的计算时间和内存空间,使得搜索效率低
等代价搜索技术的缺点
选取已经搜索到的代价最小的节点来扩展,但是没有考虑目标状态,不知道离目标状态还有多远,还需要付出多大的代价
启发式搜索技术
有序算法:估价函数值小的节点优先
有解的结束条件:具有最小估价函数值的节点是目标节点
启发式搜索方法:利用启发信息的搜索方法
有序搜索:在搜索过程总是选择“最有希望”的节点作为下一个被扩展节点的搜索技术
在搜索过程中,OPEN表中节点按照其估价函数值以递增顺序排列,选择OPEN表中具有最小估价函数值的节点作为下一个待扩展的节点,这种搜索方法称为有序搜索
估价函数:用来估算节点“希望”程度的函数
估价函数的基本特性:
一般情况下,估计函数值越大,希望程度就越低
根据搜索过程、问题的启发信息来定义的,对搜索效率会产生较大的影响
节点n 的估价函数 f ( n ) 定义为从初始节点、经过n 、到达目标节点的路径的最小代价的估计值,即
f ( n ) =
g ( n ) +
h ( n )
g ( n ) 是从初始节点到达当前节点n 的实际代价
h ( n ) 是从节点n 到目标节点的最佳路径的估计代价
h ( n ) 体现出搜索过程中采用的启发式信息(背景知识),称之为启发函数
g ( n ) 所占的比重越大,越趋向于宽度优先或等代价搜索;反之,h ( n ) 的比重越大,表示启发性能就越强
例:八数码问题的估价函数
f ( n )=
g ( n ) +
h ( n )
g ( n ) 定义为搜索树中n 的深度
h ( n ) 可以定义成不同形式(节点n 的状态与目标状态之间数字不在位的个数(错放棋子的个数,不算空格))
5.问题归约法、与或树搜索技术
问题归约法:
从已知问题的描述出发,通过一系列变换或分解将问题最终变为一个子问题集合,这些子问题的解可以直接得到,从而解决初始问题
问题归约法表示问题的关键:原始问题描述、本原问题描述、操作符
操作符:将问题转换或分解为子问题的手段
本原问题:一组可以直接得出答案的简单问题
问题归约法可以用一个三元组(S, O, P)来表示,其中:
S:原始问题,即要解决的问题
P:本原问题集,其中的每一个问题是不用证明的或自然成立的,例如公理、已知事实等O:操作算子集,用于将问题化为子问题
问题归约法的基本思路是:应用一系列算符将原始问题的描述变换或分解成为子问题的描述问题的描述可以采用各种数据结构,如表、树、矢量、数组等
与或图的特例:
所有节点都是或节点,这时就是一般的图,即状态空间法用到的图
除了起始节点外,所有节点只有一个父节点,此时称为与或树,
问题归约法的求解过程:用与或图来表示
“或节点”有解的条件是:只要有一个后继节点可解
“或节点”无解的条件是:所有后继节点无解
“与节点”有解的条件是:所有后继节点有解
“与节点”无解的条件是:只要有一个后继节点无解
判断节点是否可解的方法:
终叶节点是可解节点
无后继节点的非终叶节点是不可解节点
用倒推的方法来逐步判断其他节点是否可解
与或图有解的条件是:起始节点(根节点)可解(通过倒推来判断)
与或图的解图:由最少可解节点所构成的子图,这些可解节点能够使问题的起始节点可解
与或树:与或图的特例,除了根节点外,任何一个节点只有一个父节点
与或图:除了起始节点,每一个节点允许有多个父节点
与或树的搜索技术:
宽度优先:先扩展出来的节点优先(OPEN表是队列)
深度优先:后扩展出来的节点优先(OPEN表是堆栈),且有深度限制
图、与或树的宽度、深度优先搜索算法之间的差别:
图搜索技术是找到目标节点或无法扩展而结束算法
与或树搜索技术是找到终叶节点后通过倒推来判断起始节点是否可解而结束算法
6.博弈问题的表达、博弈树的搜索技术
双人博弈问题的特殊之处:
棋局:相当于状态空间法中的状态
走棋:相当于问题归约法的节点扩展(生成或节点(自己)、与节点(别人))
博弈树是一棵特殊的与或树,其节点对应棋局(相当于状态),与节点、或节点隔层交替出现
博弈的特点:双方的智能活动,任何一方都不能单独控制博弈过程,而是由双方轮流实施其控制对策的过程
博弈问题(求解过程)的表示:
用博弈树来表示,它是一种特殊的与或树。节点代表博弈的格局(即棋局),相当于状态空间中的状态,反映了博弈的信息,并且与节点、或节点隔层交替出现
博弈树搜索的极大极小过程分成:
宽度优先扩展节点(深度必为偶数),并计算最底层端节点的静态估计函数值
用倒推的方法(自己下的棋取大者,对手下的棋取小者)计算出其余各层节点的静态估计函数值,最后决定走哪一步棋
7.谓词逻辑与推理
数理逻辑(符号逻辑)是用数学方法研究形式逻辑的一个分支。它通过符号系统来表达客观对象以及相关的逻辑推理。常用的是命题逻辑和谓词逻辑
数理逻辑的主要分支:
逻辑演算(包括命题演算和谓词演算)
模型论
证明论
递归论
公理化集合论
数理逻辑和计算机科学有许多重合之处,两者都属于模拟人类认知机理的科学
谓词逻辑是数理逻辑的基本形式,是基于谓词分析的一种形式化(数学)语言
人工智能中的谓词逻辑法是指用一阶谓词来描述问题求解和定理证明(限于本课程)
命题逻辑是研究命题及命题之间关系的符号逻辑系统。
在命题逻辑中,表示单一意义的命题,称之为原子命题。
原子命题通过“联结词”构成复合命题。
五个联结词:
①“~”表示“非”
复合命题~P为真,当且仅当P为假。
②“∧”表示“合取”
复合命题“P∧Q”为真,当且仅当P和Q都为真。
③“∨”表示“析取”
复合命题“P∨Q”为真,当且仅当P、Q两者之一为真。
④“?” 表示“蕴含”
复合命题“P?Q”为假,当且仅当P为真且Q为假。
⑤“?” 表示“等价”
复合命题“P?Q”为真,当且仅当P、Q同时为真、或者同时为假。
命题变元:用符号P、Q等表示的不具有固定、具体含义的命题。它可以表示具有“真”、“假”含义的各种命题。
命题变元可以利用联结词构成所谓的合适公式。
合适公式的定义
①若P为原子命题,则P为合适公式,称为原子公式。
②若P是合适公式,则~P也是一个合适公式。
③若P和Q是合适公式,则P∧Q、P∨Q 、P?Q 、P?Q都是合适公式。
④经过有限次使用规则1、2、3,得到的由原子公式、联结词和园括号所组成的符号串,也是合适公式。
对于合适公式,规定下列运算优先级:
①逻辑联结词的运算优先次序为:
~、∧、∨、?、?
②同级联结词按出现顺序优先运算
谓词演算
1、语法与语义
谓词逻辑的基本组成部分
谓词
变量
函数
常量
园括号、方括号、花括号和逗号
例
“机器人(Robot)在第一个房间(Room1)内”,可以表示为:
INROOM(ROBOT,r1)
其中
INROOM是谓词
ROBOT和r1是常量
谓词公式的定义:利用连词和量词可以将原子(谓词)公式组成复合谓词公式,称之为分子谓词公式、谓词合适公式、谓词公式、合适公式。
对于命题合适公式和谓词合适公式有下列等价关系:
①否定之否定:
~(~P)等价于P
②
P∨Q 等价于~P?Q
③狄-摩根定律
~(P∨Q)等价于~P∧~Q
~(P∧Q)等价于~P∨~Q
④分配律
P∧(Q∨R) 等价于(P∧Q)∨(P∧R)
P∨(Q∧R) 等价于(P∨Q)∧(P∨R)
⑤交换律
P∧Q 等价于Q∧P