人工智能推理技术说课讲解.ppt
《人工智能推理技术说课讲解.ppt》由会员分享,可在线阅读,更多相关《人工智能推理技术说课讲解.ppt(47页珍藏版)》请在咨信网上搜索。
1、Artificial Intelligence第第7 7章、基本的推理技术章、基本的推理技术 推理技术概述 基于规则的演绎推理正向演绎推理逆向演绎推理双向演绎推理 不确定性推理概率推理Artificial Intelligence人工智能是用计算机来模拟人的智能,就是用能在计算机上实现的技术和方法来模拟人的思维规律和过程。1)在确定知识表达方法后,就可以把知识表示出来并存储到计算机中。2)然后,利用知识进行推理以求得问题的解.利用知识进行推理是知识利用的基础。各种人工智能应用领域如专家系统、智能机器人、模式识别、自然语言理解等都是利用知识进行广义问题求解的智能系统.Artificial Int
2、elligence7.1 推理技术概述 -1.推理的概念与类型 推理是人类求解问题的主要思维方法.所谓推理就是按照某种策略从已有事实和知识推出结论的过程。推理是由程序实现的,称为推理机。人类的智能活动有多种思维方式,人工智能作为对人类智能的模拟,相应地也有多种推理方式。Artificial Intelligence1.演绎推理、归纳推理、默认推理(1).演绎推理:演绎推理是从全称判断推出特称判断或单称判断的过程,即从一般到个别的推理。最常用的形式是三段论法。例如:1)所有的推理系统都是智能系统;2)专家系统是推理系统;3)所以,专家系统是智能系统。(2).归纳推理:是从足够多的事例中归纳出一般
3、性结论的推理过程,是一种从个别到一般的推理过程。(3).默认推理:默认推理又称缺省推理,它是在知识不完全的情况下假设某些条件已经具备所进行的推理。Artificial Intelligence2、确定性推理、不确定性推理 如果按推理时所用的知识的确定性来分,推理可分为确定性推理与不确定性推理。(1)确定性推理(精确推理)。如果在推理中所用的知识都是精确的,即可以把知识表示成必然的因果关系,然后进行逻辑推理,推理的结论或者为真,或者为假,这种推理就称为确定性推理。(如归结反演、基于规则的演绎系统等)(2)不确定性推理(不精确推理)。在人类知识中,有相当一部分属于人们的主观判断,是不精确的和含糊的
4、。由这些知识归纳出来的推理规则往往是不确定的。基于这种不确定的推理规则进行推理,形成的结论也是不确定的,这种推理称为不确定推理。(在专家系统中主要使用的方法)。Artificial Intelligence3、单调推理、非单调推理如果按推理过程中推出的结论是否单调增加,或者说推出的结论是否越来越接近最终目标来划分,推理又可分为单调推理与非单调推理。(1)单调推理。是指在推理过程中随着推理的向前推进及新知识的加入,推出的结论呈单调增加的趋势,并且越来越接近最终目标。(演绎推理是单调推理。)(2)非单调推理。是指在推理过程中随着推理的向前推进及新知识的加入,不仅没有加强已推出的结论,反而要否定它,
5、使得推理退回到前面的某一步,重新开始。(一般是在知识不完全的情况下进行的)Artificial Intelligence4、启发式推理、非启发式推理 如果按推理中是否运用与问题有关的启发性知识,推理可分为启发式推理和非启发式推理。(1)启发式推理:如果在推理过程中,运用与问题有关的启发性知识,如解决问题的策略、技巧及经验等,以加快推理过程,提高搜索效率,这种推理过程称为启发式推理。如A、A*等算法。(2)非启发式推理。如果在推理过程中,不运用启发性知识,只按照一般的控制逻辑进行推理,这种推理过程称为非启发式推理。(推理效率较低,容易出现“组合爆炸”问题。)Artificial Intellig
6、ence-推理的控制策略 主要是指推理方向的选择、推理时所用的搜索策略及冲突解决策略等。一般推理的控制策略与知识表达方法有关(产生式系统).1、推理方向:用于确定推理的驱动方式。分为正向推理(由已知事实出发)、反向推理(以某个假设目标作为出发点)和正反向混合推理(正向推理和反向推理相结合).系统组成:知识库(KB)+初始事实和中间结果的数据库(DB)+推理机2、搜索策略:推理时要反复用到知识库中的规则,而知识库中的规则又很多,这样就存在着如何在知识库中寻找可用规则的问题(代价小,解好).可以采用各种搜索策略有效地控制规则的选取.Artificial Intelligence3、冲突解决策略 在
7、推理过程中,系统要不断地用数据库中的事实与知识库中的规则进行匹配,当有一个以上规则的条件部分和当前数据库相匹配时,就需要有一种策略来决定首先使用哪一条规则,这就是冲突解决策略。冲突解决策略实际上就是确定规则的启用顺序。(1)专一性排序(条件部分更具体的规则)(2)规则排序(规则编排顺序)(3)数据排序(所有条件按优先级次序编排起来)(4)就近排序(最近使用的规则优先)(5)上下文限制(在某种上下文条件下)(6)按匹配度排序(计算这两个模式的相似程度)(7)按条件个数排序(条件少的优先)Artificial Intelligence72 基于规则的演绎推理许多AI系统中所用到的知识一般是由蕴含式
8、直接表示的,但在归结反演中,必须首先将它们转化为子句的形式,所以这种推理是比较低效的。基于规则的演绎推理则是直接的推理方法。它把有关问题的知识和信息划分为规则与事实两种类型。规则由包含蕴含形式的表达式表示,事实由无蕴含形式的表达式表示,并画出相应的与或图,然后通过规则进行演绎推理。可分为正向、反向和正反向演绎推理。在正向推理中,作为F规则用的蕴含式对事实的总数据库进行操作运算,直至得到该目标公式的一个终止条件为止;在反向推理中,作为B规则用的蕴含式对目标的总数据库进行操作运算,直至得到包含这些事实的一个终止条件为止;在双向推理中,分别从两个方向应用不同的规则(F和B)进行操作运算。Artifi
9、cial Intelligence721 正向演绎推理正向演绎推理属于正向推理,它是从已知事实出发,反复尝试所有可利用的规则(F规则)进行演绎推理,直到得到某个目标公式的一个终止条件为止。1、事实表达式及其与或图表示 正向演绎要求事实用不包含蕴含符号“”的与或形表示。把一个表达式转化为标准的与或形的步骤如下:(1)利用等价式PQ与PQ消去蕴含符“”。(2)把否定符号“”移到每个谓词符号的前面。(3)变量标准化,即重新命名变量,使不同量词约束的变量有不同的名字。(4)引入Skolem函数消去存在量词。(5)将公式化为前束形。(6)略去全称量词(默认变量是全称量词量化的)。(7)重新命名变量,使同
10、一变量不出现在不同的主要合取式中。Artificial Intelligence例如:有如下的表达式(x x)()(y y)QQ(y y,x x)(R R(y y)P P(y y)S S(x x,y y)可将其转化为下面标准的与或形:可将其转化为下面标准的与或形:Q Q(z z,A A)R R(y y)P P(y y)S S(A A,y y)于是于是,它的标准与或形可用一棵与或树表示出来。它的标准与或形可用一棵与或树表示出来。Artificial Intelligence在与或图中,节点表示事实表达式及其子表达式。根节点表示整个表达式,叶节点表示其中的单文字.规定:对于一个表示析取表达式(E1
11、E2En)的节点,用一个n连接符(含半圆的弧)与连接它的n个子表达式节点相连。对于一个表示合取表达式(E1 E2 En)的节点,用n个1连接符与连接它的n个子表达式节点相连。重要性质:就是由变换表达式得到的一组子句,可以从与或图中读出,每个子句相当于与或图的一个解图,每个子句是由叶节点组合成的公式。上例的3个子句是:Q(z,A);S(A,y)R(y);S(A,y)P(y)这三个子句正是原表达式化成的子句集。因此,与或树可以看成是一组子句的一个简洁的表达式。Artificial Intelligence2、F规则的表示形式基于规则的正向推理中,要求F规则具有以下形式:LW。具体要求如下:1.L是
12、单文字,W是任意的与或形表达式。2.L和W中的所有变量都是全称量词量化的,默认的全称量词作用于整个蕴含式。3.各条规则的变量各不相同,而且规则中的变量与事实表达式中的变量也不相同。将F规则的左部限制为单文字,是因为与或图的叶节点都是单文字,这样就可用F规则的左部与叶节点进行匹配,大大简化了规则的应用过程。Artificial Intelligence如果所给知识的表示形式不是所要求的形式,则可用如下如果所给知识的表示形式不是所要求的形式,则可用如下步骤将其变换成标准形式:步骤将其变换成标准形式:(1 1)暂时消去蕴含符号)暂时消去蕴含符号“”。例如公式。例如公式 (x)(y)()(z)P(x,
13、y,z)(u)Q(x,u)消去蕴含符号消去蕴含符号“”变为:变为:(x)(y)()(z)P(x,y,z)(u)Q(x,u)(2 2)把否定号)把否定号“”移到每个谓词的前面移到每个谓词的前面,可变为可变为 (x x)(y y)()(z z)P P(x x,y y,z z)(u u)Q Q(x x,u u)(3 3)引入)引入skolemskolem函数消去存在量词。消去存在量词后,为函数消去存在量词。消去存在量词后,为 (x x)(y y)P P(x x,y y,f f(x x,y y)(u u)Q Q(x x,u u)(4 4)将公式化为前束式,并略去全称量词)将公式化为前束式,并略去全称量
14、词,可变为可变为 P P(x x,y y,f f(x x,y y)Q Q(x x,u u)(5 5)恢复为蕴含式。利用等价关系)恢复为蕴含式。利用等价关系 P P Q Q 与与 P PQ Q 将上式将上式变为变为 P P(x x,y y,f f(x x,y y)Q Q(x x,u u)Artificial Intelligence3、目标公式的表示形式 要求目标公式用文字的析取式(子句)表示,否则就要化为子句形式。4、推理过程 应用F规则作用于表示事实的与或图,改变与或图的结构,从而产生新事实,直至推出了目标公式。过程为:首先用与或图把已知事实表示出来。用F规则的左部和与或图的叶节点进行匹配,
15、并将匹配成功的F规则结论加入到与或图中,即利用F规则转换与或图。重复第(2)步,直到产生一个含有以目标节点作为终止节点的解图为止,当一个目标文字和与或图中的一个文字匹配时,可以将表示该目标文字的节点(目标节点)通过匹配连接到与或图中相应的文字节点上。当演绎产生的与或图包括一个目标节点上结束的解图时,推理便成功结束。Artificial Intelligence1)、命题逻辑的情况应用规则的匹配过程比较简单。设已知事实的与应用规则的匹配过程比较简单。设已知事实的与或形表达式为:(或形表达式为:(P P Q Q)R R)(S S (T T U U)规则为规则为 S S(X X Y Y)Z Z 把把
16、已知事实用与或图表示已知事实用与或图表示,图中有一个叶节点是,图中有一个叶节点是文字文字S S,它正好,它正好与规则的前项与规则的前项的文字的文字S S完全完全匹配匹配,由此可直接用这条规则对与或图进行变换,由此可直接用这条规则对与或图进行变换,即把即把规则后项的与或形公式用与或图表示后添加到已规则后项的与或形公式用与或图表示后添加到已知事实的与或图上知事实的与或图上,并用一个匹配弧连接起来并用一个匹配弧连接起来,规则匹配后演绎的结果如下图所示。图中匹配弧规则匹配后演绎的结果如下图所示。图中匹配弧后面是规则部分。后面是规则部分。Artificial IntelligenceArtificial
17、 Intelligence例:事实表达式:AB;规则集合:ACD,BEG;目标公式:C G应用完这两条规则后,得到的与或图如图所示,其中有一个解图满足目标公式(C G)所建立的结束条件。Artificial Intelligence2)、谓词逻辑的情况需要讨论对含有变量的目标公式的处理需要讨论对含有变量的目标公式的处理(匹配问题匹配问题)。对具有量词量化变量的目标公式来说对具有量词量化变量的目标公式来说,化简时要使用,化简时要使用SkolemSkolem化过程的对偶形式化过程的对偶形式。即目标中。即目标中属于存在量词辖属于存在量词辖域内的全称量化变量要用存在量化变量的域内的全称量化变量要用存在
18、量化变量的SkolemSkolem函数函数来替代来替代,经过,经过SkolemSkolem化的公式化的公式只剩下存在量词只剩下存在量词,然后,然后对析取元作变量改名,最后再把存在量词省略掉。对析取元作变量改名,最后再把存在量词省略掉。例如,设目标公式为(例如,设目标公式为(y y)()(x x)()(P P(x x,y y)Q Q(x x,y y)用函数消去全称量词后有用函数消去全称量词后有 (y y)()(P P(f f(y y),),y y)Q Q(f f(y y),),y y);然后);然后进行变量改名,使每个析取元具有不同的变量符号进行变量改名,使每个析取元具有不同的变量符号,于是有于
19、是有(y y)()(P P(f f(y y),),y y)(y y1 1)Q Q(f f(y y1 1),),y y1 1)最后省去存在量词(最后省去存在量词(P P(f f(y y),),y y)Q Q(f f(y y1 1),),y y1 1)以后目标公式中的变量都假定受存在量词的约束。以后目标公式中的变量都假定受存在量词的约束。Artificial Intelligence下面举例说明应用一条规则LW对与或图进行变换的过程。设与或图中有一个端节点的文字L和L可合一,mgu是u,则这条规则可应用,这时用匹配弧连接的后裔节点是L,它是规则后项Wu对应的与或图表示的根节点,在匹配弧上标记有u,
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 人工智能 推理 技术 讲解
1、咨信平台为文档C2C交易模式,即用户上传的文档直接被用户下载,收益归上传人(含作者)所有;本站仅是提供信息存储空间和展示预览,仅对用户上传内容的表现方式做保护处理,对上载内容不做任何修改或编辑。所展示的作品文档包括内容和图片全部来源于网络用户和作者上传投稿,我们不确定上传用户享有完全著作权,根据《信息网络传播权保护条例》,如果侵犯了您的版权、权益或隐私,请联系我们,核实后会尽快下架及时删除,并可随时和客服了解处理情况,尊重保护知识产权我们共同努力。
2、文档的总页数、文档格式和文档大小以系统显示为准(内容中显示的页数不一定正确),网站客服只以系统显示的页数、文件格式、文档大小作为仲裁依据,平台无法对文档的真实性、完整性、权威性、准确性、专业性及其观点立场做任何保证或承诺,下载前须认真查看,确认无误后再购买,务必慎重购买;若有违法违纪将进行移交司法处理,若涉侵权平台将进行基本处罚并下架。
3、本站所有内容均由用户上传,付费前请自行鉴别,如您付费,意味着您已接受本站规则且自行承担风险,本站不进行额外附加服务,虚拟产品一经售出概不退款(未进行购买下载可退充值款),文档一经付费(服务费)、不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
4、如你看到网页展示的文档有www.zixin.com.cn水印,是因预览和防盗链等技术需要对页面进行转换压缩成图而已,我们并不对上传的文档进行任何编辑或修改,文档下载后都不会有水印标识(原文档上传前个别存留的除外),下载后原文更清晰;试题试卷类文档,如果标题没有明确说明有答案则都视为没有答案,请知晓;PPT和DOC文档可被视为“模板”,允许上传人保留章节、目录结构的情况下删减部份的内容;PDF文档不管是原文档转换或图片扫描而得,本站不作要求视为允许,下载前自行私信或留言给上传者【a199****6536】。
5、本文档所展示的图片、画像、字体、音乐的版权可能需版权方额外授权,请谨慎使用;网站提供的党政主题相关内容(国旗、国徽、党徽--等)目的在于配合国家政策宣传,仅限个人学习分享使用,禁止用于任何广告和商用目的。
6、文档遇到问题,请及时私信或留言给本站上传会员【a199****6536】,需本站解决可联系【 微信客服】、【 QQ客服】,若有其他问题请点击或扫码反馈【 服务填表】;文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“【 版权申诉】”(推荐),意见反馈和侵权处理邮箱:1219186828@qq.com;也可以拔打客服电话:4008-655-100;投诉/维权电话:4009-655-100。