《人工智能原理》第四章-知识表示课件.pptx
《《人工智能原理》第四章-知识表示课件.pptx》由会员分享,可在线阅读,更多相关《《人工智能原理》第四章-知识表示课件.pptx(105页珍藏版)》请在三一办公上搜索。
1、感谢你的观看,第四章 知识表示,概述表示方法,1,2019年6月19,感谢你的观看,第四章 知识表示方法,概述表示方法,2,2019年6月19,感谢你的观看,概述,人工智能研究中最基本的问题之一在知识处理中总要问到:“如何表示知识?”,“知识是用什么来表示的?”。怎样使机器能懂,能对之进行处理,并能以一种人类能理解的方式将处理结果告诉人们。在AI系统中,给出一个清晰简洁的描述是很困难的。有研究报道认为。严格地说AI对知识表示的认真、系统的研究才刚刚开始。,3,2019年6月19,感谢你的观看,概述,知识的定义(难以给出明确的定义只能从不同侧面加以理解)Feigenbaum:知识是经过消减、塑造
2、、解释和转换 的信息。Bernstein:知识是由特定领域的描述、关系和过程 组成的。Hayes-roth:知识是事实、信念和启发式规则。知识库的观点:知识是某领域中所涉及的各有关方 面的一种符号表示。,4,2019年6月19,感谢你的观看,概述,知识的种类事实性知识:采用直接表示的形式如:凡是猴子都有尾巴过程性知识:描述做某件事的过程如:电视维修法行为性知识:不直接给出事实本身,只给出它在某方面的行为如:微分方程、(事物的内涵).,5,2019年6月19,感谢你的观看,概述,知识的种类.实例性知识:只给出一些实例,知识藏在实例中。类比性知识:即不给出外延,也不给出内涵,只给出它与其它事物的某
3、些相似之处 如:比喻、谜语 元知识:有关知识的知识。最重要的元知识是如何使用知识的知识,如何从知识库中找到想要的知识。,6,2019年6月19,感谢你的观看,概述,知识的要素事实:事物的分类、属性、事物间关系、科学事实、客观事实等。(最低层的知识)规则:事物的行动、动作和联系的因果关系知识。(启发式规则)。控制:当有多个动作同时被激活时,选择哪一个动作来执行的知识。(技巧性)元知识:高层知识。怎样实用规则、解释规则、校验规则、解释程序结构等知识。,7,2019年6月19,感谢你的观看,概述,知识表示的定义知识表示研究用机器表示知识的可行性、有效性的一般方法。知识表示是理智推理的部分理论。知识表
4、示是有效计算的载体知识表示是交流的媒介(如语义网络),8,2019年6月19,感谢你的观看,概述,选取知识表示的因素表示范围是否广泛是否适于推理是否适于计算机处理是否有高效的算法能否表示不精确知识能否模块化总之,知识和元知识能否用统一 的形式表示是否加入启发信息过程性表示还是说明性表示表示方法是否自然,9,2019年6月19,感谢你的观看,概述,选取知识表示的因素.总之,人工智能问题的求解是以知识表示为基础的。如何将已获得的有关知识以计算机内部代码形式加以合理地描述、存储、有效地利用便是表示应解决的问题。,10,2019年6月19,感谢你的观看,概述,研究内容表示观的研究:认识论、本体论、知识
5、工程表示方法的研究:直接法、代替法(局部、分布,.),11,2019年6月19,感谢你的观看,概述,知识表示研究的特点智能行为特有的灵活性。“常识问题”不能概括为一类简洁的理论,是大量小理论的集合。AI的任务受到计算装置的约束。这导致了所采用的“表示”必须同时满足“刻画智能现象”与“计算装置可以接受”,这两个有时是矛盾的条件。,12,2019年6月19,感谢你的观看,第四章 知识表示方法,概述表示方法,13,2019年6月19,感谢你的观看,第四章 知识表示方法,概述表示方法,14,2019年6月19,感谢你的观看,表示方法,概述直接表示逻辑表示产生式规则表示法语义网络表示法,框架表示法脚本方
6、法过程表示混合型知识表示方法面向对象的表示方法,15,2019年6月19,感谢你的观看,表示方法 概述,表示方法可以分成2类替代表示法局部表示类:最充分也是正统AI最经常使用的分布表示法:对局部表示法在智能行为表述尚不够充分而作的补充。直接表示法:正在引起越来越多AI研究者的注意。(不可完全独立:考虑到“任何表示方法必须被计算机所接受”这个先决条件,直接表示需要借助局部或部分表示形式。,16,2019年6月19,感谢你的观看,表示方法 概述,表示方法,直接表示,局部表示,分布表示,陈述性表示,过程性表示,语义网络表示,产生式表示,逻辑表示,框架表示,脚本表示,替代表示,17,2019年6月19
7、,感谢你的观看,表示方法,概述直接表示逻辑表示产生式规则表示法语义网络表示法,框架表示法脚本方法过程表示混合型知识表示方法面向对象的表示方法,18,2019年6月19,感谢你的观看,表示方法,概述直接表示逻辑表示产生式规则表示法语义网络表示法,框架表示法脚本方法过程表示混合型知识表示方法面向对象的表示方法,19,2019年6月19,感谢你的观看,表示方法 直接表示,1963年由Gelernter提出的。用于基于传统欧氏几何证明的几何定理证明器。它的输入是对前提和目标的陈述以及图示(图示是用一系列坐标来表示的)。在证明过程中,证明器把图示作为启发式信息,排除在图示中不正确的子目标。从而大大地减少
8、了搜索空间。但.,20,2019年6月19,感谢你的观看,表示方法 直接表示,但,长期以来直接表示没有得到长足发展。原因如下:计算机对直接表示的信息难以处理。直接表示难以表示定量信息(语言设计失败)直接表示不能描述自然世界的全部信息 这两年直接表示有所发展,因为,现在认识到,可以用其它媒体表示的方法去补充直接表示的不足。将被发展成多媒体。引申的研究是临场AI与临境技术。近几年AI对自主智能系统研究(完全机器做人不干预)的失望,导致对建立人机一体智能系统的尝试。这样系统所需环境的要求是直接表示兴起的原因之一。,21,2019年6月19,感谢你的观看,表示方法,概述直接表示逻辑表示产生式规则表示法
9、语义网络表示法,框架表示法脚本方法过程表示混合型知识表示方法面向对象的表示方法,22,2019年6月19,感谢你的观看,表示方法,概述直接表示逻辑表示产生式规则表示法语义网络表示法,框架表示法脚本方法过程表示混合型知识表示方法面向对象的表示方法,23,2019年6月19,感谢你的观看,表示方法 逻辑表示法,一阶谓词逻辑是谓词逻辑中最直观的一种逻辑。它以谓词形式来表示动作的主题、客体。客体可以多个。如:张三与李四打网球(Zhang and Li play tennis),可写为:play(Zhang,Li,tennis)这里谓词是play,动词主体是Zhang和 Li,而客体是tennis。谓词
10、逻辑规范表达式:P(x1,x2,x3,),这里P是谓词,xi是主体与客体。,24,2019年6月19,感谢你的观看,表示方法 逻辑表示法,谓词比命题更加细致地刻画知识:表达能力强如:北京是个城市,City(x)把城市这个概念分割出来。把“城市”与“北京”两个概念连接在一起,而且说明“北京”是“城市”的子概念。(有层)谓词可以代表变化的情况如:City(北京),真。City(煤球),假在不同的知识之间建立联系.,25,2019年6月19,感谢你的观看,表示方法 逻辑表示法,在不同的知识之间建立联系如:Human(x)Lawed(x),人人都受法律管制,x是同一个人。Commit(x)Punish
11、ed(x),x不一定是人也可以是动物。而,Human(x)Lawed(x)commit(x)Punished(x),意为如果由于某个x是人而受法律管制,则这个人犯了罪就一定要受到惩罚。,26,2019年6月19,感谢你的观看,表示方法 逻辑表示法,谓词逻辑法是应用最广的方法之一,其原因是:谓词逻辑与数据库,特别是关系数据库就有密切的关系。在关系数据库中,逻辑代数表达式是谓词表达式之一。因此,如果采用谓词逻辑作为系统的理论背景,则可将数据库系统扩展改造成知识库。一阶谓词逻辑具有完备的逻辑推理算法。如果对逻辑的某些外延扩展后,则可把大部分的知识表达成一阶谓词逻辑的形式。(知识易表达).,27,20
12、19年6月19,感谢你的观看,表示方法 逻辑表示法,谓词逻辑法是应用最广的方法之一,其原因是:.谓词逻辑本身具有比较扎实的数学基础,知识的表达方式决定了系统的主要结构。因此,对知识表达方式的严密科学性要求就比较容易得到满足。这样对形式理论的扩展导致了整个系统框架的发展。逻辑推理是公理集合中演绎而得出结论的过程。由于逻辑及形式系统具有的重要性质,可以保证知识库中新旧知识在逻辑上的一致性(或通过相应的一套处理过程检验)、和所演绎出来的结论的正确性。而其它的表示方法在这点上还不能与其相比。,28,2019年6月19,感谢你的观看,表示方法 逻辑表示法,用逻辑(谓词)表示知识实质上是把人类关于世界的认
13、识变成一个包含个体、函数和谓词的概念化形式。基本步骤:给出有关世界的个体、函数和谓词构造一阶谓词公式(集)对公式(集)给出解释,使该解释是相应公式(集)的一个模型。,29,2019年6月19,感谢你的观看,表示方法 逻辑表示法,为此逻辑表示法在实际人工智能系统上得到应用。,30,2019年6月19,感谢你的观看,逻辑表示例,例:一个房间里,有一机器人Robot,一个积木块Box,两个桌子A和B,怎样用逻辑法描述从初始状态到目标状态的机器人操作过程?先引入谓词:Table(A)表示A是桌子EmptyHanded(Robot)机器人Robot双手空空At(Robot,A)表示机器人Robot在A旁
14、Holds(Robot,Box)机器人Robot拿着BoxOn(Box,A)积木块Box在A上设定初始状态:EmptyHanded(Robot)On(Box,A)Table(A)Table(B)目标状态是:EmptyHanded(Robot)On(Box,B)Table(A)Table(B),31,2019年6月19,感谢你的观看,例(续),机器人的每个操作的结果所引起的状态变化,可用对原状态的增添表和删除表来表示。如机器人有初始状态是把Box从A桌移到B桌上,然后仍回到Alcove,这时同初始状态相比有:增添表 On(Box,B)删除表On(Box,A)又如机器人从初始状态,走近A桌,然后拿
15、起Box。这时同初始状态相比有:增添表At(Robot,A)Holds(Robot,Box)删除表At(Robot,Alcove)EmptyHanded(Robot)On(Box,A)进一步说,机器人的每一操作还需要先决条件。如机器人拿起A桌上的Box这一操作,先决条件:On(Box,A)(Box在A上)At(Robot,A)(机器人在A旁边)EmptyHanded(robot)(机器人手空空),32,2019年6月19,感谢你的观看,例(续),先决条件成立与否的验证可以使用归结法。如将初始状态视作已知条件,而将要验证的先决条件作为结论,便可使用归结法了。归结过程如下:1)At(Robot,A
16、)2)EmptyHanded(Robot)3)On(Box,A)4)Table(A)5)Table(B)6)On(Box,A)At(Robot,A)EmptyHanded(Robot)(先决条件之否定)7)At(Robot,A)EmptyHanded(Robot)3,68)EmptyHanded(Robot)1,7 9)NULL2,8于是验证了先决条件的成立。,33,2019年6月19,感谢你的观看,表示方法 逻辑表示法,存在问题:谓词表示越细,推力越慢、效率越低,但表示清楚。实际中是要折衷的。,34,2019年6月19,感谢你的观看,表示方法,概述直接表示逻辑表示产生式规则表示法语义网络表示
17、法,框架表示法脚本方法过程表示混合型知识表示方法面向对象的表示方法,35,2019年6月19,感谢你的观看,表示方法,概述直接表示逻辑表示产生式规则表示法语义网络表示法,框架表示法脚本方法过程表示混合型知识表示方法面向对象的表示方法,36,2019年6月19,感谢你的观看,表示方法产生式规则表示法,美国数学家Post,1943年提出了一种计算形式体系里所使用的术语。主要是使用类似文法的规则,对符号串做替换运算。这就是最早的一个产生式系统。到了60年代,产生式系统成为认知心理学研究人类心理活动中信息加工过程的基础,由此心理学家认为,人脑对知识的存储就是产生式形式。因此,用它来建立人类认知模型。到
18、目前为止,产生式系统已发展成为人工智能系统中最典型最普遍的一种结构。产生式表示方法是专家系统的第一选择的知识表达方式。,37,2019年6月19,感谢你的观看,表示方法产生式规则表示法,表示形式事实的表示:可看成是断言一个语言变量的值或是多个语言变量间的关系的陈述句,语言变量的值或语言变量间的关系可以是一个词,不一定是数字。例1:香蕉是黄色的。语言变量香蕉,值黄色的 例2:小李喜欢小莉。语言变量小李、小莉,关系值喜欢 一般用三元组(对象,属性,值)或(关系,对象1,对象2)例:(Li,Age,25),(Friend,Li,Chang),38,2019年6月19,感谢你的观看,表示方法产生式规则
19、表示法,产生式系统的基本特征:一组规则,即产生式本身。每个规则分左边右边。如:天上下雨 地上湿 中国的首都是北京一般左边表示情况,即什么条件。发生时产生式被调用。通常用匹配方法和式情况。匹配成功时,执行右边规定的动作。,39,2019年6月19,感谢你的观看,表示方法产生式规则表示法,产生式系统的基本特征:数据库存放的数据是构成产生式的基本元素,又是产生式作用的对象。这里的数据是广义的常量、变量、多元组谓词、表、图像等。往往事实或断言知识元 一个解释程序从匹配成功的规则(可能不止一个)中选出一个加以执行。,40,2019年6月19,感谢你的观看,表示方法产生式规则表示法,产生式系统基本结构,产
20、生式系统结构图,41,2019年6月19,感谢你的观看,表示方法产生式规则表示法,产生式系统基本结构工作存储器(数据库):存放当前已知的数据,包括推理过程中形成的中间结论。数据是广义的,可以是常量、多元数组、谓词、表示结构等。产生式规则:每条产生式规则分为左右两个部分。左部表示激活该产生式规则的条件,右部表示调用该产生式规则后所作的动作。条件是一组复杂的模式,规则之间的控制也不是语句的传递,而且满足条件的规则被激活但不一定立即执行,取决于产生式系统的冲突消解策略。.,42,2019年6月19,感谢你的观看,表示方法产生式规则表示法,产生式系统基本结构.规则解释程序匹配器:判断规则条件是否成立。
21、冲突消解器:选择可调用的规则。解释器:执行规则的动作。并且在满足结束条件时终止产生式系统运行。,43,2019年6月19,感谢你的观看,表示方法产生式规则表示法,推理方法:正向、反向、双向,与或树。例:,44,2019年6月19,感谢你的观看,表示方法产生式规则表示法,正向推理方法:从已知事实出发,逐步推导出最后结论。其推理过程大致是:用工作存储器中的事实与产生式规则的前提条件进行匹配。按冲突消解策略从匹配的规则中选择一条规则。执行选中规则的动作(依次)。修改工作存储器。用更新后的工作存储器,重复上述工作,直到得出结论或工作存储器不再发生变化为止。,45,2019年6月19,感谢你的观看,表示
22、方法产生式规则表示法,反向推理方法:首先提出假设,然后验证这些假设的真假性,找到假设成立的所有证据或事实。其推理过程大致是:看假设是否存在于工作存储器中,若在,则假设成立,推理结束。找出结论与此假设匹配的规则。按冲突消解策略从匹配的规则实例中选择一条规则。将选中的规则的前提条件作为新的假设,重复上述工作,直到假设的真假性被验证或不存在激活的规则。,46,2019年6月19,感谢你的观看,表示方法产生式规则表示法,双向推理方法:即自顶向下、又自底向上作双向推理,直至某个中间界面上两方向结果相符便成功结束。该方法较正向或反向推理所形成的推理网络小,从而推理效果更高。,47,2019年6月19,感谢
23、你的观看,与或树,48,2019年6月19,感谢你的观看,表示方法产生式规则表示法,推理方法的选择推理方法的选择取决于推理的目标和搜索空间的形状。如果目标是从一组给定事实出发,找出所有可能的结论,那么,通常使用正向推理。如果目标是证实或否定某一特定结论,那么,通常使用反向推理,否则,从一组初始事实出发盲目地正向推理,可能得出许多和所要证实的结论无关的结论。,49,2019年6月19,感谢你的观看,表示方法产生式规则表示法,特点用产生式系统结构求解问题的过程和人类求解问题时的思维很相像。因而可以用它来模拟人类求解问题的思维过程。可以把产生式系统作为人工智能系统的基本结构单元或基本模型看待。就好像
24、是积木世界中的积木块一样。因而研究产生式系统的基本问题就具有一般意义。表示的格式固定、形式单一、规则间相互独立,所以建立容易;推理方式单纯、知识库与推理机分离,修改方便、容易理解。,50,2019年6月19,感谢你的观看,表示方法产生式规则表示法,优点模块性。规则与规则之间相互独立灵活性。知识库易于增加、修改、删除自然性。方便地表示专家的启发性知识与经验透明性。易于保留动作所产生的变化、轨迹,51,2019年6月19,感谢你的观看,表示方法产生式规则表示法,缺点:知识库维护难。效率低。为了模块一致性。理解难。由于规则一致性彼此之间不能调用。应用实例:用于化工工业测定分子结构的DENDRAL用于
25、诊断脑膜炎和血液病毒感染的MYCIN估计矿藏的PROSPECTOR,52,2019年6月19,感谢你的观看,表示方法,概述直接表示逻辑表示产生式规则表示法语义网络表示法,框架表示法脚本方法过程表示混合型知识表示方法面向对象的表示方法,53,2019年6月19,感谢你的观看,表示方法,概述直接表示逻辑表示产生式规则表示法语义网络表示法,框架表示法脚本方法过程表示混合型知识表示方法面向对象的表示方法,54,2019年6月19,感谢你的观看,表示方法语义网络表示法,概述1968年Quillian的博士论文建议用一种语义网络来描述人对事物的认知,实际上是对人脑功能的模拟。逻辑和产生式表示方法常用于表示
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 人工智能原理 人工智能 原理 第四 知识 表示 课件
链接地址:https://www.31ppt.com/p-3874669.html