高级人工智能课件2.ppt
- 【下载声明】
1. 本站全部试题类文档,若标题没写含答案,则无答案;标题注明含答案的文档,主观题也可能无答案。请谨慎下单,一旦售出,不予退换。
2. 本站全部PPT文档均不含视频和音频,PPT中出现的音频或视频标识(或文字)仅表示流程,实际无音频或视频文件。请谨慎下单,一旦售出,不予退换。
3. 本页资料《高级人工智能课件2.ppt》由用户(晟晟文业)主动上传,其收益全归该用户。163文库仅提供信息存储空间,仅对该用户上传内容的表现方式做保护处理,对上传内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知163文库(点击联系客服),我们立即给予删除!
4. 请根据预览情况,自愿下载本文。本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
5. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007及以上版本和PDF阅读器,压缩文件请下载最新的WinRAR软件解压。
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 高级 人工智能 课件
- 资源描述:
-
1、人工智能人工智能Artificial Intelligence第二章第二章 知识表示与推理知识表示与推理2.1 知识表示的一般方法2.2 图搜索策略2.3 一般搜索与推理技术2.4 A*算法2.5 消解原理2.6 规则演义系统2.7 产生式系统2.8 系统组织技术2022-12-5安徽大学 计算机科学与技术学院32.1 n 一般计算机科学n数据结构+算法n 人工智能n(知识表示+搜索)+推理2022-12-5安徽大学 计算机科学与技术学院42.1 n 问题求解技术主要是两个方面:n问题的表示n求解的方法n 状态空间法n状态(state)n算符(operator)n状态空间方法2022-12-5
2、安徽大学 计算机科学与技术学院52.1 n 问题规约法n大问题化为若干小问题n本原问题n 谓词逻辑法n合式公式n消解算法(归结)2022-12-5安徽大学 计算机科学与技术学院62.1 n 语义网络法n结点表示概念n弧表示关系n 框架法n槽、侧面层次结构n框架可以嵌套框架2022-12-5安徽大学 计算机科学与技术学院72.1 n 剧本n场景n角色n事件n 过程n问题求解的算法2022-12-5安徽大学 计算机科学与技术学院82.2 图搜索策略图搜索策略n图搜索控制策略一种在图中寻找路径的方法。图中每个节点对应一个状态,每条连线对应一个操作符。这些节点和连线(即状态与操作符)又分别由产生式系统
3、的数据库和规则来标记。求得把一个数据库变换为另一数据库的规则序列问题就等价于求得图中的一条路径问题。n图搜索过程图2022-12-5安徽大学 计算机科学与技术学院92.2 图图搜搜索索策策略略开始开始把把S放入放入OPEN表表OPEN表为空表?表为空表?把第一个节点把第一个节点(n)从从OPEN表移至表移至CLOSED表表n为目标节点吗?为目标节点吗?把把n的后继节点放入的后继节点放入OPEN表表中中,提供返回节点提供返回节点n的指针的指针修改指针方向修改指针方向重排重排OPEN表表失败失败成功成功是是是是否否否否2022-12-5安徽大学 计算机科学与技术学院102.3 一般搜索与推理技术一
4、般搜索与推理技术盲目搜索n特点:不需重排OPEN表n种类:宽度优先、深度优先、等代价搜索等。启发式搜索n特点:重排OPEN表,选择最有希望的节点加以扩展;估价函数n种类:有序搜索、A*算法、AO*算法等2022-12-5安徽大学 计算机科学与技术学院112.4 A*算法1、为什么需要启发式搜索、为什么需要启发式搜索 盲目搜索效率低,耗费过多的计算空间与时间,这是组合爆炸的一种表现形式。2、定义、定义 进行搜索技术一般需要某些有关具体问题领域的特性的信息,把此种信息叫做启发信息。利用启发信息的搜索方法叫做启发式搜索方法。2022-12-5安徽大学 计算机科学与技术学院122.4 A*算法3、启发
5、式搜索策略、启发式搜索策略 有关具体问题领域的信息常常可以用来简化搜索。一个比较灵活(但代价也较大)的利用启发信息的方法是应用某些准则来重新排列每一步OPEN表中所有节点的顺序。然后,搜索就可能沿着某个被认为是最有希望的边缘区段向外扩展。应用这种排序过程,需要某些估算节点“希望”的量度,这种量度叫做估价函数(evalution function)。2022-12-5安徽大学 计算机科学与技术学院132.4 A*算法4、估价函数、估价函数为获得某些节点“希望”的启发信息,提供一个评定侯选扩展节点的方法,以便确定哪个节点最有可能在通向目标的最佳路径上。f(n)表示节点n的估价函数值 建立估价函数的
6、一般方法:试图确定一个处在最佳路径上的节点的概率;提出任意节点与目标集之间的距离量度或差别量度;或者在棋盘式的博弈和难题中根据棋局的某些特点来决定棋局的得分数。这些特点被认为与向目标节点前进一步的希望程度有关。2022-12-5安徽大学 计算机科学与技术学院142.4 A*算法n估价函数的定义:对节点n定义f*(n)=g*(n)+h*(n),表示从S开始约束通过节点n的一条最佳路径的代价。希望估价函数f 定义为:f(n)=g(n)+h(n)g是g*的估计,h是h*的估计nA*算法的定义:定义定义1 在GRAPHSEARCH过程中,如果第8步的重排OPEN表是依据f(x)=g(x)+h(x)进行
7、的,则称该过程为A算法。定义定义2 在A算法中,如果对所有的x存在h(x)h*(x),则称h(x)为h*(x)的下界,它表示某种偏于保守的估计。定义定义3 采用h*(x)的下界h(x)为启发函数的A算法,称为A*算法。当g=0时,A*算法就变为有序搜索算法;h=0时,A*算法就变为等代价搜索算法。2022-12-5安徽大学 计算机科学与技术学院152.4 A*算法开始开始把把S放入放入OPEN表,估价函数表,估价函数 f=hOPEN=NIL?选取选取OPEN表中未设置过的、表中未设置过的、f值最小的节值最小的节点点BESTNODE放入放入CLOSED表表BESTNODE为目标节点吗?为目标节点
8、吗?计算计算g(SUC)=g(BES)+k(BES,SUC)失败失败成功成功是是否否是是否否扩展扩展BESTNODE,产生后继节点,产生后继节点SUCCESSOR建立从建立从SUCCESSOR返回返回BESTNODE的指针的指针AB 2022-12-5安徽大学 计算机科学与技术学院162.4 A*算法SUC OPEN?SUC是是OLD的复本的复本,把把OLD添加添加到到BESTNODE的后继节点表中的后继节点表中g(SUC)g(OLD)?计算计算f值值是是否否是是否否重新确定重新确定OLD的父辈节点为的父辈节点为BESTNODE,并修正父辈节点的并修正父辈节点的g值和值和f值,记下值,记下g(
9、OLD)把把SUCCESSOR放入放入OPEN表,表,并加入并加入BESTNODE的后裔表的后裔表ABSUC=CLOSED=CLOSED?A否否是是2022-12-5安徽大学 计算机科学与技术学院17实验实验1 A*算法实验算法实验 例子:八数码难题(8-puzzle problem)1238456712384567(目标状态)规定:牌可以移入邻近的空格,不许斜向移动,也不返回先辈节点。12384567(初始状态)2022-12-5安徽大学 计算机科学与技术学院18实验实验1 A*算法实验算法实验 n实验内容:实验内容:n用A*算法求解8数码和15数码难题n实验报考要求实验报考要求n画出A*算
10、法求解流程图,给出核心程序。n画出8数码求解图n分析估价函数对搜索算法的影响。n分析A*算法的特点。2022-12-5安徽大学 计算机科学与技术学院192.5 消解原理消解原理回顾:原子公式原子公式(atomic formulas)P(x),Q(x,y)文字文字一个原子公式及其否定。P(x),R(x,y,z)子句子句由文字的析取组成的合适公式。P(x)Q(x,y)消解消解对谓词演算公式进行分解和化简,消去一些符号,以求得导出子句。2.5.1 子句集的求取v 步骤:共9步。2022-12-5安徽大学 计算机科学与技术学院20v 例子:将下列谓词演算公式化为一个子句集(x)P(x)(y)P(y)P
11、(f(x,y)(y)Q(x,y)P(y)开始:(1)消去蕴涵符号 只应用和符号,以AB替换A AB B。(1)(x)P(x)(y)P(y)P(f(x,y)(y)Q(x,y)P(y)2022-12-5安徽大学 计算机科学与技术学院21(2)减少否定符号的辖域 每个否定符号最多只用到一个谓词符号上,并反复应用狄摩根定律。(3)对变量标准化 对哑元(虚构变量)改名,以保证每个量词有其自己唯一的哑元。(2)(x)P(x)(y)P(y)P(f(x,y)(y)Q(x,y)P(y)(3)(x)P(x)(y)P(y)P(f(x,y)(w)Q(x,w)P(w)2022-12-5安徽大学 计算机科学与技术学院22
12、(4)消去存在量词 以Skolem函数代替存在量词内的约束变量,然后消去存在量词(5)化为前束形 把所有全称量词移到公式的左边,并使每个量词的辖域包括这个量词后面公式的整个部分。前束形=前缀 母式 全称量词串 无量词公式(4)(x)P(x)(y)P(y)P(f(x,y)Q(x,g(x))P(g(x)式中,式中,w=g(x)w=g(x)为一为一SkolemSkolem函数。函数。(5)(5)(x)(y)P(x)P(y)P(f(x,y)Q(x,g(x)P(g(x)2022-12-5安徽大学 计算机科学与技术学院23(6)把母式化为合取范式 任何母式都可写成由一些谓词公式和(或)谓词公式的否定的析取
13、的有限集组成的合取。(7)消去全称量词 所有余下的量词均被全称量词量化了。消去前缀,即消去明显出现的全称量词。(6)(6)(x)(y)P(x)P(y)P(f(x,y)P(x)Q(x,g(x)P(x)P(g(x)(7)P(x)P(y)P(f(x,y)P(x)Q(x,g(x)P(x)P(g(x)2022-12-5安徽大学 计算机科学与技术学院24(8)消去连词符号 用A,B代替(AB),消去符号。最后得到一个有限集,其中每个公式是文字的析取。(9)更换变量名称 可以更换变量符号的名称,使一个变量符号不出现在一个以上的子句中。(8)P(x)P(y)P(f(x,y)P(x)Q(x,g(x)P(x)P(
14、g(x)(9)P(x1)P(y)Pf(x1,y)P(x2)Qx2,g(x2)P(x3)Pg(x3)2022-12-5安徽大学 计算机科学与技术学院252.5.2 消解推理规则消解推理规则n消解式的定义令L1,L2为两任意原子公式;L1和L2具有相同的谓词符号,但一般具有不同的变量。已知两子句L1和L2,如果L1和L2具有最一般合一,那么通过消解可以从这两个父辈子句推导出一个新子句()。这个新子句叫做消解式。v 消解式求法取两个子句,进行析取,然后消去互补对。2022-12-5安徽大学 计算机科学与技术学院262.5.2 消解推理规则消解推理规则PP QQ1、假言推理2、合并P Q P QQ3、
15、重言式P Q P QTP P QQ5、三段论 P Q Q RP R4、矛盾PP F2022-12-5安徽大学 计算机科学与技术学院272.5.3 含有变量的消解式 要把消解推理规则推广到含有变量的子句,必须找到一个作用于父辈子句的置换,使父辈子句含有互补文字。v 含有变量的子句之消解式v 例2.1 B(x)B(x)C(x)C(x)2022-12-5安徽大学 计算机科学与技术学院282.5.3 含有变量的消解式v 例2.3Px,f(y)Q(x)Rf(a),y Pf(f(a),zR(z,w)Q f(f(a)R(f(a),y)R(f(y),w)=f(f(a)/x,f(y)/zv 例2.2 P(x)Q
16、(x)Qf(y)P f(y)=f(y)/x2022-12-5安徽大学 计算机科学与技术学院292.5.4 消解反演求解过程n消解反演 给出S,Ln否定L,得L;n把L添加到S中去;n把新产生的集合L,S化成子句集;n应用消解原理,力图推导出一个表示矛盾的空子句v 例子储蓄问题 前提:每个储蓄钱的人都获得利息。结论:如果没有利息,那么就没有人去储蓄钱2022-12-5安徽大学 计算机科学与技术学院302.5.4 消解反演求解过程(1)规定原子公式:S(x,y)S(x,y)表示“x储蓄y”M(x)M(x)表示“x是钱”I(x)I(x)表示“x是利息”E(xE(x,y)y)表示“x获得y”(2)用谓
17、词公式表示前提和结论:前提:前提:(x)(y)(S(x,y)M(y)(y)(I(y)E(x,y)结论:结论:(x)I(x)(x)(y)M(y)S(x,y)(3)化为子句形证明证明:2022-12-5安徽大学 计算机科学与技术学院31把前提化为子句形:1)S(x,y)M(y)I(f(x)2)S(x,y)M(y)E(x,f(x)把结论化为子句形:3)I(z)4)S(a,b)5)M(b)(4)消解反演求NIL图3.12 储蓄问题反演树子句(1)子句(3)f(x)/zM(b)NIL子句(5)子句(7)子句(4)a/x,b/yS(x,y)M(y)子句子句(6)(x)I(x)(x)(y)M(y)S(x,y
18、)(x)I(x)(x)(y)M(y)S(x,y)否定:(x)I(x)(x)(y)S(x,y)(x)I(x)(x)(y)M(y)S(x,y)2022-12-5安徽大学 计算机科学与技术学院32n反演求解过程反演求解过程n从反演树求取答案步骤从反演树求取答案步骤n把由目标公式的否定产生的每个子句添加到目把由目标公式的否定产生的每个子句添加到目标公式否定之否定的子句中去。标公式否定之否定的子句中去。n按照反演树,执行和以前相同的消解,直至在按照反演树,执行和以前相同的消解,直至在根部得到某个子句止。根部得到某个子句止。n用根部的子句作为一个回答语句。用根部的子句作为一个回答语句。n 实质实质n把一棵
19、根部有把一棵根部有NILNIL的反演树变换为根部带有回的反演树变换为根部带有回 答语答语句的一棵证明树。句的一棵证明树。2022-12-5安徽大学 计算机科学与技术学院33应用消解反演求解如下问题:应用消解反演求解如下问题:无论约翰无论约翰(John)到哪里去,菲多到哪里去,菲多(Fido)也就去那里,也就去那里,那么如果约翰在学校里,菲多在哪里呢那么如果约翰在学校里,菲多在哪里呢?x在在y:AT(x,y)用谓词公式表示前提和结论用谓词公式表示前提和结论:前提:前提:(x)AT(JOHN,x)AT(FIDO,x)AT(JOHN,SCHOOL)结论:结论:(x)AT(FIDO,x)结论的否定结论
展开阅读全文