我要投搞

标签云

收藏小站

爱尚经典语录、名言、句子、散文、日志、唯美图片

当前位置:2019跑狗图高清彩图 > 语义合一 >

AI第二章 知识表示方法

归档日期:07-27       文本归类:语义合一      文章编辑:爱尚语录

  教学内容:本章讨论知识表示的各种方法,是人工智能课程三大内容(知识表示、知识推理、知识应用)之一,也是学习人工智能其他内容的基础。

  教学方法:课堂教学为主,同时结合《离散数学》等已学的内容实时提问、收集学生学习情况,充分利用网络课程中的多媒体素材来表示抽象概念。

  教学要求:重点掌握用状态空间法、问题归约法、谓词演算法、语义网络法来描述问题;解决问题;掌握几种主要方法之间的差别;并对其它几种表示方法有一般了解。

  教学内容:本节是通过状态空间法来求解问题,它是以状态和算符(operator)为基础来表示和求解问题的。

  教学方法:以课堂教学为主;充分利用网络课程中的多媒体素材来阐述抽象概念。

  教学要求:重点掌握对某个问题的状态空间描述,学会组织状态空间图,用搜索图来求解问题。

  状态(state)是为描述某类不同事物间的差别而引入的一组最少变量q0,q1,…,qn的有序集合,其矢量形式如下:

  式中每个元素qi(i=0,1,…,n)为集合的分量,称为状态变量。给定每个分量的一组值就得到一个具体的状态,如

  算符:使问题从一种状态变化为另一种状态的手段称为操作符或算符。操作符可为走步、过程、规则、数学算子、运算符号或逻辑符号等。

  问题的状态空间(state space)是一个表示该问题全部可能状态及其关系的图,它包含三种说明的集合,即所有可能的问题初始状态集合S、操作符集合F以及目标状态集合G。因此,可把状态空间记为三元状态(S,F,G)。

  举例:讲解初始状态、算符、中间状态与目标状态之间的关系;讲解三数码难题的状态变化过程。

  图由节点(不一定是有限的节点)的集合构成。一对节点用弧线连接起来,从一个节点指向另一个节点。这种图叫做有向图(directed graph)。

  某个节点序列(ni1,ni2,…,nik)当j=2,3,…,k时,如果对于每一个ni,j-1都有一个后继节点nij存在,那么就把这个节点序列叫做从节点ni1至节点nik的长度为k的路径。

  一个总数据库(global database),它含有与具体任务有关的信息。

  一套规则,它对数据库进行操作运算。每条规则由左右两部分组成,左部鉴别规则的适用性或先决条件,右部描述规则应用时所完成的动作。应用规则来改变数据库。

  一个控制策略,它确定应该采用哪一条适用规则,而且当数据库的终止条件满足时,就停止计算。

  状态空间表示用四元组(W,x,y,z)其中:W-猴子的水平位置;x-当猴子在箱子顶上时取x=1;否则取x=0;Y-箱子的水平位置;z-当猴子摘到香蕉时取z=1;否则取z=0。

  求解过程令初始状态为(a,0,b,0)。这时,goto(U)是唯一适用的操作,并导致下一状态(U,0,b,0)。现在有3个适用的操作,即goto(U),pushbox(V)和climbbox(若U=b)。把所有适用的操作继续应用于每个状态,我们就能够得到状态空间图,如图所示。从图不难看出,把该初始状态变换为目标状态的操作序列为:

  举例:针对多媒体上的猴子与香蕉问题的状态空间图,讲解问题的状态空间表示和产生式规则的应用。

  教学内容:知识表示的归约法,即已知问题的描述,通过一系列变换把此问题最终变为一个子问题集合;这些子问题的解可以直接得到,从而解决了初始问题的方法。

  教学方法:课堂教学为主,充分利用网络课程中的相关多媒体素材来表示抽象概念。

  教学要求:通过梵塔难题重点掌握问题归约法的机理和问题归约描述方法。学会用与或图表示归约问题。

  已知问题的描述,通过一系列变换把此问题最终变为一个子问题集合;这些子问题的解可以直接得到,从而解决了初始问题。

  该方法也就是从目标(要解决的问题)出发逆向推理,建立子问题以及子问题的子问题,直至最后把初始问题归约为一个平凡的本原问题集合。这就是问题归约的实质。

  问题有3个柱子(1,2,3)和3个不同尺寸的圆盘(A,B,C)。在每个圆盘的中心有个孔,所以圆盘可以堆叠在柱子上。最初,全部3个圆盘都堆在柱子1上:最大的圆盘C在底部,最小的圆盘A在顶部。要求把所有圆盘都移到柱子3上,每次只许移动一个,而且只能先搬动柱子顶部的圆盘,还不许把尺寸较大的圆盘堆放在尺寸较小的圆盘上。

  由上可以看出简化了难题每一个都比原始难题容易,所以问题都会变成易解的本原问题。

  可以用状态空间表示的三元组合(S、F、G)来规定与描述问题;对于梵塔问题,子问题[(111)→(122)],[(122)→(322)]以及[(322)→(333)]规定了最后解答路径将要通过的脚踏石状态(122)和(322)。

  问题归约方法可以应用状态、算符和目标这些表示法来描述问题,这并不意味着问题归约法和状态空间法是一样的。

  用一个类似图的结构来表示把问题归约为后继问题的替换集合,画出归约问题图。

  例如,设想问题A需要由求解问题B、C和D来决定,那么可以用一个与图来表示;同样,一个问题A或者由求解问题B、或者由求解问题C来决定,则可以用一个或图来表示。

  提问:对于一个与或图如何引入附加节点,使得后继问题的每个集合能够聚集在它们各自的父辈节点之下。

  (2)如果某个非终叶节点含有或后继节点,那么只有当其后继节点至少有一个是可解的时,此非终叶节点才是可解的。

  (3)如果某个非终叶节点含有与后继节点,那么只要当其后继节点全部为可解时,此非终叶节点才是可解的。

  (2)如果某个非终叶节点含有或后继节点,那么只有当其全部后裔为不可解时,此非终叶节点才是不可解的。

  (3)如果某个非终叶节点含有与后继节点,那么只要当其后裔至少有一个为不可解时,此非终叶节点才是不可解的。

  (1)与或图中的每个节点代表一个要解决的单一问题或问题集合。图中所含起始节点对应于原始问题。

  (3)对于把算符应用于问题A的每种可能情况,都把问题变换为一个子问题集合;有向弧线自A指向后继节点,表示所求得的子问题集合。

  (4)一般对于代表两个或两个以上子问题集合的每个节点,有向弧线从此节点指向此子问题集合中的各个节点。

  (5)在特殊情况下,当只有一个算符可应用于问题A,而且这个算符产生具有一个以上子问题的某个集合时,由上述规则3和规则4所产生的图可以得到简化。

  教学要求:重点掌握谓词逻辑表示的语言与方法,掌握谓词公式的性质及谓词演算,学会谓词公式的置换与合一,运用谓词推理来解决问题。

  谓词逻辑的基本组成部分是谓词符号、变量符号、函数符号和常量符号,并用圆括弧、方括弧、花括弧和逗号隔开,以表示论域内的关系。

  原子公式是由若干谓词符号和项组成,只有当其对应的语句在定义域内为真时,才具有值T(真);而当其对应的语句在定义域内为假时,该原子公式才具有值F(假)。

  原子公式是谓词演算的基本积木块,运用连词能够组合多个原子公式以构成比较复杂的合适公式。

  用连词∧把几个公式连接起来而构成的公式叫做合取,而此合取式的每个组成部分叫做合取项。一些合适公式所构成的任一合取也是一个合适公式。

  用连词∨把几个公式连接起来所构成的公式叫做析取,而此析取式的每一组成部分叫做析取项。由一些合适公式所构成的任一析取也是一个合适公式。

  用连词→连接两个公式所构成的公式叫做蕴涵。蕴涵的左式叫做前项,右式叫做后项。如果前项和后项都是合适公式,那么蕴涵也是合适公式。

  量化一个合适公式中的某个变量所得到的表达式也是合适公式。如果一个合适公式中某个变量是经过量化的,就把这个变量叫做约束变量,否则就叫它为自由变量。在合适公式中,感兴趣的主要是所有变量都是受约束的。这样的合适公式叫做句子。

  寻找项对变量的置换,以使两表达式一致,叫做合一(unification)。如果一个置换s作用于表达式集{Ei}的每个元素,则用{Ei}s来表示置换例的集。称表达式集{Ei}是可合一的。如果存在一个置换s使得:E1s=E2s=E3s=…那么称此s为{Ei}的合一者,因为s的作用是使集合{Ei}成为单一形式。

  教学要求:重点掌握语义网络的结构,掌握二元语义网络表示方法,了解语义网络的特点。

  语义网络是知识的一种结构化图解表示,它由节点和弧线或链线组成。节点用于表示实体、概念和情况等,弧线用于表示节点间的关系。

  (1)词法部分决定表示词汇表中允许有哪些符号,它涉及各个节点和弧线)结构部分

  (联想)意义的方法即确定有关节点的排列及其占有物和对应弧线。语义网络具有下列特点:

  (1)能把实体的结构、属性与实体间的因果关系显式地和简明地表达出来,与实体相关的事实、特征和关系可以通过相应的节点弧线推导出来。

  (2)由于与概念相关的属性和联系被组织在一个相应的节点中,因而使概念易于受访和学习。

  (4)语义网络结构的语义解释依赖于该结构的推理过程而没有结构的约定,因而得到的推理不能保证像谓词逻辑法那样有效。

  (5)节点间的联系可能是线状、树状或网状的,甚至是递归状的结构,使相应的知识存储和检索可能需要比较复杂的过程。

  二元语义网络的表示用两个节点和一条弧线可以表示一个简单的事实,对于表示占有关系的语义网络,是通过允许节点既可以表示一个物体或一组物体,也可以表示情况和动作。每一情况节点可以有一组向外的弧(事例弧)

  在选择节点时,首先要弄清节点是用于表示基本的物体或概念的,或是用于多种目的的。否则,如果语义网络只被用来表示一个特定的物体或概念,那么当有更多的实例时就需要更多的语义网络。

  选择语义基元就是试图用一组基元来表示知识。这些基元描述基本知识,并以图解表示的形式相互联系。

  用二元语义网络表示:小燕是一只燕子,燕子是鸟;巢-1是小燕的巢,巢-1是巢中的一个。

  语义网络是一种网络结构。节点之间以链相连。从本质上讲,接点之间的连接是二元关系。语义网络从本质上来说,只能表示二元关系,如果所要表示的事实是多元关系,则把这个多元关系转化成一组二元关系的组合,或二元关系的合取。具体来说,多元关系R(X

  ,X2,…,Xn)总可以转换成R1(X11,X12)∧R2(X21,X22)∧…∧Rn(Xn1,Xn2)。要在语义网络中进行这种转换需要引入附加节点。

  用Liming is a man的语义网络和谓词逻辑表示说明谓词逻辑与语义网络的等效性。

  多元关系可以被转换成一组二元关系的合取,从而可以用语义网络的形式表示出来。

  在语义网络中,为与合取关系相区别,在析取关系的连接上加注析取界限,并标记DIS。

  存在量化在语义网络中可直接用ISA链来表示。而全称量化就要用分割方法来表示。

  框架通常由描述事物的各个方面的槽组成,每个槽可以拥有若干个侧面,而每个侧面又可以拥有若干个值。一个框架的一般结构如下:

  …较简单的情景是用框架来表示诸如人和房子等事物。例如,一个人可以用其职业、身高和体重等项描述,因而可以用这些项目组成框架的槽。当描述一个具体的人时,再用这些项目的具体值填入到相应的槽中。表2.2给出的是描述John

  如前所述,框架是一种复杂结构的语义网络。因此语义网络推理中的匹配和特性继承在框架系统中也可以实行。除此以外,由于框架用于描述具有固定格式的事物、动作和事件,因此可以在新的情况下,推论出未被观察到的事实。框架用以下几种途径来帮助实现这一点:

  (1) 框架包含它所描述的情况或物体的多方面的信息。(2) 框架包含物体必须具有的属性。在填充框架的各个槽时,要用到这些属性。(3) 框架描述它们所代表的概念的典型事例。

  用一个框架来具体体现一个特定情况的过程,经常不是很顺利的。但当这个过程碰到障碍时,经常不必放弃原来的努力去从头开始,而是有很多办法可想的:

  (1)选择和当前情况相对应的当前的框架片断,并把这个框架片断和候补框架相匹配。选择最佳匹配。

  (2)尽管当前的框架和要描述的情况之间有不相匹配的地方,但是仍然可以继续应用这个框架。

  →哺乳动物框架→动物框架),直到找到一个足够通用,并不与已有事实矛盾的框架。2.5.2剧本

  剧本是框架的一种特殊形式,它用一组槽来描述某些事件的发生序列,就像剧本中的事件序列一样,故称为

  (1)对于不属于事件核心部分的剧本,只需设置指向该剧本的指针即可,以便当它成为核心时启用。

  (2)对于符合事件核心部分的剧本,则应使用在当前事件中涉及到的具体对象和人物去填写剧本的槽。剧本的前提、道具、角色和事件等常能起到启用剧本的指示器的作用。

  一旦剧本被启用,则可以应用它来进行推理。其中最重要的是运用剧本可以预测没有明显提及的事件的发生。

  剧本结构,比起框架这样的一些通用结构来,要呆板得多,知识表达的范围也很窄,因此不适用于表达各种知识,但对于表达预先构思好的特定知识,如理解故事情节等,是非常有效的。

  语义网络、框架和剧本等知识表示方法,均是对知识和事实的一种静止的表达方法,是知识的一种显式表达形式。而对于如何使用这些知识,则通过控制策略来决定。

  和知识的陈述式表示相对应的是知识的过程式表示。所谓过程式表示就是将有关某一问题领域的知识,连同如何使用这些知识的方法,均隐式地表达为一个求解问题的过程。它所给出的是事物的一些客观规律,表达的是如何求解问题。知识的描述形式就是程序,所有信息均隐含在程序之中。从程序求解问题的效率上来说,过程式表达要比陈述式表达高得多。但因其知识均隐含在程序中,因而难于添加新知识和扩充功能,适用范围较窄。

  状态空间法是一种基于解答空间的问题表示和求解方法,它是以状态和操作符为基础的。在利用状态空间图表示时,从某个初始状态开始,每次加一个操作符,递增地建立起操作符的试验序列,直到达到目标状态为止。由于状态空间法需要扩展过多的节点,容易出现组合爆炸,因而只适用于表示比较简单的问题。

  出发,逆向推理,通过一系列变换把初始问题变换为子问题集合和子子问题集合,直至最后归约为一个平凡的本原问题集合。这些本原问题的解可以直接得到从而解决了初始问题,用与或图来有效地说明问题归约法的求解途径。问题归约法能够比状态空间法更有效地表示问题。状态空间法是问题归约法的一种特例。在问题归约法的与或图中,包含有与节点和或节点,而在状态空间法中只含有或节点。

  谓词逻辑法采用谓词合适公式和一阶谓词演算把要解决的问题变为一个有待证明的问题,然后采用消解定理和消解反演来证明一个新语句是从已知的正确语句导出的,从而证明这个新语句也是正确的。谓词逻辑是一种形式语言,能够把数学中的逻辑论证符号化。谓词逻辑法常与其它表示方法混合使用,灵活方便,可以表示比较复杂的问题。

  语义网络是一种结构化表示方法,它由节点和弧线或链线组成。节点用于表示物体、概念和状态,弧线用于表示节点间的关系。语义网络的解答是一个经过推理和匹配而得到的具有明确结果的新的语义网络。语义网络可用于表示多元关系,扩展后可以表示更复杂的问题。

  框架是一种结构化表示方法。框架通常由指定事物各个方面的槽组成,每个槽拥有若干个侧面,而每个侧面又可拥有若干个值。大多数实用系统必须同时使用许多框架,并可把它们联成一个框架系统。框架表示已获广泛应用,然而并非所有问题都可以用框架表示。

  剧本是框架的一种特殊形式,它使用一组槽来描述事件的发生序列。剧本表示特别适用于描述顺序性动作或事件,但使用不如框架灵活,因此应用范围也不如框架那么广泛。

  过程是一种知识的过程式表示,它将某一有关问题领域知识同这些使用方法一起,隐式地表示为一个问题求解过程。过程表示用程序来描述问题,具有很高的问题求解效率。由于知识隐含在程序中难以操作,所以适用范围较窄。

  在表示和求解比较复杂的问题时,采用单一的知识表示方法是远远不够的。往往必须采用多种方法混合表示。例如,综合采用框架、语义网络、谓词逻辑的过程表示方法(两种以上)

  此外,在选择知识表示方法时,还要考虑所使用的程序设计语言所提供的功能和特点,以便能够更好地描述这些表示方法。

本文链接:http://furymagazine.com/yuyiheyi/208.html