《知识表示》PPT课件.ppt
《《知识表示》PPT课件.ppt》由会员分享,可在线阅读,更多相关《《知识表示》PPT课件.ppt(123页珍藏版)》请在三一办公上搜索。
1、第4章 知识表示,1知识表示概述2知识表示方法3知识表示方法选取 4知识表示应用,重点:知识表示方法。难点:用各种知识表示法表示实际问题。,农夫、狐狸、鹅和麦粒 农夫欲将一只银狐、一只肥鹅和一些可口的麦粒带到河的对岸。不巧,因船太小,他每次只能带一样财产渡到对岸。更糟的是,不加照管的狐狸会吃掉鹅,不加照管的鹅会吃掉麦粒。因此,农夫不能让狐狸和鹅单独放在一起,也不能把鹅和麦粒单独留下。如何是好?,4.1 知识表示概述,1)一种好的描述方式,建立在一种好的表达形式的约定的基础上,为求解敞开了大门;一种糟糕的描述方式,使用一种糟糕的表达形式,则是一堵妨碍问题求解的墙。2)一旦问题以一种合适的表达形式
2、来描述,此问题几乎接近解决。,为了使计算机具有智能,使它能模拟人类的智能行为,就必须使它具有知识。但知识是需要用适当的模式表示出来才能存储到计算机中去的,因此关于知识的表示问题就成为知识工程中一个十分重要的研究课题。知识表示以形式化方式表示知识;供计算机自动处理;,知识表示:利用计算机能够接受并且进行处理的符号和方式来表示人类在改造客观世界中所获得的知识。知识表示旨在对知识的一种描述,或是对知识的一组约定,一种计算机可以接受的用于描述知识的数据结构。知识表示在人工智能体的建造中起到关键作用以适当方式表示知识,才导致智能体展示出智能行为知识表示=数据结构+处理机制恰当的结构(符号)用于存储要解决
3、的问题、可能的中间解答和最终解答以及解决问题涉及的知识;配套的处理机制仅有符号(结构)不能体现出系统具有知识;只有对其作适当的处理才构成意义。,从一般意义上讲,所谓知识表示是为描述世界所作的一组约定,是知识的符号化、形式化或模型化。各种不同的知识表示方法,是各种不同的形式化的知识模型。从计算机科学的角度看,知识表示是研究计算机表示知识的可行性、有效性的一般方法,是把人类知识表示成机器能处理的数据结构和系统控制结构的策略。知识表示的研究既要考虑知识的表示与存储,又要考虑知识的使用。,10,对知识表示方法的要求,(1)表示能力,要求能够正确、有效地将问题求解所需要的各类知识都表示出来。(2)可理解
4、性,所表示的知识应易懂、易读。(3)便于知识的获取,使得智能系统能够渐进地增加知识,逐步进化。(4)便于搜索,表示知识的符号结构和推理机制应支持对知识库的高效搜索,使得智能系统能够迅速地感知事物之间的关系和变化;同时很快地从知识库中找到有关的知识。(5)便于推理,要能够从己有的知识中推出需要的答案和结论。,4.2.1 一阶谓词逻辑表示法,1 知识的谓词逻辑表示法 谓词公式就是用谓词联接符号将一些谓词按照一定的逻辑关系连接起来所形成的公式。,4.2 知识表示方法,1)对事实性知识,谓词逻辑的表示法通常是由以合取符号()和析取符号()联接形成的谓词公式来表示。如对下面句子:张三是一名计算机系的学生
5、,他喜欢编程序。可以用谓词公式表示为 Computer(张三)Like(张三,programming)其中:Computer(x)表示x是计算机系的学生,Like(x,y)表示x喜欢y,都是谓词。,2)对规则性知识,谓词逻辑表示法通常以由单条件符号()联接形成的谓词公式来表示例如,对于 如果x,则y用谓词公式表示为 xy,14,符号,:否定(Negation),复合命题Q表示否定Q的真值的命题,即“非Q”:合取(Conjunction),复合命题PQ表示P和Q的合取,即“P与Q”:析取(Disjunction),复合命题PQ表示P或Q的析取,即“P或Q”,2023/7/31,15,:条件(Co
6、ndition),也叫蕴含,复合命题PQ表示命题P是命题Q的条件,即“如果P,那么Q”:双条件(Bicondition),也叫等价,复合命题PQ表示命题P、命题Q相互作为条件,即“如果P,那么Q;如果Q,那么P”,连词优先级别是,、,、,但可通过括号改变优先级。,2023/7/31,16,语法元素 常量符号。变量符号。函数符号。谓词符号。联结词:、。(和命题相同)量词:全称量词、存在量词。和后面跟着的x叫做量词的指导变元。,2023/7/31,17,量词全称量词符号(x)P(x):表示对于某个论域中的所有(任意一个)个体x,都有P(x)真值为T。存在量词符号(x)P(x):来表示某个论域中至少
7、存在一个个体x,使P(x)真值为T。,2023/7/31,18,若函数符号f中包含的个体数目为n,则称f为n元函数符号。若谓词符号P中包含的个体数目为n,则称P为n元谓词符号。如:father(x)是一元函数,less(x,y)是二元谓词.一般一元谓词表达了个体的性质,而多元谓词表达了个体之间的关系.,函数符号与谓词符号,2 用谓词公式表示知识的步骤 1)定义谓词及个体,确定每个谓词及个体的确切含义。2)根据所要表达的事物,为每个谓词中的变元赋以特定的值。3)根据所要表达的知识的语义,用适当的连接符号将各个谓词联接起来,形成谓词公式。,3 谓词公式表示知识举例 例:设有下列事实性知识:吴琼是一
8、名计算机学院的学生,但他不喜欢编程序。陈雷比他父亲长的高。请用谓词公式表示这些知识。,解:首先定义谓词如下:COMPUTER(x):x是计算机学院的学生。LIKE(x,y):x喜欢y。HIGHER(x,y):x比y长的高。第二步:给变元赋值 这里涉及的 个体有:吴琼(wuqiong),编程序(programming),陈雷(chenlei),以函数father(chenlei)表示陈雷的父亲。,COMPUTER(wuqiong);LIKE(wuqiong,programming);HIGHER(chenlei,father(chenlei))第三步:将谓词联接成谓词公式 COMPUTER(wu
9、qiong)LIKE(wuqiong,programming)HIGHER(chenlei,father(chenlei)),例:有以下规则性知识 人人爱劳动 所有整数不是偶数就是奇数 自然数都是大于零的整数 请用谓词公式表示这些知识。,解:首先定义谓词如下:MAN(x):x是人。LOVE(x,y):x爱y。N(x):x是自然数。I(x):x是整数。E(x):x是偶数。O(x):x是奇数。GZ(x):x大于零。,按照第二步和第三步的要求,以上知识可分别表示为:人人爱劳动(x)(MAN(x)LOVE(x,labour)自然数都是大于零的整数(x)(N(x)GZ(x)I(x)所有的整数不是偶数就是
10、奇数(x)(I(x)E(x)O(x),例:机器人搬积木问题表示 设在一个房间里,有一个机器人ROBOT,一个壁橱ALCOVE,一个积木块BOX,两个桌子A和B。开始时,机器人在壁橱的旁边,且两手是空的,桌子A上放着积木块,桌子B上是空的。机器人将把积木从桌子A上转移到桌子B上。请用一阶谓词逻辑表示这一问题。,解:1)本为题涉及的常量定义为:机器人:ROBOT;积木块:BOX;壁橱:ALCOVE;桌子:A,B2)定义谓词如下:TABLE(x):x是桌子EMPTYHANDED(x):x双手是空的AT(x,y):x在y的旁边HOLDS(y,w):y拿着w ON(w,x):w在x的上面EMPTYTAB
11、LE(x):桌子x上是空的,3)根据问题的描述将问题的初始状态和目标状态分别用谓词公式表示出来。问题的初始状态:AT(ROBOT,ALCOVE)EMPTYHANDED(ROBOT)ON(BOX,A)TABLE(A)TABLE(B)EMPTYTABLE(B)问题的目标状态:AT(ROBOT,ALCOVE)EMPTYHANDED(ROBOT)ON(BOX,B)TABLE(A)TABLE(B)EMPTYTABLE(A),4)问题表示出来之后,如何求解问题。对此问题求解,实际上就是要寻找一组机器人可执行的操作,利用这组操作实现初始状态到目标状态的转变。通过分析会发现,操作一般分为先决条件和动作两部分。
12、先决条件可以容易的用谓词公式表示,而动作可通过动作前后的状态变化表示出来,即只要指出执行动作后,应从动作前的状态表中删除和增加什么谓词公式就描述了相应的动作。,本例中,机器人将积木块从桌子A上移到桌子B上要执行的操作有如下三个:1)GOTO(x,y):从x处走到y处 2)PICK-UP(x):在x处拿起盒子 3)SET-DOWN(x):在x处放下盒子 这三个操作可分别用条件和动作表示如下:1)GOTO(x,y)条件:AT(ROBOT,x)动作:删除 AT(ROBOT,x)增加 AT(ROBOT,y),2)PICK-UP(x)条件:ON(BOX,x)TABLE(x)AT(ROBOT,x)EMPT
13、YHANDED(ROBOT)动作:删除 ON(BOX,x)EMPTYHANDED(ROBOT)增加 HOLDS(ROBOT,BOX)3)SET-DOWN(x)条件:TABLE(x)AT(ROBOT,x)HOLDS(ROBOT,BOX)动作:删除 HOLDS(ROBOT,BOX)增加 ON(BOX,x)EMPTYHANDED(ROBOT)机器人在执行每一操作之前,总要先检查所需的先决条件是否满足,只有先决条件得到满足以后,才执行相应的动作。,2023/7/31,32,(1)一阶谓词逻辑表示法的优点 1)严密性:可以保证其演绎推理结果的正确性,可以较精确地表达知识。2)自然性:它的表现方式和人类自
14、然语言非常接近。3)通用性:拥有通用的逻辑演算方法和推理规则。4)知识易表达:如果对逻辑的某些外延扩展后,则可把大部分精确性知识表达成一阶谓词逻辑的形式。5)易于实现:用它表示的知识易于模块化,便于知识的增删及修改,便于在计算机上实现。,4.一阶谓词逻辑表示法的特点,2023/7/31,33,(2)一阶谓词逻辑表示法的缺点1)效率低:由于推理是根据形式逻辑进行的,把推理演算和知识含义截然分开,抛弃了表达内容所含的语义信息,往往是推理过程太冗长,降低系统效率。另一方面,谓词表示越细,表示越清楚,推理越慢、效率越低。2)灵活性差:不便于表达和加入启发性知识和元知识。不便于表达不确定性的指示,但人类
15、的知识大都具有不确定性和模糊性,这是使得它表示知识的范围受到了限制。3)组合爆炸:在其推理过程中,随着事实数目的增大及盲目的使用推理规则,有可能产生组合爆炸。,2023/7/31,34,练习,1.任何人都会死的2.每个人都有一个父亲3.所有的教师都有自己的学生,2023/7/31,35,练习,任何人都会死的。定义谓词:D(x):x会死的,M(x):x是人 谓词表示:(x)(M(x)D(x),2023/7/31,36,练习,每个人都有一个父亲定义谓词:PERSON(x),表示x是人 HASFATHER(x,y),表示x有父亲y谓词表示:(x)(y)(PERSON(x)HASFATHER(x,y)
16、,2023/7/31,37,所有的教师都有自己的学生定义谓词:TEACHER(x),表示x是教师 STUDENT(y),表示y是学生 TEACHES(x,y),表示x是y的老师谓词表示:(x)(y)(TEACHER(x)TEACHES(x,y)STUDENT(y),练习,思考题:房内有一只猴子、一个箱子,天花板上挂了一串香蕉。猴子为了拿到香蕉,它必须把箱子推倒香蕉下面,然后再爬到箱子上。请定义必要的谓词,写出问题的初始状态,目标状态(猴子拿到香蕉,站在箱子上)。,4.2.2 产生式表示法,1 什么是产生式“产生式”这一术语是1943年由美国数学家Post首先提出的,他根据串替换规则提出了一种称
17、为Post机的计算模型,模型中的每一条规则称为一个产生式。所以,产生式表示法又称为产生式规则表示法。在产生式系统中,把推理和行为的过程用产生式规则表示,所以又称基于规则的系统。,2 产生式可表示的知识种类及基本形式 适合表示规则性知识和事实性知识,通常用于表示具有因果关系的知识。进一步可分为确定性和不确定性知识表示。其基本形式是:PQ 或IF P THEN Q,3 知识的表示方法(1)确定性规则知识的产生式表示PQ 或 IF P THEN Q 其中,P是产生式的前提;Q是一组结论或操作,用于指出前提P所指示的条件被满足时,应该得出的结论或应该执行的操作。,(2)不确定性规则知识的产生式表示 P
18、Q(置信度)或 IF P THEN Q(置信度)其中,P是产生式的前提;Q是一组结论或操作。已知事实与前提中所规定的条件不能精确匹配时,只要按照“置信度”的要求达到一定的相似度,就认为已知事实与前提条件相匹配,再按照一定的算法将这些可能性(或不确定性)传递到结论。,(3)确定性事实性知识的产生式表示事实性知识的表示形式一般使用三元组来表示:(对象,属性,值)或(关系,对象1,对象2)如“老李年龄是40岁”,可表示成:(Li,Age,40)而“老李和老张是好朋友”,可表示成:(Friend,Li,Zhang),(4)不确定性事实性知识的产生式表示不确定事实性知识的表示形式一般使用四元组来表示:(
19、对象,属性,值,置信度值)或(关系,对象1,对象2,置信度值)如“老李的年龄很可能是40岁”,可表示成:(Li,Age,40,0.8)而“老李和老张是好朋友的可能性不大”,可表示为:(Friend,Li,Zhang,0.1),4 产生式系统的组成 产生式系统一般由三个基本部分组成:规则库、综合数据库和推理机。它们之间的关系如下图所示。,规则库就是用于描述某领域内知识的产生式集合,包含着将问题从初始状态转换成目标状态的变换规则。是专家系统的核心。综合数据库又称为事实库,用于存放输入的事实、外部数据库输入的事实以及中间结果和最后结果的工作区。推理机是一个或一组程序,用来控制和协调规则库与综合数据库
20、的运行,包含了推理方式和控制策略。,5 产生式表示法的特点 优点:1)清晰性。2)模块性。3)自然性。,2023/7/31,48,清晰性:产生式表示格式固定、形式简单,规则(知识单位)间相互较为独立,没有直接关系,使知识库的建立较为容易,处理较为简单。模块性:知识库与推理机是分离的,这种结构给知识库的修改带来方便,无须修改程序,对系统的推理路径也容易做出解释。自然性:符合人类的思维习惯,是人们常用的一种表达因果关系的知识表示形式,既直观自然,又便于推理。另外,产生式表示法既可以表示确定性知识,又可以表示不确定性知识,更符合人们日常见到的问题。因此,产生式方法是当今最流行的专家系统设计模式。,2
21、023/7/31,49,缺点或不足:,(1)难以扩展:尽管规则形式上相互独立,但实际问题中往往彼此是相关的。这样当知识库不断扩大时,要保证新的规则和已有的规则没有矛盾就会越来越困难,知识库的一致性越来越难以实现。(2)规则选择效率较低:在推理过程中,每一步都要和规则库中的规则做匹配检查。如果知识库中规则数目很大,显然效率会降低。(3)控制策略不灵活:产生式系统往往采用单一的控制策略,如顺序考察规则库中的每一条规则,这同样会降低系统的效率。(4)知识表示形式单一:产生式系统比较适合于表示非结构化的知识,对于结构化的知识可能用语义网络或框架或面向对象的表示方式更为合适。注意:以纯粹的产生式系统表示
22、复杂的知识结构比较困难,因此发展了一系列知识的结构化表示方法,如框架和语义网络等,知识以这种形式表示的系统,称为基于知识的系统。,4.2.3 语义网络表示法,语义网络是于1968年在他的博士论文中作为人类联想记忆的一个心理模型最先提出的。语义网络最初主要用于自然语言理解的研究,Quillian主张应当把语义放在第一位,一个词的含义只有根据它所处的上下文环境才能准确的把握,一个句子中相关单词的语义或意思可以通过这种网络来表示。语义网络是一种古老而简单的思想人类的记忆是由概念及概念之间的联系组成的。,1 语义网络的概念及其结构(1)语义网络的概念及结构 语义网络是通过概念及其语义关系来表示知识的一
23、种网络图,它是一个带标记的有向图。其中有向图的各节点用来表示各种概念、事物、属性、情况、动作、状态等,节点上的标注用来区分各节点所表示的不同对象,每个节点可以带有若干个属性,以表示其所代表的不同对象的特性;弧是有方向、有标注的,方向用来体现节点间的主次关系,而其上的标注则表示被联接的两个节点间的某种语义联系或语义关系。,语义网络表示示例,智能系统,专家系统,困难问题,专家知识,专家思维,是一种,具有,能模拟,能解决,语义网络可以表示事物之间的关系。因此,关系型的知识和可以转为关系型的知识都可以用语义网表示。,一个最简单的语义网络可由一个三元组表示:(节点1,弧,节点2)可用如下图所示的有向图表
24、示,称作基本网元。,A,B,R,其中,A和B分别代表节点,而R则表示A和B之间某种语义联系。,(2)与谓词逻辑表示法和产生式表示法的联系 从谓词逻辑表示法来看,一个基本网元相当于一组一阶二元谓词。产生式表示法是以一条产生式规则作为知识的单位,各条产生式规则之间没有直接的联系。而语义网络则不同,它不仅将基本网元视作一种知识的单位,而且各个基本网元之间又是相互联系的。每一条产生式规则可以表示为语义网络的形式。,2 语义网络中常用的语义联系(1)类属关系 类属关系是指具有共同属性的不同事物间的分类关系、成员关系或实例关系。它体现的是“具体与抽象”、“个体与集体”的层次关系。具体层节点位于抽象层节点的
25、下层。类属关系的一个最主要的特征是属性的继承性,处在具体层的节点可以继承抽象层节点的所有属性。常用的类属关系有:AKO:“是一种”(a kind of),表示一事物是另一事物的一种类型。AMO:“是一员”(a member of),表示一事物是另一事物的一个成员。ISA:“是一个”(is a),表一事物是另一事物的一个实例。类属关系具有属性的继承性。,(2)包含关系 包含关系也称为聚类关系,是指具有组织或结构特征的“部分与整体”之间的关系。它和类属关系的最主要区别是包含关系一般不具备属性的继承性。常用的包含关系是:Part-of:“是一部分”,表示一个事物是另一个事物的一部分,该关系不具继承性
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 知识表示 知识 表示 PPT 课件
链接地址:https://www.31ppt.com/p-5587687.html