




已阅读5页,还剩96页未读, 继续免费阅读
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
2020/5/29,第3章知识与知识表示赵东晋,1,第3章人工智能知识与知识表示,学海无涯,2020/5/29,第3章知识与知识表示赵东晋,2,第3章知识与知识表示,3.1知识表示概述3.2谓词逻辑的知识表示3.3产生式表示法3.4语义网络表示法3.5框架知识表示法3.6过程知识表示法3.7Petri网模型表示法3.8面向对象的知识表示3.9其它知识表示法,学海无涯,2020/5/29,第3章知识与知识表示赵东晋,3,3.1知识表示概述,知识表示(KnowledgeRepresentation),即把知识用计算机可接受的符号并以某种形式描述出来。诸如图表结构、语法树、规则匹配模式、树形或网状表达等。简言之,知识表示就是知识的符号化过程。即把相关问题的知识加以形式化描述,表示成为便于机器(计算机)存储、管理和调用的某种数据结构模式。,2020/5/29,第3章知识与知识表示赵东晋,4,3.1知识表示概述,目前,人工智能的知识表示方法已有几十种之多。主要有:谓词逻辑表示法、语义网络表示法、框架表示法、过程表示法、Petri网表示法、与/或图表示、状态空间表示法和人工神经元网络(ANN)表示法等。我们将结合智能技术具体应用,在后面各章予以具体介绍和分析。总之,人们可以根据领域知识的特点选择一种最合适的方法将知识充分表达出来,也可以依据领域的复杂程度,把若干技术结合起来,以形成一种功能强大的系统,高效率地求解智能问题。,2020/5/29,第3章知识与知识表示赵东晋,5,3.1知识表示概述,3.1.1什么是知识3.1.2知识的特性3.1.3知识的分类3.1.4知识映射原理,2020/5/29,第3章知识与知识表示赵东晋,6,3.1知识表示概述,3.1.1什么是知识知识是人类世界特有的概念。它是人类对客观世界一种较为准确、全面的认识和理解的结晶。知识只有相对正确的特性。例如直到1543年哥白尼学说问世之前,人们一直认为地球是宇宙的核心;再有:人们都知道一个关于“瞎子摸象”的故事,它通俗地说明了正确完整的知识形成是一个复杂的智能过程。通常人们获取知识的重要手段是:利用信息,把各种信息提炼、概括并关联在一起,就形成了知识。而利用信息关联构成知识的形式有多种多样。,2020/5/29,第3章知识与知识表示赵东晋,7,2020/5/29,第3章知识与知识表示赵东晋,8,3.1知识表示概述,六个瞎子来到国王的宫殿,第一次遇见一头大象。第一个瞎子摸到象肚子:多么光滑啊,象就像一座墙!第二个瞎子摸到象鼻子:圆圆的,像一条蛇!第三个瞎子伸出手摸到象牙:尖尖的,象像矛!第四个瞎子伸手摸到象腿:好高啊,象像一棵树!第五个瞎子伸手摸到象的耳朵:好宽!象像一把扇子!第六个瞎子摸到象的尾巴:好细,象像一根绳子!,“瞎子摸象”的故事,2020/5/29,第3章知识与知识表示赵东晋,9,3.1知识表示概述,3.1.1什么是知识最常用的且便于计算机利用的一种表达形式为:“如果,那么”或“如果,则”例如,如果教会机器人一些知识,那么它就能替人干更多的事情;如果发现太阳黑子增多,那么就预示地球气候会发生反常;如果敌进,则我退;如果敌疲,则我打;如果大雁南飞,那么就预示着冬天临近。,2020/5/29,第3章知识与知识表示赵东晋,10,3.1知识表示概述,3.1.2知识的特性1.知识的相对正确性常言道:实践出真知。知识源于人们生活、学习与工作的实践,知识是人们在信息社会中各种实践经验的汇集、智慧的概括与积累。知识来自于人们对客观世界运动规律的正确认识,是从感性认识上升成为理性认识的高级思维劳动过程的结晶,故相应于一定的客观环境与条件下,知识无疑是正确的。然而当客观环境与条件发生改变时,知识的正确性就要接受检验,必要时就要对原来的认识加以修正或补充,以至全部更新而取而代之。例如,计算式1+1=10是正确的吗?再如,在一般的工程计算中,使用牛顿力学运动定律,足以满足一般精度要求而且很方便;但在接近光速的运行检测或进行核加速器中的粒子计算时,就必须以量子力学和相对论为依据来考察了。,2020/5/29,第3章知识与知识表示赵东晋,11,3.1知识表示概述,3.1.2知识的特性2.知识的确定与不确定特征:如前所述,知识由若干信息关联的结构组成。但是,其中有的信息是精确的,有的信息却是不精确的。这样,则由该信息结构形成的知识也有了确定或不确定的特征。例如,在我国中南地区,根据天上出现彩虹的方向及其位置,可以预示天气的变化。有谚语曰:“东边日(晴天),西边雨。”但是,这只是一种常识性的经验,并不能完全肯定或否定。再如:甲有一头秀发,乙是两鬓如霜。您认为甲一定是青年人,乙就是老年人吗?不能完全肯定,因为相反的事例是很多的。比如,当年的白毛女并不是老人,而现在六十多岁的演员有一头黑发并不足奇。,2020/5/29,第3章知识与知识表示赵东晋,12,3.1知识表示概述,3.1.2知识的特性造成知识具有不确定性的因素是多方面的。诸如:证据不足、地域时区不同、各种变化因素及现实世界的复杂性,造成客观后果及其知识的不确定性;生活中,模糊性概念及模糊关系比比皆是,形成了知识的不确定性;概率事件发生常常不可避免,一般都具有随机不确定性的规律;经验性及各种不完备的积累过程,导致相关知识的不确定性等。尽管不确定性知识给人们带来了一些迷惑,但它反映了客观世界的多样性、丰富性和复杂性。,2020/5/29,第3章知识与知识表示赵东晋,13,3.1知识表示概述,3.1.2知识的特性3.知识的可利用性和可发展性为了使知识便于传播、学习,使有用的知识得以延续、继承与发展,人们不断地创造了各种生动活泼的形式来记录、描述、表示和利用知识。诸如采用语言、文字,使用书籍,结合文学、戏剧、绘画、摄影等艺术以及电影、电视、多媒体等手段,进行知识的演播、学习与欣赏等。事实上,人类的历史,就是不断地积累知识和利用知识创造文明的历史。在人类的发展史中,知识的可利用性与可发展性是不言而喻的。知识的可利用性使得计算机或智能机器能利用知识成为现实;而知识的机器可学习、可表示性使得人工智能不断得以进步与发展成为必然。伴随着人类社会迈入信息时代,人类知识也进入了大发展时期。一方面在淘汰旧的、老的、无用的知识,另一方面新观念、新思想、新知识不断地被大量地挖掘涌现出来。目前,知识的更新和知识的总量,正以前所未有的速率迅速地增长。大力发展智能科学技术,努力开发人类知识宝库,发展新一代智力工具,这正是作为新时代智能科学工作者的光荣历史使命。,2020/5/29,第3章知识与知识表示赵东晋,14,3.1知识表示概述,3.1.3知识的分类按照机器定理证明过程,可把先后要使用到的知识划分为三类。即事实性知识;过程性知识;控制性知识。1.事实性知识:关于问题领域的性质及求解目标、求解环境及其已知条件、相关特性等方面的静态知识。事实性知识一般采用直接表示形式,用以记叙及描述有关的概念、事实、事物的状态及属性等。,2020/5/29,第3章知识与知识表示赵东晋,15,3.1知识表示概述,3.1.3知识的分类2.过程性知识:指那些能依据一定的规则,推导出相关的结论与目标的规律性知识和能够实施匹配的序列操作性知识。一般来说,过程性知识用以描述做某事的过程,是由问题领域内的相关规则、定律、定理及经验等要素构成的知识。例如,若信道畅通,请发绿色信号;如果异常时,请按红色信号开关。“松花蛋制作法”。3.控制性知识:一种用于取舍问题的求解策略,控制信息实施方法,决定推理路线的选取原则等方面知识。一般来说,控制性知识是关于如何运用相关知识的知识,又称为元知识。例如,为了使一组机器人能协同完成某项任务,既要有监控他们相互配合情况的有关知识,还要有协调他们分工合作的决策性知识等。,2020/5/29,第3章知识与知识表示赵东晋,16,3.1知识表示概述,3.1.3知识的分类知识还有其它的分类方法:按照知识结构和表现特点来划分,可分为逻辑性知识,和形象性知识;根据知识的确定性与不确定性来分,知识可分为确定性知识和不确定性知识;依据知识的作用范围划分,知识可分为常识性知识,专业知识或领域性知识等。,2020/5/29,第3章知识与知识表示赵东晋,17,3.1.4知识表示及其映射原理,一个智能机器系统如同智能生物一样,在运用知识进行信息交流或智能问题求解时,都需要预先进行知识表示。进而实现知识调用,达到利用知识求解问题目的。因而知识表示是知识信息处理系统中必不可少的关键环节。对智能机器系统而言,知识表示,实际上就是对知识的一种描述或约定。其本质,就是采用某种技术模式,把所要求解问题的相关知识,映射为一种便于找到该问题解的数据结构。对知识进行表示的过程,实质上就是把相关知识映射(或称为变换:Transformation;或称为映像:Mapping;或称为编码:Coded.)为该数据结构的过程。,2020/5/29,第3章知识与知识表示赵东晋,18,3.1.4知识表示及其映射原理,知识表示及其映射原理,如图3-1加以示意说明。,原始解答,原始问题,同态问题,同态解答,T,T-1,困难,容易,同构问题,同构映射,如图:其目标是要对复杂的智能型问题实现机器求解。但机器直接对原始问题求解,难度很大;可采用知识表示的映射原理,把原始问题映射为它的一种同构或同态问题,然后再对同构或同态问题求出它的解答,则相对容易而方便。顺便指出:同构解答与原始问题有相同的形式解;而对于同态问题,如要得到原始解,只需对同态解答再施行反运算(T-1)即可。在自然科学实际应用研究中,利用映射(称为变换)原理迂回求解的思想,是一种非常有效而广为使用的重要手段。,2020/5/29,第3章知识与知识表示赵东晋,19,3.2谓词逻辑的知识表示,知识的谓词逻辑表示符合人的思维习惯,可读性好,逻辑关系表达简便。使用谓词逻辑既便于表达概念、状态、属性等事实性知识,又能方便地采用谓词公式的表达形式,进行各种智能行为的过程性描述与演绎推理。下面我们结合实例的描述,以便逐渐掌握谓词逻辑的知识表示技术。,3.2.1用谓词逻辑和公式表达各种意境,使用谓词逻辑和公式表达各种意境,首先应抓住一般自然语言主语、谓语结构特点,再依据谓词逻辑公式关于意境描述及连接词、量词这些关联信息进行综合分析,逐步形成关于意境描述的真实生动完整表达。,2020/5/29,第3章知识与知识表示赵东晋,20,3.2.1用谓词逻辑和公式表达各种意境,例3-1请分析下面的命题和谓词逻辑,并尽可能正确地表述它的含义:在草原上歌唱(美貌姑娘)蓝的(天)飘(白云)吃草(牛羊)飞翔(百鸟);(彐x)好姑娘(x)居住的地方(z,x)遥远的(z)(y)人(y)行走经过(y,z)回头留恋地张望(y).,3.2谓词逻辑的知识表示,2020/5/29,第3章知识与知识表示赵东晋,21,3.2.1用谓词逻辑和公式表达各种意境,例3-1请分析下面的命题和谓词逻辑,并尽可能正确地表述它的含义:在草原上歌唱(美貌姑娘)蓝的(天)飘(白云)吃草(牛羊)飞翔(百鸟);解:这是由“合取”符连接起来并已命题化的一元谓词逻辑公式。从字面上来看,它表达了一种美丽的自然景观:草原上,蓝蓝的天,白云飘飘,鸟儿在飞翔。有一位美貌的姑娘,一边在放牧牛羊,一边在放声歌唱,3.2谓词逻辑的知识表示,2020/5/29,第3章知识与知识表示赵东晋,22,3.2.1用谓词逻辑和公式表达各种意境,例3-1请分析下面的命题和谓词逻辑,并尽可能正确地表述它的含义:(彐x)好姑娘(x)居住的地方(z,x)遥远的(z)(y)人(y)行走经过(y,z)回头留恋地张望(y).解:这是一个既有谓词表示,又有命题逻辑表达;既有连接词,又有全称量词和存在量词的较复杂的谓词公式。字面上看,使人立刻联想到王洛宾的那首在那遥远的地方的民歌,一种生动的意境描述:在那遥远的地方,有位好姑娘,人们走过她的身旁,都要回头留恋地张望。,3.2谓词逻辑的知识表示,2020/5/29,第3章知识与知识表示赵东晋,23,3.2.2用谓词逻辑表示知识单元,依据事物名称或关键词,可把知识库划分为知识单元结构,使用谓词逻辑进行知识单元描述表示。例3-2设有若干记录:阿亮的职业是编辑;阿亮给阿铃送去了玫瑰花;阿铃是一名护士;阿亮住址在长江大道1151号;阿铃住址在淮海路947号。请用谓词逻辑(中或英文)表示上述各条记录,并分成必要的知识单元。解:首先定义谓词,并注意直接用常量替代谓词变元,使其命题化。,3.2谓词逻辑的知识表示,3.2.2用谓词逻辑表示知识单元,解:则得:OCCUPATION(aliang,staffer);GIVE(aliang,aling,rose);OCCUPATION(aling,nurse);ADDRESS(aliang,1151-changjiang-st);ADDRESS(aling,947-huaihai-rd).可以把主要的个体常量作为关键词来划分知识单元。例如aliang,aling,rose等。aliang:OCCUPATION(aliang,staffer);GIVE(aliang,aling,rose);ADDRESS(aliang,1151-changjiang-st);aling:GIVE(aliang,aling,rose);OCCUPATION(aling,nurse);ADDRESS(aling,947-huaihai-rd);rose:GIVE(aliang,aling,rose)。关键词aliang集中表示了关于阿亮的具体情况,尤其阿亮具有的性格特点喜欢给女孩子献殷勤,送花买礼物等;而关键词rose表现了玫瑰花被传递的情况。,2020/5/29,第3章知识与知识表示赵东晋,25,3.2.3用谓词逻辑描述智能行为过程的求解,用谓词逻辑描述智能行为过程,关键在于恰当定义谓词及连接,首先定义谓词并给出每个谓词的确切含义;其次,注意个体域和量词辖域的约束与划定;然后,根据意境逻辑,利用连接词、量词把这些谓词关联起来。形成谓词逻辑描述。例2-5如图示,设在一个含有凹室(alcove)的房间内,有桌子A和书架B,一个机器人(robot)和一叠书(book)。现在要求机器人(robot)从凹室出发,把桌子A上的书搬到B处书架上,完成任务后回到凹室。请用谓词逻辑描述机器人完成这一工作的全过程。,2020/5/29,第3章知识与知识表示赵东晋,26,3.2.3用谓词逻辑描述智能行为过程的求解,图2-2让机器人完成搬书的任务,2020/5/29,第3章知识与知识表示赵东晋,27,3.2.3用谓词逻辑描述智能行为过程的求解,解:为了能够描述这个机器人世界的有关环境和状态变迁,要求必须先定义谓词。注意这里需要定义两类谓词:一类用来描述环境状态,另一类谓词用来表示机器人的操作。首先定义描述环境状态的谓词。TABLE(x):x是桌子,个体域:xa;BOOKCASE(z):z是书架,个体域:zb;EMPTY(y):y手中是空的,个体域:yrobot;HOLDS(y,u):y手中拿着u,个体域:ubooks;AT(y,w):y在w处,个体域:wa,b,alcove;ON(u,x):u被放在x之上;CLEAR(v):v上(中)是空的,va,b.,2020/5/29,第3章知识与知识表示赵东晋,28,3.2.3用谓词逻辑描述智能行为过程的求解,解:使用谓词以及连接词、量词等来表示环境状态。这样,问题的初始状态可表示为:S0:AT(robot,alcove)EMPTY(robot)ON(books,a)CLEAR(b)TABLE(a)BOOKCASE(b)要求达到的目标状态为:Sg:AT(robot,alcove)EMPTY(robot)ON(books,b)CLEAR(a)TABLE(a)BOOKCASE(b),2020/5/29,第3章知识与知识表示赵东晋,29,3.2.3用谓词逻辑描述智能行为过程的求解,解:从初始状态到达目标状态的变迁,必须由机器人一步一步地执行相应的操作序列,得以逐步实现。因此,必须要定义操作类谓词。仔细加以分析,必要的操作谓词共有三类。GOTO(x,w):机器人从x走到w处;PICK-UP(x):机器人在x处拿起书;SET-DOWN(w):机器人在w处放下书。一般说来,如果定义谓词太多,将造成信息冗余,增加了问题的复杂度;如果定义谓词太少,就不够用。因此,定义的谓词性质与数量要合适。,2020/5/29,第3章知识与知识表示赵东晋,30,3.2.3用谓词逻辑描述智能行为过程的求解,解:按照行动规划,仔细选择操作,一步步进行状态替换,直到达到目标状态。即要求把状态变迁过程和操作序列记录下来,来描述问题解。下面写出该过程的最优路径:AT(robot,alcove)EMPTY(robot)ON(books,a)CLEAR(b)TABLE(a)BOOKCASE(b),AT(robot,a)EMPTY(robot)ON(books,a)CLEAR(b)TABLE(a)BOOKCASE(b),AT(robot,a)HOLDS(robot,books)CLEAR(a)CLEAR(b)TABLE(a)BOOKCASE(b),GOTO(alcove,a),PICK-UP(a),2020/5/29,第3章知识与知识表示赵东晋,31,3.2.3用谓词逻辑描述智能行为过程的求解,解:AT(robot,a)HOLDS(robot,books)CLEAR(a)CLEAR(b)TABLE(a)BOOKCASE(b),AT(robot,b)HOLDS(robot,books)CLEAR(a)CLEAR(b)TABLE(a)BOOKCASE(b),AT(robot,b)EMPTY(robot)ON(books,b)CLEAR(a)TABLE(a)BOOKCASE(b),AT(robot,alcove)EMPTY(robot)ON(books,b)CLEAR(a)TABLE(a)BOOKCASE(b)(解毕),GOTO(b,alcove),GOTO(a,b),SET-DOWN(b),2020/5/29,第3章知识与知识表示赵东晋,32,3.2.3用谓词逻辑描述智能行为过程的求解,解:这样,得到目标为AT(robot,alcove)EMPTY(robot)ON(books,b)CLEAR(a)TABLE(a)BOOKCASE(b)这里顺便指出,若机器人智商不高,这个任务过程会产生许多冗余。比如,机器人拿着书,找不到b处,无所适从而又扛回来了;或者等。可见,实际的机器人智能控制要更加复杂得多,虽然有时也很有趣。,2020/5/29,第3章知识与知识表示赵东晋,33,3.2.4谓词逻辑知识表示特性,谓词逻辑是一种传统经典也是最基本的形式化方法。谓词逻辑知识表示:规范性严,逻辑性强,自然性好,推理过程严密,易于实现。这些优良特性使得谓词逻辑最早用于人工智能机器定理证明,并获得了成功。但是,必须看到,谓词逻辑属于标准的二值(T与F)逻辑,难以直接进行不确定性问题的处理;对于复杂系统的求解问题,容易陷入冗长演绎推理中,常常不可避免地带来求解效率低,甚至产生“组合爆炸”问题。因此,针对谓词逻辑,尚待人们不断加以改进,以便寻求自然性好而效率更高的技术方法。,2020/5/29,第3章知识与知识表示赵东晋,34,3.4语义网络表示法,语义网络是人工智能常用的知识表示法之一。它作为人类联想记忆的一个显示心理学模型,是由J.R.Quillian于1968年在他的博士论文中首先提出,并用于自然语言处理。随后,在二十世纪七十年代,Simon,Winston,Hendrix等人分别都对语义网络的应用与发展做出了贡献。3.4.1语义网络知识表示3.4.1.1语义网络的概念语义网络结构共使用了三种图形符号:框、带箭头及文字标识的线条和文字标识线。分别称为:节(结)点;弧(又叫做边或支路);指针。,2020/5/29,第3章知识与知识表示赵东晋,35,3.4.1语义网络知识表示,3.4.1.1语义网络的概念节点(Node):也称为结点。用圆形、椭圆、菱形或长方形的框图来表示,用来表示事物的名称、概念、属性、情况、动作、状态等。弧(Arc):这是一种有向弧,又称之为支路(Branch)。节点之间用带箭头及文字标识的有向线条来联结,用以表示事物之间的结构,即语义关系。指针(Pointer):也叫指示器。是在节点或者弧线的旁边,另外附加必要的线条及文字标识,用来对节点、弧线和语义关系作出相宜的补充、解释与说明。可见,语义网络是一种使用概念及其语义关系来表达知识的有向图。,2020/5/29,第3章知识与知识表示赵东晋,36,3.4.1语义网络知识表示,3.4.1.2基本语义关系任何复杂的语义关系,都可以通过许多基本的语义关系予以关联来实现。因此,简单语义关系是构成复杂语义关系的基础。事实上,简单语义关系具有多样性和灵活性,作为参考,我们下面仅对一些最常见的简单语义关系加以讨论。(1)属性关系:表示对象及其属性间的关系。常用属性关系有:HAVE:含义为“有”,表示上层结点具有下层结点所描述的属性值;CAN:含义为“能”或“会”,表示上层结点能够执行下层结点的功能。例如,企鹅是一种有翅膀、会游泳的鸟。其中,“有翅膀”、“会游泳”就分别表示了企鹅所具有及所能够进行的属性关系。,2020/5/29,第3章知识与知识表示赵东晋,37,3.4.1语义网络知识表示,3.4.1.2基本语义关系(2)包含关系:又称为聚类关系,表示了下层概念是上层概念的一个组成部分的关系。与分类关系不同的是包含关系一般不具备属性的继承性。常用的包含关系可表示为:CO(Composed-Of):含义为“由所构成”,表示了某一个(或某些)事物是另一事物的一个组成部分或构成要素.APO(A-Part-Of):含义为“是中的一部分”。例如,“学生、教师、课程都是教学活动的要素”;再如,“门、窗户是房子结构的一部分”分别可用图2-5和图2-6所示的语义网络来表示。,2020/5/29,第3章知识与知识表示赵东晋,38,3.4.1语义网络知识表示,3.4.1.2基本语义关系CO(Composed-Of):含义为“由所构成”.APO(A-Part-Of):含义为“是中的一部分”。,APO,APO,APO,2020/5/29,第3章知识与知识表示赵东晋,39,3.4.1语义网络知识表示,3.4.1.2基本语义关系(3)从属关系:ISA(is-a):含义为“是一个”,表示某事或某物是一个具体的实例。AKO(A-Kind-Of):表示某事物“是之中的一种”,即某类中的一个。AMO(A-Member-Of):表示某物“是之中的一员”,即某类中的一员。,2020/5/29,第3章知识与知识表示赵东晋,40,3.4.1.3复合语义关系,(1)时间空间复合关系:时空复合关系表示了事物或事件发生的时间和位置地点。常用这类关系有:AFTER:含义为“在之后”,表示上层结点事实发生在下层结点所描述的事件之后;或者表示下层结点对象在上层结点对象的位置之后。BEFORE:含义为“在之前”,表示上层结点事实发生在下层结点所描述的事件之前;或者表示下层结点对象在上层结点对象的位置之前。ON:含义为“在之上”,表示下层结点所描述的事物对象位于上层结点的事物之下。AT:含义为“在时刻”或“在地点”,如图2-10所示。此外,相应于多个对象,还可以有比较、相互接近等关系的组合。,2020/5/29,第3章知识与知识表示赵东晋,41,3.4.1.3复合语义关系,(1)时空复合关系:AFTER:BEFORE:ON:AT:(2)复合推论关系:BO(Because-Of:由于)FOR(为了)THEN(就,则)GET(使得,得到),2020/5/29,第3章知识与知识表示赵东晋,42,3.4.1.3复合语义关系,时间,环境,地点,IS,IS,IS,IS,动作,与,(3)复合逻辑关系:NOR(非);AND(与);OR(或)等,2020/5/29,第3章知识与知识表示赵东晋,43,3.4.1.3复合语义关系,IS,某军港,军港之夜静悄悄,海风轻轻吹,有,彐,(3)复合逻辑关系:NOR(非);AND(与);OR(或)等,2020/5/29,第3章知识与知识表示赵东晋,44,3.4.1.3复合语义关系,(3)复合逻辑关系:NOR(非);AND(与);OR(或)等,3.4.2语义网络知识表示特点表现(例),2020/5/29,第3章知识与知识表示赵东晋,46,3.4.3语义网络表示及其求解系统特性,如下图(2-13),表示了语义网络求解系统的组成结构。该系统基于语义网络知识库和语义网络推理机的功能及其调用的基础上,主要使用了两种推理机制:一种是匹配,另一种是继承作用,它们通过语义网络推理规则的控制以及相继交互完成推理过程。,语义网络推理机,语义网络知识库,匹配,继承作用,2020/5/29,第3章知识与知识表示赵东晋,47,3.4.3语义网络表示及其求解系统特性,3.4.3.1匹配(Matching)进行语义网络知识表示系统的匹配推理,首先需要依据求解目标构造目标语义网络模式,使用其中一个与有向弧相连接的结点进行提问;然后按照该目标模式模块结构,在语义网络知识库中寻找与其相符合的模块结构进行匹配,从而推出对应于该问题提问结点的答案.,语义网络推理机,语义网络知识库,匹配,继承作用,3.4.3.1匹配(Matching),例2-7哨兵发现在起风的夜晚有一些响动,针对要求解的问题构造了目标语义网络模式如图(2-14)所示,问题是想要知道在起风的夜晚,军港中海浪到底摇动了什么呢?解:根据目标语义网络模式与给定的事实,可在图2-11语义网络知识求解系统提供的知识库中,寻找对应的模块结构进行匹配。于是就可立即发现:提问结点中所设定的“x”就是被海浪发出的动作“摇动”的对象到底是战舰、战船、浮标还是别的什么呢?,摇动,轻轻地,X,海浪,方式,对象,主体,2020/5/29,第3章知识与知识表示赵东晋,49,3.4.3.2继承,继承是指系统具有这样一种特性:能把事物属性从上层对象结点,传递到下层的具体实例结点上的作用。简言之,继承就是具有承上启下的功能作用。见教材中如图2-15所示:(1)所有动物都具有喜吃食、能运动的属性;(2)鸟(bird)、鱼(fish)分别都是动物的一种,因此,它们也各自继承了动物的这些属性。(3)此外,金鱼是鱼的一种,故金鱼就又继承了fish类动物所具有的会游泳、繁殖、可喂养等属性,并又有可观赏等特点;同理,孔雀继承了鸟的属性,还具有展翼喜欢表现的习性等。,2020/5/29,第3章知识与知识表示赵东晋,50,3.4.3.2继承,2020/5/29,第3章知识与知识表示赵东晋,51,3.4.3.3语义网络知识表示特性,语义网络是一种结构化知识表示方法,具有表达直观,方法灵活,容易掌握和理解的特点。概括起来,主要优点有:(1)采用语义关系的有向图来连接,语义、语法、词语应用兼顾,具有描述生动,表达自然,易于理解等优点。(2)语义网络是一种结构化知识表示方法,易于进行系统模块功能组织与集成,模块功能调用灵活,便于扩充,也易于系统维护中进行功能更新与修改。(3)具有匹配推理和属性继承特性,便于实现机器学习与联想。虽然语义网络知识表示和推理具有较大的灵活性和多样性,但是没有公认严密的形式表达体系,却不可避免地带来了非一致性和程序设计与处理上的复杂性,这也是语义网络知识表示尚待深入研究解决的一个课题。,2020/5/29,第3章知识与知识表示赵东晋,52,3.5框架知识表示法,框架表示法诞生于1975年,这也是一种结构化的知识表示方法,并已在多种系统中得到成功的应用。框架理论是由人工智能科学创始人之一,美国著名的人工智能学者M.L.Minsky(明斯基)提出来的。Minsky在其论文Aframeworkforrepresentingknowledge中认为,框架理论可作为人类理解视觉、自然语言及其它复杂行为的基础。,2020/5/29,第3章知识与知识表示赵东晋,53,3.5框架知识表示法,按照Minsky提出的框架理论,自然界各种事物都可用框架(Frame)组织构成。每个被定义的框架对象分别代表着不同的特殊知识结构,从而可在大脑或计算机中表示、存储并予以认识、理解和处理。框架是一种被用来描述某个对象(诸如一个事物、一个事件或一个概念)属性知识的数据结构。,2020/5/29,第3章知识与知识表示赵东晋,54,3.5框架知识表示法,其次,Minsky等人还针对框架应用提出了一些实用性的问题:1)依据给定的条件,如何选择初始框架;2)为了表现事物关联信息及各部分细节,如何按照框架的数据项赋值;3)当所选用的框架不满足给定的条件时,如何寻找新的框架;4)当找不到合适的框架时,是修改旧的框架还是建立一个新框架等。,2020/5/29,第3章知识与知识表示赵东晋,55,这种知识表示法实际上是一种多层次的数据结构形式。1.具体框架的设计思路:1)依据要表示的问题定义框架名;2)为了表现事物关联信息及各部分细节,框架可包含若干子框架;主框架表示主问题,子框架表示子问题。3)赋以槽号和指针加以连接;4)每一框架还可划分侧面,由侧面名和值加以区分;5)列举数据项与记录值,如相关槽值、侧面值等表示属性和特征。,3.5.1如何建立某个事物的框架,2020/5/29,第3章知识与知识表示赵东晋,56,2.具体框架的设计步骤:(1)框架知识学习。对当前事物或对象进行观察与分析,把要认识的对象与选定的框架知识表示进行比对,完成对象属性及其知识的了解与学习;(2)建立框架模式与概念。依据以往的经验,可在脑海的记忆中勾画出一个粗略的框架模式,予以装配,并给定一个框架名表示其概念;(3)框架的资料数值填写。在对该事物有了更加全面深入的了解后,再依据现实情况比照框架体的细节加以替换、修改和补充,按照框架的数据项(所定义的框架槽名和框架的侧面名)的要求,完成相关对象属性及其知识等资料数值的填写,以便逐步形成一个完整而具体的框架结构。,3.5.1如何建立某个事物的框架,2020/5/29,第3章知识与知识表示赵东晋,57,3.框架设计举例:相对于简单的问题描述,框架可退化为一张数据表格结构。例如关于人物的知识,可设计为如下一张简单表格:S.NO1.姓名性别年龄民族职业工作单位兴趣与爱好NXS.NO2.最喜欢的颜色个性最动容的事最厌恶的事座右铭通过几项调查,就可以把关于某个人物的知识情况等,了解得清清楚楚。,3.5.1如何建立某个事物的框架,2020/5/29,第3章知识与知识表示赵东晋,58,3.5.1如何建立某个事物的框架,比如,当某人第一次听说有一种叫犀牛的动物,虽然他当时还从没看到过犀牛,但他很自然按照经验,首先比照脑海中耕牛的“框架”形象来想象犀牛:个头大,有皮毛,是哺乳动物并有蹄子,头上长角等。当然,要建立一个具体的、如同“犀牛”那样一个生动而真实的框架结构,还需要对犀牛进行实际细微的观察,并比照框架体的细节不断地加以替换、修改和补充,最后才能获得关于“犀牛”的完善框架结构。,2020/5/29,第3章知识与知识表示赵东晋,59,3.5.2框架的知识表示模式举例,下面是一个关于“大学教师”的框架设计模式。框架名:大学教师姓名:单位(姓,名)年龄:单位(岁)性别:范围((男,女)缺省:男)学历:范围(学士,硕士,博士)职称:范围((教授,副教授,讲师,助教)缺省:讲师)部门:范围(学院(或系、处)住址:住址框架工资:工资框架参加工作时间:单位(年,月)健康状况:范围(健康,一般,较差)其它:范围(个人家庭框架,个人经济状况框架)上述框架共有十一个槽,分别描述了关于“大学教师”的十一个方面的知识及其属性。在每个槽里都指定了一些说明性的信息,表明了相关槽的值的填写要有某些限制。,2020/5/29,第3章知识与知识表示赵东晋,60,3.5.2框架的知识表示模式举例,例如把某教师周伯通的一组信息填入“大学教师”框架的各个槽,可得:框架名:大学教师-12姓名:周伯通年龄:29性别:男学历:博士职称:副教授部门:计算机科学与工程学院住址:adr-12工资:sal-12参加工作时间:2004,9健康状况:健康其它:个人家庭-12这就是关于周伯通老师实际事例的一个框架,实际上,描述每位教师(设其序号为x)的情况都应该有类似这样的一个框架模式。其框架名为“大学教师-x”,要了解其它状况还需要查阅adr-x、sal-x、个人家庭-x等。,2020/5/29,第3章知识与知识表示赵东晋,61,3.5.3框架知识表示特性,框架知识表示也是一种结构化知识表示方法。具体简述如下:(1)结构化的知识表示。框架结构表现了人类经验和抽象思维的特性,每个框架就是一个独立的知识单元,形成了一个相对独立的知识模块。因此,框架法具有模块化表达的特点:有直观、自然,描述层次简洁,易于扩充、修改等优点。(2)可使用模式匹配的推理。框架表示法发挥了人、机都可采用的模式匹配的经验手段来模拟推理,巧妙地利用了人、机都可以进行细微比较的智能。又可以按照框架的多方面多层次分别进行模式匹配,便于控制推理过程的精度和效率。(3)支持上、下层框架属性知识表达的继承。框架表示法支持上层框架概念抽象和下层框架信息继承共享的思想,不仅减少了框架信息和属性知识表达的冗余,而且保证了上、下层框架知识表达的一致性。主要缺点:框架表示法过于死板,难以描述诸如机器人纠纷等类问题的动态交互过程生动性。,2020/5/29,第3章知识与知识表示赵东晋,62,3.6过程知识表示法,所谓过程表示法,就是把问题求解的总目标划分为一个个过程(Procedure)目标,再结合知识利用环节确定为若干操作步骤,表示为一个个过程。每一个过程就是一段程序,用于完成对一个具体事件或情况的处理。在问题求解中,当需要使用某个过程时,就调用相应的程序并执行之。这样,问题的求解与推理,就转换成为一个又一个过程的程序组织与调用了。简言之,依据问题的求解目标,按照事物的发展过程规律,用相关知识加以设计和描述其求解过程的方法,称之为过程表示法。对比前述各种非过程表示法,往往只从个体动作自身行为的独立作用和影响出发,注重于个体环境的静态描述。而过程表示法把问题相关领域的知识、信息及控制策略等,均隐含表示为一个或多个求解问题的过程,并着重于动态过程的描述;具体描述其控制行为所导致的一系列状态变迁,关注的是某个对象发出的若干个连续操作而导致的过程目标。,3.6.1什么是过程知识表示法?,2020/5/29,第3章知识与知识表示赵东晋,63,3.6.2使用过程表示法求解九宫问题,这里以九宫问题(又叫做八数码难题)求解过程状态的描述为例,来说明过程表示法的求解方法及其推理形式。例2-8如图示,可用X0X8来标记问题中的九个小方格的对应位置,如图(b)为问题的目标状态Sg。其中,数字18是对应棋子的名称,中间的小方格是可供移动的空位。求解从任意初始状态到达目标状态的解路径。,a),b)Sg,3.6.2使用过程表示法求解九宫问题,解:依据九宫问题要达到的目标状态来分析,针对任何一个初始状态So,设法使棋子一步步移动空位而逐渐逼近最终目标。因此,可按如下步骤来求解:步1,首先检查棋盘布局,若SoSg,则检查X1处棋子是否为数码1。是,则转步3;否则任意移动棋牌,使棋子1和空格均不在X3位置上。步2,按照图3-17(a)所示的环形箭头逆时针(或顺时针)方向移动空格,并依次移动棋牌,直到棋子1位于X1位置,空格位于X8位置时为止。,a),b),c),3.6.2使用过程表示法求解九宫问题,解:步3,保持X1=1不动,按照图3-17(b)所示的箭头方向(或相反方向)移动棋子和空格,直到数码2位于X2位置,空格位于X0位置时为止。若这时刚好数码3在X3位置上,则转第7步。步4,按照图3-17(c)所示环形的逆时针(或顺时针)方向移动空格,并依次移动棋牌,直到数码3位于X0位置,空格位于X8位置时为止。经过以上4步,得到的状态如图3-18(a)所示。其中“”表示除空格以外的其它任何棋子。,a),b),c),3.6.2使用过程表示法求解九宫问题,解:步5,按照图3-17(d)所示的环形顺时针方向移动空格,并依次移动棋牌,直到空格到X0为止。此时状态如图3-18(c)所示。步6,按照图3-17(e)所示的环形方向移动空格,并依次移动棋牌,直到空格又回到X8为止。此时状态如图3.18(b)所示。步7,按照图3-17(c)所示的环形方向,依次移动棋牌和空格,直到数码4位于X4位置,空格位于X0位置。若这时数码5刚好位于X5位置上,则转第11步。步8,按照图3-17(g)所示的环形方向移动空格,并依次移动棋牌,直到数码5位于X0,空格位于X8位置时为止。,(d),(e),(g),2020/5/29,第3章知识与知识表示赵东晋,67,3.6.2使用过程表示法求解九宫问题,解:步9,依次移动棋牌,使得空格位置按照图3-17(f)所示的环形方向移动空格,并依次移动棋牌,直到空格位于X4位置时为止。这时,使数码5插入X4位置,再使X6位置数码插入X0位置,则空格位于X6位置,如图3-19(9)所示。步10,按照图3-17(f)所示的环形方向移动空格,并依次移动棋牌,直到状态如图3-19(10)所示。步11,按照图3-17(g)所示的环形方向移动空格,并依次移动棋牌,直到状态如图3-19(11)_Sg1的目标状态,则问题得解;否则可得到图3-19(11)_Sg2所示,说明了所给初始状态达不到所要求的目标状态。,(f),(g),2020/5/29,第3章知识与知识表示赵东晋,68,3.6.2使用过程表示法求解九宫问题,解:,9),10),11),12),1),2),3),4),5),6),7),8),2020/5/29,第3章知识与知识表示赵东晋,69,3.6.2使用过程表示法求解九宫问题,这里以具体的九宫八数码难题求解过程状态的描述为例,来说明过程表示法的求解方法及其推理形式。例2-8如图示,可用X0X8来标记问题中的九个小方格的对应位置,如图(b)、(c)分别为问题的两种目标状态Sg1和Sg2。其中,数字18是对应棋子的名称,中间的小方格是可供移动的空位。求解从任意初始状态到达目标状态的解路径。,a),b)Sg1,c)Sg2,3.6.2使用过程表示法求解九宫问题,(1)使X3处的X1,也不为空格;若X1=1则转(3)。,X,(2),(3),(3)保持X1=1不动,按图方向移动棋子和空格,直到数码2位于X2位置,空格位于X0位置时为止。检查是否X3=3,是则转(7)。,1,(3),(1),(4),1,2,X,(4),(5),(5),(6),(6),1,2,3,(7),(7),(8),(7)按图示方向移动棋子和空格,直到数码4位于X4位置,空格位于X8位置时为止。检查是否X5=5,是则转(11)。,(8),(9),3.6.2使用过程表示法求解九宫问题,X,(2),(3),1,(3),(1),(4),1,2,X,(4),(5),(5),(6),(6),1,2,3,(7),(7),(8),(9),(9),(9),(10),(10),(11),Sg1或Sg2,2020/5/29,第3章知识与知识表示赵东晋,72,3.6.2使用过程表示法求解九宫问题,解:上图(3-19)给出了应用以上过程求解一个具体的九宫问题实例状态的描述,其中,图中(1)(11),分别对应了以上第111步的步骤过程结束时所达到的路径状态;(12)则是另一目标状态。从图3-19可以看出,尽管这样得到的解的路径不一定是最佳的,但是,按这样一种过程表示法所编写的计算机程序,恰恰具有非常高的求解效率。,a),b),c),2020/5/29,第3章知识与知识表示赵东晋,73,3.6.3过程表示法的特点,过程表示法针对问题的求解目标,遵循事物进展过程的规律求解。因而目标明确,易于实现,效率较高,但维护性有待提高。其特性如下:(1)目标明确。过程表示法把问题求解的总目标划分为若干确定的过程目标与操作步骤,使问题求解始终瞄准总目标进行,不会偏离方向。(2)易于实现。过程表示法着重于表现事物变化动态过程的描述,针对问题的求解目标而设计操作步骤,符合事物发展变化规律,易于人们理解。同时,求解中将其控制性知识融入了系统过程,故控制系统就可以按照过程来规划,便于程序的设计与实现,也便于保证过程操作中具有较好的可测试性,这对于系统的顺利实现也是有利的。,2020/5/29,第3章知识与知识表示赵东晋,74,3.6.3过程表示法的特点,(3)效率较高。使用过程表示知识,而过程就是程序。程序能够准确而清楚地表明过程先做什么,后做什么以及怎样做。用户可直接将启发信息和必要的控制性知识嵌入到过程中,避免了不必要的路径选择与跟踪,使问题的求解一步步逼近最终目标,因而提高了系统的运行效率。(4)局限性可维护性有待提高。其主要不足之处是:系统一旦确立,则不易修改及添加新的情况。原因是当我们要对某一过程进行修改时,有可能影响到其它的过程,这给系统的扩展和维护带来了诸多不便。由于过程表示法对问题的描述没有固定的模式,要依据具体问题具体分析来设计与决策。为了进一步提高系统的可解释性和可维护性,该方法进一步发展趋势是:需要探讨一种把说明性与过程性相结合的知识表示方法。,2020/5/29,第3章知识与知识表示赵东晋,75,3.7Petri网模型表示法,1962年,德国学者CahAbamPetri在其博士论文“CommunicationwithAutomata”中首次提出了Petri网模型的概念。目前,Petri网已经发展成为一种数学及图形的系统描述工具,可用来构造系统模型,进行系统动态特性分析。因此,可用Petri网模型指导系统开发,表达智能问题的求解,并依据求解结果来评价、验证或进一步修改系统模型。,2020/5/29,第3章知识与知识表示赵东晋,76,3.7Petri网模型表示法,依据Petri网知识表示法的思想,可定义若干元素构成一种多元组模型,来表示任何有限状态的智能系统。不同系统,其定义的元素意义及数目可有所不同。三种基本元素:位置集P(PlaceSet)、转换集T(TransitionSet)及标记集M(MarkerSet或TokenSet)从而可用一个三元组模型来表示它们之间的关系:即S=(P,T,M)并可用如图3-20所示的有向图来加以描述。,3.7.1Petri网表示知识的方法,mi,mj,Pitipj,2020/5/29,第3章知识与知识表示赵东晋,77,图中,pi能和pj分别表示位置
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
评论
0/150
提交评论