您好、欢迎来到现金彩票网!
当前位置:秒速快3平台 > 双向推理 >

AI第三章 搜索推理技术

发布时间:2019-06-03 23:35 来源:未知 编辑:admin

  教学内容:本章在上一章知识表示的基础上研究问题求解的方法,是人工智能研究的又一核心问题。内容包括早期搜索推理技术,如图搜索策略和消解原理;以及高级搜索推理技术,如规则演绎系统、产生式系统、系统组织技术、不确定性推理和非单调推理。

  教学方法:课堂教学为主,辅以恰当的实验。注意结合前面所学知识表示的基础内容,将其与问题求解方法融为一体。及时提问、收集学生学习情况。尽量使用实例和网络课程中的多媒体素材进行讲解。

  教学要求:重点掌握一般图搜索策略和消解原理,掌握各种搜索方法和产生式系统原理,了解规则演绎系统的基本原理,对系统组织技术、不确定性推理和非单调推理等高级推理技术作一般性了解。

  教学要求:重点掌握图搜索一般策略,掌握OPEN表和CLOSE表的构成及作用。

  图搜索策略可看作一种在图中寻找路径的方法。初始节点和目标节点分别代表初始数据库和满足终止条件的数据库。求得把一个数据库变换为另一数据库的规则序列问题就等价于求得图中的一条路径问题。研究图搜索的一般策略,能够给出图搜索过程的一般步骤。

  (1)建立一个只含有起始节点S的搜索图G,把S放到一个叫做OPEN的未扩展节点表中。

  (4)选择OPEN表上的第一个节点,把它从OPEN表移出并放进CLOSED表中。称此节点为节点n。

  (5)若n为一目标节点,则有解并成功退出,此解是追踪图G中沿着指针从n到S这条路径而得到的(指针将在第7步中设置)。

  (6)扩展节点n,同时生成不是n的祖先的那些后继节点的集合M。把M的这些成员作为n的后继节点添入图G中。

  (7)对那些未曾在G中出现过的(既未曾在OPEN表上或CLOSED表上出现过的)M成员设置一个通向n的指针。把M的这些成员加进OPEN表。对已经在OPEN或CLOSED表上的每一个M成员,确定是否需要更改通到n的指针方向。对已在CLOSED表上的每个M成员,确定是否需要更改图G中通向它的每个后裔节点的指针方向。

  图搜索过程的第8步对OPEN表上的节点进行排序,以便能够从中选出一个最好的节点作为第4步扩展用。这种排序可以是任意的即盲目的(属于盲目搜索),也可以用以后要讨论的各种启发思想或其它准则为依据(属于启发式搜索)。每当被选作扩展的节点为目标节点时,这一过程就宣告成功结束。这时,能够重现从起始节点到目标节点的这条成功路径,其办法是从目标节点按指针向S返回追溯。当搜索树不再剩有未被扩展的端节点时,过程就以失败告终(某些节点最终可能没有后继节点,所以OPEN表可能最后变成空表)。在失败终止的情况下,从起始节点出发,一定达不到目标节点。

  教学内容:介绍三种盲目搜索方法,即宽度优先搜索、深度优先搜索和等代价搜索。

  教学方法:以实例强化内容的学习,通过提问引导学生对三种方法的特点进行比较。

  如果搜索是以接近起始节点的程度依次扩展节点的,那么这种搜索就叫做宽度优先搜索(breadth-first search)。

  这种搜索是逐层进行的;在对下一层的任一节点进行搜索之前,必须搜索完本层的所有节点。

  (1)把起始节点放到OPEN表中(如果该起始节点为一目标节点,则求得一个解答)。

  (3)把第一个节点(节点n)从OPEN表移出,并把它放入CLOSED的扩展节点表中。

  (5)把n的所有后继节点放到OPEN表的末端,并提供从这些后继节点回到n的指针。

  (6)如果n的任一个后继节点是个目标节点,则找到一个解答,成功退出;否则转向第(2)步。

  宽度优先搜索是图搜索一般过程的特殊情况,将图搜索一般过程中的第8步具体化为本算法中的第6步,这实际是将OPEN表作为先进先出的队列进行操作。

  宽度优先搜索方法能够保证在搜索树中找到一条通向目标节点的最短途径;这棵搜索树提供了所有存在的路径(如果没有路径存在,那么对有限图来说,我们就说该法失败退出;对于无限图来说,则永远不会终止)。

  5、例:把宽度优先搜索应用于八数码难题时所生成的搜索树,这个问题就是要把初始棋局变为如下目标棋局的问题:

  在此搜索中,首先扩展最新产生的(即最深的)节点。深度相等的节点可以任意排列。

  首先,扩展最深的节点的结果使得搜索沿着状态空间某条单一的路径从起始节点向下进行下去;只有当搜索到达一个没有后裔的状态时,它才考虑另一条替代的路径。

  为了避免考虑太长的路径(防止搜索过程沿着无益的路径扩展下去),往往给出一个节点扩展的最大深度棗深度界限。任何节点如果达到了深度界限,那么都将把它们作为没有后继节点处理。

  思考题:有界深度优先搜索方法能够保证在搜索树中找到一条通向目标节点的最短途径吗?

  宽度优先搜索可被推广用来解决寻找从起始状态至目标状态的具有最小代价的路径问题,这种推广了的宽度优先搜索算法叫做等代价搜索算法。

  (请同学们课后认真阅读本算法,指出与宽度优先、深度优先算法有何特别之处。)

  如果所有的连接弧线具有相等的代价,那么等代价算法就简化为宽度优先搜索算法。

  教学内容:启发式搜索策略概述和有序搜索。启发式搜索弥补盲目搜索的不足,提高搜索效率。

  进行搜索技术一般需要某些有关具体问题领域的特性的信息,把此种信息叫做启发信息。利用启发信息的搜索方法叫做启发式搜索方法。

  有关具体问题领域的信息常常可以用来简化搜索。一个比较灵活(但代价也较大)的利用启发信息的方法是应用某些准则来重新排列每一步OPEN表中所有节点的顺序。然后,搜索就可能沿着某个被认为是最有希望的边缘区段向外扩展。应用这种排序过程,需要某些估算节点希望的量度,这种量度叫做估价函数(evalution function)。

  为获得某些节点希望的启发信息,提供一个评定侯选扩展节点的方法,以便确定哪个节点最有可能在通向目标的最佳路径上。f(n)——表示节点n的估价函数值

  建立估价函数的一般方法:试图确定一个处在最佳路径上的节点的概率;提出任意节点与目标集之间的距离量度或差别量度;或者在棋盘式的博弈和难题中根据棋局的某些特点来决定棋局的得分数。这些特点被认为与向目标节点前进一步的希望程度有关。

  用估价函数f来排列GRAPHSEARCH第8步中OPEN表上的节点。应用某个算法(例如等代价算法)选择OPEN表上具有最小f值的节点作为下一个要扩展的节点。这种搜索方法叫做有序搜索(ordered search)或最佳优先搜索(best-first search),而其算法就叫做有序搜索算法或最佳优先算法。

  尼尔逊(Nilsson)曾提出一个有序搜索的基本算法。估价函数f是这样确定的:一个节点的希望程序越大,其f值就越小。被选为扩展的节点,是估价函数最小的节点。

  选择OPEN表上具有最小f值的节点作为下一个要扩展的节点,即总是选择最有希望的节点作为下一个要扩展的节点。

  (1)把起始节点S放到OPEN表中,计算f(S)并把其值与节点S联系起来。

  (3)从OPEN表中选择一个f值最小的节点i。结果有几个节点合格,当其中有一个为目标节点时,则选择此目标节点,否则就选择其中任一个节点作为节点i。

  (4)把节点i从OPEN表中移出,并把它放入CLOSED的扩展节点表中。

  (b)如果j既不在OPEN表中,又不在CLOSED表中,则用估价函数f把它添入OPEN表。从j加一指向其父辈节点i的指针,以便一旦找到目标节点时记住一个解答路径。

  (c)如果j已在OPEN表上或CLOSED表上,则比较刚刚对j计算过的f值和前面计算过的该节点在表中的f值。如果新的f值较小,则

  宽度优先搜索、等代价搜索和深度优先搜索统统是有序搜索技术的特例。对于宽度优先搜索,选择f(i)作为节点i的深度。对于等代价搜索,f(i)是从起始节点至节点i这段路径的代价。

  有序搜索的有效性直接取决于f的选择,如果选择的f不合适,有序搜索就可能失去一个最好的解甚至全部的解。如果没有适用的准确的希望量度,那么f的选择将涉及两个方面的内容:一方面是一个时间和空间之间的折衷方案;另一方面是保证有一个最优的解或任意解。

  其中:d(n)是搜索树中节点n的深度;W(n)用来计算对应于节点n的数据库中错放的棋子个数。因此,起始节点棋局

  令k(ni,nj)表示任意两个节点ni和nj之间最小代价路径的实际代价(对于两节点间没有通路的节点,函数k没有定义)。于是,从节点n到某个具体的目标节点ti,某一条最小代价路径的代价可由k(n,ti)给出。令h*(n)表示整个目标节点集合{ti}上所有k(n,ti)中最小的一个,因此,h*(n)就是从n到目标节点最小代价路径的代价,而且从n到目标节点能够获得h*(n)的任一路径就是一条从n到某个目标节点的最佳路径(对于任何不能到达目标节点的节点n,函数h*没有定义)。

  定义函数f*,使得在任一节点n上其函数值f*(n)就是从节点S到节点n的一条最佳路径的实际代价加上从节点n到某目标节点的一条最佳路径的代价之和,即

  其中:g是g*的估计;h是h*的估计。对于g(n)来说,一个明显的选择就是搜索树中从S到n这段路径的代价,这一代价可以由从n到S寻找指针时,把所遇到的各段弧线的代价加起来给出(这条路径就是到目前为止用搜索算法找到的从S到n的最小代价路径)。这个定义包含了g(n)≥g*(n)。h*(n)的估计h(n)依赖于有关问题的领域的启发信息。这种信息可能与八数码难题中的函数W(n)所用的那种信息相似。把h叫做启发函数。

  定义2在A算法中,如果对所有的x存在h(x)≤h*(x),则称h(x)为h*(x)的下界,它表示某种偏于保守的估计。

  定义3采用h*(x)的下界h(x)为启发函数的A算法,称为A*算法。当h=0时,A*算法就变为有序搜索算法。

  思考:试比较宽度优先搜索、有界深度优先搜索及有序搜索的搜索效率,并以实例数据加以说明

  教学内容:消解原理是针对谓词逻辑知识表示的问题求解方法。本节内容主要包括子句集的求取、消解推理的规则和消解反演问题求解方法。

  (2)子句:由文字的析取组成的公式(一个原子公式和原子公式的否定都叫做文字)。

  (3)消解:当消解可使用时,消解过程被应用于母体子句对,以便产生一个导出子句。例如,如果存在某个公理E1∨E2和另一公理~E2∨E3,那么E1∨E3在逻辑上成立。这就是消解,而称E1∧E3为E1∨E2和~E2∨E3的消解式(resolvent)。

  在任一量词辖域内,受该量词约束的变量为一哑元(虚构变量),它可以在该辖域内处处统一地被另一个没有出现过的任意变量所代替,而不改变公式的真值。合适公式中变量的标准化意味着对哑元改名以保证每个量词有其自己唯一的哑元。

  从一个公式消去一个存在量词的一般规则是以一个Skolem函数代替每个出现的存在量词的量化变量,而这个Skolem函数的变量就是由那些全称量词所约束的全称量词量化变量,这些全称量词的辖域包括要被消去的存在量词的辖域在内。Skolem函数所使用的函数符号必须是新的,即不允许是公式中已经出现过的函数符号。例如:

  把所有全称量词移到公式的左边,并使每个量词的辖域包括这个量词后面公式的整个部分。所得公式称为前束形。

  任何母式都可写成由一些谓词公式和(或)谓词公式的否定的析取的有限集组成的合取。这种母式叫做合取范式。

  用{A,B}代替(A∧B),以消去明显的符号∧。反复代替的结果,最后得到一个有限集,其中每个公式是文字的析取。任一个只由文字的析取构成的合适公式叫做一个子句。

  并不是所有问题的谓词公式化为子句集都需要上述9个步骤。对于某些问题,可能不需要其中的一些步骤。

  令L1为任一原子公式,L2为另一原子公式;L1和L2具有相同的谓词符号,但一般具有不同的变量。已知两子句L1∨α和~L2∨β,如果L1和L2具有最一般合一者σ,那么通过消解可以从这两个父辈子句推导出一个新子句(α∨β)σ。这个新子句叫做消解式。它是由取这两个子句的析取,然后消去互补对而得到的。

  为了对含有变量的子句使用消解规则,必须找到一个置换,作用于父辈子句使其含有互补文字。

  把要解决的问题作为一个要证明的命题,其目标公式被否定并化成子句形,然后添加到命题公式集中去,把消解反演系统应用于联合集,并推导出一个空子句(NIL),产生一个矛盾,这说明目标公式的否定式不成立,即有目标公式成立,定理得证,问题得到解决,与数学中反证法的思想十分相似。

  给出一个公式集S和目标公式L,通过反证或反演来求证目标公式L,其证明步骤如下:

  设公式L在逻辑上遵循公式集S,那么按照定义满足S的每个解释也满足L。决不会有满足S的解释能够满足~L的,所以不存在能够满足并集S∪{~L}的解释。如果一个公式集不能被任一解释所满足,那么这个公式是不可满足的。因此,如果L在逻辑上遵循S,那么S∪{~L}是不可满足的。可以证明,如果消解反演反复应用到不可满足的子句集,那么最终将要产生空子句NIL。因此,如果L在逻辑上遵循S,那么由并集S∪{~L}消解得到的子句,最后将产生空子句;反之,可以证明,如果从S∪{~L}的子句消解得到空子句,那么L在逻辑上遵循S。

  (1)把由目标公式的否定产生的每个子句添加到目标公式否定之否定的子句中去。

  答案求取涉及到把一棵根部有NIL的反演树变换为在根部带有可用作答案的某个语句的一颗证明树。由于变换关系涉及到把由目标公式的否定产生的每个子句变换为一个重言式,所以被变换的证明树就是一棵消解的证明树,其在根部的语句在逻辑上遵循公理加上重言式,因而也单独地遵循公理。因此被变换的证明树本身就证明了求取办法是正确的。

  如果无论约翰(John)到哪里去,菲多(Fido)也就去那里,那么如果约翰在学校里,菲多在哪里呢?

  教学内容:规则演绎系统属于高级搜索推理技术,用于解决比较复杂的系统和问题。本节介绍规则演绎系统的定义及其三种推理方法:规则正向演绎系统、规则逆向演绎系统和规则双向演绎系统。

  教学方法:课堂教学为主。通过比较揭示正向推理、逆向推理和双向推理的特点。

  教学要求:掌握规则演绎系统的定义和正向推理、逆向推理的过程,了解规则双向演绎系统。

  其中,If部分可能由几个if组成,而Then部分可能由一个或一个以上的then组成。

  在所有基于规则系统中,每个if可能与某断言(assertion)集中的一个或多个断言匹配。有时把该断言集称为工作内存。在许多基于规则系统中,then部分用于规定放入工作内存的新断言。这种基于规则的系统叫做规则演绎系统(rule based deduction system)。在这种系统中,通常称每个if部分为前项(antecedent),称每个then部分为后项(consequent)。

  正向规则演绎系统是从事实到目标进行操作的,即从状况条件到动作进行推理的,也就是从if到then的方向进行推理的。

  把事实表示为非蕴涵形式的与或形,作为系统的总数据库。具体变换步骤与前述化为子句形类似。

  注意:我们不想把这些事实化为子句形,而是把它们表示为谓词演算公式,并把这些公式变换为叫做与或形的非蕴涵形式。

  对变量更名标准化,使得同一变量不出现在事实表达式的不同主要合取式中,得:

  一般把事实表达式的与或图表示倒过来画,即把根节点画在最下面,而把其后继节点往上画。上节的与或图表示,就是按通常方式画出的,即目标在上面。

  这些规则是建立在某个问题辖域中普通陈述性知识的蕴涵公式基础上的。把允许用作规则的公式类型限制为下列形式:

  将这类规则应用于与或图进行推演。假设有一条规则L=W,根据此规则及事实表达式F(L),可以推出表达式F(W)。F(W)是用W代替F中的所有L而得到的。当用规则L=W来变换以上述方式描述的F(L)的与或图表示时,就产生一个含有F(W)表示的新图;也就是说,它的以叶节点终止的解图集以F(W)子句形式代表该子句集。这个子句集包括在F(L)的子句形和L=W的子句形间对L进行所有可能的消解而得到的整集。该过程以极其有效的方式达到了用其它方法要进行多次消解才能达到的目的。

  应用F规则的目的在于从某个事实公式和某个规则集出发来证明某个目标公式。在正向推理系统中,这种目标表达式只限于可证明的表达式,尤其是可证明的文字析取形的目标公式表达式。用文字集表示此目标公式,并设该集各元都为析取关系。

  当正向演绎系统产生一个含有以目标节点作为终止的解图时,此系统就成功地终止。

  基于规则的逆向演绎系统,其操作过程与正向演绎系统相反,即为从目标到事实的操作过程,从then到if的推理过程。

  逆向演绎系统能够处理任意形式的目标表达式。首先,采用与变换事实表达式同样的过程,把目标公式化成与或形。

  B规则是建立在确定的蕴涵式基础上的,正如正向系统的F规则一样。不过,我们现在把这些B规则限制为

  形式的表达式。其中,W为任一与或形公式,L为文字,而且蕴涵式中任何变量的量词辖域为整个蕴涵式。

  正向演绎系统能够处理任意形式的if表达式,但被限制在then表达式为由文字析取组成的一些表达式。逆向演绎系统能够处理任意形式的then表达式,但被限制在if表达式为文字合取组成的一些表达式。双向(正向和逆向)组合演绎系统具有正向和逆向两系统的优点,克服各自的缺点。

  正向和逆向组合系统是建立在两个系统相结合的基础上的。此组合系统的总数据库由表示目标和表示事实的两个与或图结构组成,并分别用F规则和B规则来修正。

  组合演绎系统的主要复杂之处在于其终止条件,终止涉及两个图结构之间的适当交接处。当用F规则和B规则对图进行扩展之后,匹配就可以出现在任何文字节点上。

  在完成两个图间的所有可能匹配之后,目标图中根节点上的表达式是否已经根据事实图中根节点上的表达式和规则得到证明的问题仍然需要判定。只有当求得这样的一个证明时,证明过程才算成功地终止。若能够断定在给定方法限度内找不到证明时过程则以失败告终。

  教学方法:课堂教学和实验相结合。重点讲解原理,通过实验进一步领会系统的精髓。充分利用网络课程中的多媒体素材来表示抽象概念。

  教学要求:掌握产生式系统的组成结构,通过实践掌握产生式系统的设计和工作过程。

  在基于规则系统中,每个if可能与某断言(assertion)集中的一个或多个断言匹配,then部分用于规定放入工作内存的新断言。当then部分用于规定动作时,称这种基于规则的系统为反应式系统(reaction system)或产生式系统(production system)。

  产生式系统由3个部分组成,即总数据库(或全局数据库)、产生式规则和控制策略,如图3.2所示。

  总数据库有时也被称作上下文,当前数据库或暂时存储器。总数据库是产生式规则的注意中心。产生式规则的左边表示在启用这一规则之前总数据库内必须准备好的条件。例如在上述例子中,在得出该动物是食肉动物的结论之前,必须在总数据库中存有该动物是哺乳动物和该动物吃肉这两个事实。执行产生式规则的操作会引起总数据库的变化,这就使其他产生式规则的条件可能被满足。产生式规则是一个规则库,用于存放与求解问题有关的某个领域知识的规则之集合及其交换规则。规则库知识的完整性、一致性、准确性、灵活性和知识组织的合理性,将对产生式系统的运行效率和工作性能产生重要影响。

  控制策略为一推理机构,由一组程序组成,用来控制产生式系统的运行,决定问题求解过程的推理线路,实现对问题的求解。产生式系统的控制策略随搜索方式的不同可分为可撤回策略、回溯策略、图搜索策略等。

  控制策略的作用是说明下一步应该选用什么规则,也就是如何应用规则。通常从选择规则到执行操作分3步:匹配、冲突解决和操作。

  在这一步,把当前数据库与规则的条件部分相匹配。如果两者完全匹配,则把这条规则称为触发规则。当按规则的操作部分去执行时,称这条规则为启用规则。被触发的规则不一定总是启用规则,因为可能同时有几条规则的条件部分被满足,这就要在解决冲突步骤中来解决这个问题。在复杂的情况下,在数据库和规则的条件部分之间可能要进行近似匹配。

  当有一条以上规则的条件部分和当前数据库相匹配时,就需要决定首先使用哪一条规则,这称为冲突解决。

  操作就是执行规则的操作部分,经过操作以后,当前数据库将被修改。然后,其他的规则有可能被使用。

  从一组表示事实的谓词或命题出发,使用一组产生式规则,用以证明该谓词公式或命题是否成立。

  一般策略:先提供一批事实(数据)到总数据库中。系统利用这些事实与规则的前提相匹配,触发匹配成功的规则,把其结论作为新的事实添加到总数据库中。继续上述过程,用更新过的总数据库的所有事实再与规则库中另一条规则匹配,用其结论再次修改总数据库的内容,直到没有可匹配的新规则,不再有新的事实加到总数据库中。

  从表示目标的谓词或命题出发,使用一组产生式规则证明事实谓词或命题成立,即首先提出一批假设目标,然后逐一验证这些假设。

  一般策略:首先假设一个可能的目标,然后由产生式系统试图证明此假设目标是否在总数据库中。若在总数据库中,则该假设目标成立;否则,若该假设为终叶(证据)节点,则询问用户。若不是,则再假定另一个目标,即寻找结论部分包含该假设的那些规则,把它们的前提作为新的假设,并力图证明其成立。这样反复进行推理,直到所有目标均获证明或者所有路径都得到测试为止。

  双向推理的推理策略是同时从目标向事实推理和从事实向目标推理,并在推理过程中的某个步骤,实现事实与目标的匹配。

  教学内容:系统组织技术属于高级搜索推理技术,能够用于求解比较复杂的系统。本节简要介绍三种系统组织技术:议程表法、黑板法和△极小搜索法。

  议程表(agenda)是一个系统能够执行的任务表列。与每个任务有关的有两件事,即提出该任务的理由和表示对该任务是有用的证据总权的评价。

  从组织大系统的观点看,议程表方法的意义在于它允许几个独立模块进行通讯。其通讯方法是每个模块可将支持(或反对)某个具体任务的证据,加到一个证明选择该任务是正确的表中。这样就使系统能够选出从各方面都有充分证据的任务。虽然各模块共同使用关于为什么要执行各项任务的证据,但一个模块并不需要了解其它模块如何工作,以及它们所包含的知识。这样,议程表方法便具有大系统中模块化的一切优点,而无相互隔离的缺点。

  黑板法(the Blackboard Approach)首先是在HEARSAY-Ⅱ语音理解系统中发展起来的。它的思想比较简单。整个系统由一组称为知识资源(KS)的独立模块和一块黑板组成。这里,知识资源含有系统中专门领域的知识,而黑板则是一切KS可以访问的公用数据结构。

  当一个KS被激发时,它检查当时黑板上的内容,并应用其知识产生一个新的假设写到黑板上,直到完成任务为止。当时间表没有发现未解决的活动记录时,系统便停止执行。

  Δ值表示一假设的级别与参加竞争的最佳假设的级别之差,提供了一种选择最有希望假设的技术。

  一次接受一串输入,顺序地处理,使其形成一个关于输入的统一而相容的解释。Δ-极小法是这样来解决这类问题的:在适当的时刻,触发某KS,然后为它生成所有它认为是可能的假设,并赋给某个假设一种级别。由这些级别计算出的Δ值,表示一假设的级别与参加竞争的最佳假设的级别之差。而在该假设最后导致不相容时,再考虑参加竞争的另一假设。

  教学内容:本节介绍两种不确定性(uncertainty),即关于证据的不确定性和关于结论的不确定性。

  一般通过对事实赋于一个介于0和1之间的系数来表示事实的不确定性。1代表完全确定,0代表完全不确定。这个系数被称为可信度(也有一些专家系统,如MYCIN和EXPERT等,取可信度的范围为-1到+1)。

  当规则具有一个以上的条件时,就需要根据各条件的可信度来求得总条件部分的可信度。已有的方法有两类:

  按这种方法,把所有条件中最小的可信度作为总条件的可信度。这种方法类似于当把几根绳子连接起来使用时,总的绳子强度与强度最差的绳子的相同。

  这种方法同样赋予每个证据以可信度。但当把单独条件的可信度结合起来求取总的可信度时,它取决于各可信度的乘积。

  关于结论的不确定性也叫做规则的不确定性,它表示当规则的条件被完全满足时,产生某种结论的不确定程度。它也是以赋予规则在0和1之间的系数的方法来表示的。

  以上规则表示,如果启动器发生刺耳的噪声这事实完全肯定的可信度为1.0,那么得出这个启动器坏的结论的可信度为0.8。

  如果规则的条件部分不完全确定,即可信度不为1时,如何求得结论的可信度的方法有以下两种:

  (1)取结论可信度为条件可信度与上述系数的乘积。(2)按照某种概率论的解释,我们假设规则的条件部分的可信度Cin和其结论部分的可信度Cout存在某种关系,这种关系可用来代表规则的不确定性。3.8.3多个规则支持同一事实时的不确定性

  当多个规则支持同一事实时,这些规则之间的关系是析取。如何根据证据的可信度求得事实的可信度?与关于证据的可信度类似,也有两种方法,分别基于模糊集理论和概率理论。

  这里介绍的只是基于概率的方法中的一种。按这种方法由一组规则支持的事实的可信度,可用以下方法求得,首先把各个证据的可信度转换成可信性比例r。可信性比例r和可信度c之间的关系可表示为

  把各证据的可信性比例简单地相乘就可以求得这些证据所支持的事实的可信性比例。然后,再利用上述公式转换回相应的可信度。这样就求得这个事实的可信度。

  教学内容:用于解决现实问题领域中的3类情况:不完全的信息、不断变化的情况、以及求解复杂问题过程中生成的假设,具有较为有效的求解效率。本节简要介绍两种非单调推理技术:缺省推理和正确性维持系统TMS。

  当缺乏信息时,只要不出现相反的证据,就可以作一些有益的猜想。构造这种猜想称为缺省推理(default reasoning)。

  一个安排会议程序:程序必须求解一个约束满足问题,即找出每个参加者都有空闲的开会日期与时刻,并有可供开会的房间。

  这是一个已经实现的非单调推理系统。它用以协助其它推理程序维持系统的正确性,所以它的作用不是生成新的推理,而是在其它程序所产生的命题之间保持相容性。一旦发现某个不相容,它就调出自己的推理机制,面向从属关系的回溯,并通过修改最小的信念集来消除不相容。

  在TMS中,每一命题或规则均称为节点,且对任一节点,以下两种状态必居其一:

  IN节点是指那些至少有一个在当前说来是有效证实的节点。OUT结点则指那些当前无任何有效证实的节点。

  在系统中,有两种方式可用来证实一个节点的有效性可依赖于其它节点的有效性:

http://raggedydreams.com/shuangxiangtuili/155.html
锟斤拷锟斤拷锟斤拷QQ微锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷微锟斤拷
关于我们|联系我们|版权声明|网站地图|
Copyright © 2002-2019 现金彩票 版权所有