人工智能知识表示方法.pptx
《人工智能知识表示方法.pptx》由会员分享,可在线阅读,更多相关《人工智能知识表示方法.pptx(87页珍藏版)》请在课桌文档上搜索。
1、2023/4/21,第二章 知识表示方法,2023/4/21,内容简介,2.2 一阶谓词逻辑表示法,2.3 产生式表示法,2.4 框架表示法,2.6 面向对象表示法,6,2,3,4,2.1 概述,1,2.5 语义网络表示法,5,2023/4/21,2.1.1 知识,知识定义,Feigenbaum,Bernstein,知识与信息不一样,知识信息经过加工整理、解释、挑选和改造而形成。简单地说,知识是经过加工的信息。,知识是由特定领域的描述、关系和过程组成的。,Hayes-Roth,知识是事实、信念和启发式规则。从知识库的观点看,知识是某领域中所涉及的各有关方面的一种符号表示。,Bacon,知识就是
2、力量,知识,总之,可以认为知识是经过加工的信息,它包括事实、信念和启发式规则。,2023/4/21,2023/4/21,2.1.1 知识,事实,规则,是关于对象和物体的知识,常以“是”的形式出现。事实是静态、可共享、可公开获得、公认的知识,位于知识库的底层,有关问题中与事物的行动、动作相联系的因果关系知识,是动态的,常以“如果那么”形式出现。特别是启发式知识属于专门经验知识。,控制,有关问题的求解步骤、技巧性知识,告诉怎么做一件事。,元知识,有关知识的知识,是知识库中的高层知识。例如,怎样使用规则,解释规则、校验规则、解释程序结构等知识。它可以决定哪一个知识库适用。,知识要素,2023/4/2
3、1,2.1.1 知识,北京是中国的首都;太湖在苏州的西边,怎样制作松鼠桂鱼;手机维修法。,微分方程刻划了一个函数的行为。,例如,燕子低飞;南京是江苏省的省会。,谜语“山叠叠而不高,路遥遥而不远,雷轰轰而不雨,雪飘飘而不寒”-(石磨),一个计算机辅助教学系统要知道用户理解的程度;,事实性知识,过程性知识,行为性知识,知识分类,实例性知识,类比性知识,元知识,2023/4/21,2.1.2 知识表示,选取知识表示的因素,表示知识的范围是否广泛是否适于推理是否适于计算机处理是否有高效的求解算法能否表示不精确知识,知识表示的分类,陈述性知识表示:将知识表示与知识的运用分开处理,在表示知识时,并不涉及如
4、何运用知识的问题,是一种静态的描述方法。如学生统计表。过程性知识表示:将知识表示与知识的运用相结合,知识包含于程序中,是一种动态的描述方法。如转置矩阵的程序隐含了专职矩阵的知识。,知识表示的定义,可看成是一组事物的约定,以把人类知识表示成机器能处理的数据结构。对知识进行表示的过程就是把知识编码成某种数据结构的过程。,能否在同一层次上和不同层次上模块化知识和元知识能否用统一的形式表示是否适合于加入启发信息过程性表示还是说明性表示表示方法是否自然,返回,2023/4/21,2.2 一阶谓词逻辑表示法,一种重要的知识表示方法,它以数理逻辑为基础,是到目前为止能够表达人类思维和推理的一种最精确的形式语
5、言。它的表现方式和人类自然语言非常接近,它能够被计算机进行精确推理。,一阶谓词逻辑表示法,相关概念,2023/4/21,2023/4/21,命题逻辑,命题逻辑就是研究命题和命题之间关系的符号逻辑系统。通常用大写字母P、Q、R、S等来表示命题。如:P:今天下雨 P是命题的名或命题标识符命题常量:命题标识符表示一个确定的命题。命题变元:命题标识符只表示任意命题的位置标志。当命题变元P用一个特定的命题取代时,P才能确定真值,这时称为对P进行指派。,命题的分类,原子命题:不能分解成更简单的陈述语句。复合命题:由联结词、标点符号和原子命题等复合构成的命题。,命题逻辑,所谓命题就是具有真假意义的陈述句。如
6、“今天下雨”、“1+100=101”,真或假用符号T或F表示。,语法,2023/4/21,2023/4/21,2023/4/21,(1)命题常元和命题变元是命题公式,也称为原子公式。(2)如果P、Q是命题公式,那么P、PQ、PQ、PQ和PQ也是命题公式。(3)只有有限步引用(1)、(2)条款所组成的符号串是命题公式。5个联结词的优先级顺序为:、。,命题公式,命题符号包括以下几种,(1)命题常元:True(T)或False(F)表示;(2)命题符号:P、Q、R等;(3)连接词:(否定,not),P称为“非P”;(合取,conjunction),PQ表示“PQ”;(析取,disjunction),
7、PQ表示“PQ”;(蕴含,implication),PQ表示“P蕴含Q”,P称为蕴含的前件,Q称为蕴含的后件;(等价,equivalent),PQ表示“P当且仅当Q”。,联结词的语义,2023/4/21,2023/4/21,2023/4/21,2023/4/21,真值表,联结词的语义定义如下,P为真,当且仅当P为假。PQ为真,当且仅当P和Q都为真。PQ为真,当且仅当P为真,或者Q为真。PQ为真,当且仅当P为假,或者Q为真。PQ 为真,当且仅当PQ为真,并且QP为真。,谓词,一阶谓词逻辑根据对象和对象上的谓词(即对象的属性和对象之间的关系),通过使用联结词和量词来表示世界。主要思想:世界是由对象
8、组成的,可以由标识符和属性来区分它们。在这些对象中,还包含着相互间的关系。,2023/4/21,谓词语法,2023/4/21,2023/4/21,2023/4/21,2023/4/21,(1)常量符号:如张静。(2)变量符号:通常用小写字母表示,如x,y,z(3)函数符号:通常用小写英文字母或小写英文字母串表示,如plus、f、g(4)谓词符号:通常用大写英文字母或(首字母)大写英文字母串表示。(5)联结词:、。(6)量词:全称量词,存在量词。x表示“对个体域中所有x”,x表示“在个体域中存在个体x”。和后面的x叫做量词的指导变元。,谓词逻辑的语法元素表示,谓词,用于刻画个体的性质、状态和个体
9、之间关系的语言成分就是谓词。如,李静是研究生。Graduate(张静)谓词形式:P(x1,x2,xn)其中,P是谓词,x1,x2,xn是个体。,一阶或多阶谓词,任何函数符号和谓词符号都取指定个数变元。若函数符号f中包含的个体数目为n,则称f为n元函数符号。如father(x)是一元函数若谓词符号P中包含的个体数目为n,则称P为n元谓词符号。如Less(x,y)是二元谓词。如果谓词P中的所有个体都是个体常量、变元或函数,则称该谓词为一阶谓词;如果某个个体本身又是一个一阶谓词,则称P为二阶谓词,依次类推。个体变元的取值范围称为个体域。其可以是有限或无限的。,2023/4/21,2023/4/21,
10、2.2.1 知识的谓词逻辑表示法,用谓词公式既可表示事物的状态、属性和概念等事实性的知识,也可表示事物间具有因果关系的规则性知识。,用谓词公式表示知识的一般步骤,2.根据所要表达的事物或概念,为每个谓词中的变元赋以特定的值。,1.定义谓词及个体,确定每个谓词及个体的确切含义。,3.根据所要表达的知识的语义,用适当的连接符将各个谓词连接起来形成谓词公式。,2.2.2 谓词逻辑表示知识举例,2023/4/21,用谓词逻辑表示下列知识:张三是学生,李四也是学生。,例1,第一步,第二步,第三步,定义谓词如下:ISStudent(x):x是一个学生张三是个体 李四也是个体,根据语义,用逻辑连接符连接IS
11、Student(张三)ISStudent(李四),将个体代入谓词中,得到 ISStudent(张三),ISStudent(李四),2023/4/21,2.2.2 谓词逻辑表示知识举例,用谓词逻辑表示下列知识:武汉是一个美丽的城市,但她不是一个沿海城市。如果马亮是男孩,张红是女孩,则马亮比张红长得高。,例2,第一步,第二步,第三步,定义谓词如下:BCity(x):x是一个美丽的城市 HCity(x):x是一个沿海城市Boy(x):x是男孩 Girl(x):x是女孩 High(x,y):x比y长得高,根据语义,用逻辑连接符连接BCity(wuhan)HCity(wuhan)(Boy(mal)Gir
12、l(zhangh)High(mal,zhangh),将个体代入谓词中,得到 BCity(wuhan),HCity(wuhan),Boy(mal),Girl(zhangh),High(mal,zhangh),2.2.2 谓词逻辑表示知识举例,2023/4/21,2023/4/21,用谓词逻辑表示下列知识:人人爱劳动。自然数都是大于零的整数。所有整数,不是偶数就是奇数。,例3,第一步,第二步,第三步,定义谓词如下:MAN(x):x是人 LOVE(x,y):x爱y N(x):x是自然数 I(x):x是整数 E(x):x是偶数 O(x):x是奇数 GZ(x):x大于零,根据语义,用逻辑连接符连接(x)
13、(MAN(x)LOVE(x,labour)(x)(N(x)GZ(x)I(x)(x)(I(x)E(x)O(x),将个体代入谓词中,得到 LOVE(x,labour),2023/4/21,2.2.3一阶谓词逻辑表示法特点,优点,缺点,严密性,易于实现,知识易表达,通用性,自然性,效率低,过程冗长,灵活性差,不确定知识,组合爆炸,返回,2023/4/21,2.3 产生式表示法,它使用类似文法的规则。用该方法求解问题时的思路与人类很相似。目前大部分的专家系统都采用产生式系统的结构来构建。,产生式知识表示方法,1943年由美国数学家E.Post提出。,产生式系统的组成,2023/4/21,2023/4/
14、21,产生式系统的基本要素,控制系统或策略是规则的解释程序。它规定了如何选择一条可应用的规则对数据库进行操作即决定了问题的推理路线。,产生式系统所使用的主要数据结构,用来表述问题状态或有关事实,即它含有所求问题的信息,期中有些部分可以是不变的,有些部分可能只与当前问题的节有关。,一般形式:ifthen描述了应用这条规则所采用的行动或得出的结论。,综合数据库,一个控制系统,一组产生式规则,2023/4/21,2.3.1 产生式的基本形式,产生式通常用于表示具有因果关系的知识,其基本形式是PQ 或 IF P THEN Q 其中,P是产生式的前提或条件,用于指出该产生式是否是可用的条件;Q是一组结论
15、或动作,用于指出该产生式的前提条件P被满足时,应该得出的结论或应该执行的操作。P和Q都可以是一个或一组数学表达式或自然语言。,2023/4/21,对于规则,表示事物间的因果关系,以下式描述:“if Condition then action”,聪明人智力竞赛:主持人在三个竞赛者头上戴一顶帽子,帽子颜色分红白两种,但至少有一顶是白帽,题目是说出自己所戴帽子的颜色。戴毕,主持人连问两次,三人面面相觑,无一人能答。问到第三次时,某甲抢先给出了答案。试问某甲的判断的依据是什么?,举例1,举例,2023/4/21,(1)帽色(聪明人A,红)帽色(聪明人B,红)AB 帽色(自己,白)(2)帽色(聪明人A,
16、红)帽色(聪明人B,白)答不出(聪明人B)帽色(自己,白)(3)帽色(聪明人A,红)帽色(聪明人B,白)答出(聪明人B)帽色(自己,红)(4)帽色(聪明人A,白)帽色(聪明人B,白)答不出(聪明人A)答不出(聪明人B)帽色(自己,白)(5)帽色(聪明人A,白)帽色(聪明人B,白)答不出(聪明人A)答不出(聪明人B)第二次答出(聪明人B)帽色(自己,红),产生式系统设计,2023/4/21,使用产生式系统求解问题:设字符转换规则有A BC,ACD,BCG,BEF,DE,已知字符A和B,求F。,举例2,第一步,第二步,第三步,定义综合数据库:x,x是字符,控制策略:顺序排队,规则集:(1)A BC
17、,(2)ACD,(3)BCG,(4)BEF,(5)DE,第四步,初始条件:x,x是字符,结束条件:Fx,第五步,2023/4/21,求解过程:,事实与规则的表示,2023/4/21,产生式表示方法容易描述事实、规则以及他们的不确定性度量。事实可看成是断言一个语言变量的值或者多个语言变量间的关系的陈述句。一般用三元组(对象,属性,值)或(关系,对象1,对象2)表示。若考虑不确定性就用四元组表示。,(张宏,身份,教师)(李静,身份,大学生)(张宏,班主任,李静),三元组举例,2023/4/21,2.3.2 产生式表示知识方法,确定性和不确定性规则知识的产生式表示,确定性规则知识 可用前面介绍的产生
18、式的基本形式表示即可。不确定性规则知识 用如下形式表示 PQ(可信度)或者 IF P THEN Q(可信度)IF P THEN Q(可信度)或者 IF P THEN Q(可信度)其中,P是产生式的前提或条件,用于指出该产生式是否是可用的条件;Q是一组结论或动作,用于指出该产生式的前提条件P被满足时,应该得出的结论或应该执行的操作。,2023/4/21,2.3.2 产生式表示知识方法,2023/4/21,确定性和不确定性事实性知识的产生式表示,确定性事实性知识 一般使用三元组的形式表示如下(对象,属性,值)或(关系,对象1,对象2)例(Zhangsan,Age,25)(Father,Gechun
19、zhuang,Geyou)不确定性事实性知识 一般用四元组的形式表示如下(对象,属性,值,不确定度量值)或(关系,对象1,对象2,不确定度量值)例(Zhangsan,Age,25,0.9)(Father,Chenqiang,Chenchong,0.2),2023/4/21,2023/4/21,不确定性问题的表示:(1)张红这次英语四级考试的成绩可能及格的概率是九成;(2)王伟有七成的把握拿我校羽毛球冠军。,举例,第一步,第二步,定义谓词:PASS(X),x通过英语四级;TEST(X):x参加英语四级考试;Match(y,z):y参加z比赛;Champion(u):u赢得校级冠军;常量:badm
20、inton,张红,王伟,产生式表示:(1)TEST(张红)PASS(英语四级)(0.9)(2)Match(王伟,羽毛球)Champion(王伟)(0.7),第三步,三元组表示:(1)(张红,英语四级,及格,0.9)(2)(王伟,羽毛球,学校冠军,0.7),2023/4/21,2.3.3产生式系统的组成,产生式系统的基本结构,把一组产生式放在一起,相互配合,协同作用,一个产生式的结论可以供另一个产生式作为前提,以求得问题的解,该系统称为产生式系统。产生式系统通常由规则库、数据库和推理机这3个基本部分组成。,2023/4/21,2.3.3产生式系统的组成,产生式系统,用于描述某领域内知识的产生式集
21、合,是某领域知识(规则)的存储器。,用来存放输入事实、外部数据库输入的事实以及中间结果和最后结果。,由一组程序组成,用来控制协调规则库与数据库的运行,包含了推理方式和控制策略。,规则库,数据库,推理机,2023/4/21,2.3.4产生式系统推理方式,产生式系统推理机的推理方式有正向推理、反向推理和双向推理三种。,推理过程,从已知事实出发,通过规则求得结论。或称数据驱动方式也称作自底向上的方式。,(1)规则集中的规则与数据库中的事实进行匹配,得匹配的规则集合。(2)使用冲突解决算法,从匹配规则集合中选择一条规则作为启用规则。(3)执行启用规则的后件。将该启用规则的后件送入数据库。重复这个过程直
22、至达到目标。,正向推理,2023/4/21,2.3.4产生式系统推理方式,反向推理,推理过程,从目标(作为假设)出发,反向使用规则,求得已知事实。这种推理方式也称目标驱动方式或称自顶向下的方式。,(1)规则库中的规则后件与目标事实进行匹配,得匹配的规 则集合。(2)使用冲突解决算法,从匹配规则集合中选择一条规则作为启用规则。(3)将启用规则的前件作为子目标。重复这个过程直至各子目标均为已知事实成功结束。,2023/4/21,2.3.4产生式系统推理方式,双向推理是一种既自顶向下、又自底向上的推理方式,推理从两个方向同时进行,直至某个中间界面上两方向结果相符便成功结束。这种双向推理较正向或反向推
23、理所形成的推理网络小,从而有更高的推理效率。,双向推理,2023/4/21,2.3.5产生表示法的特点,控制饱和问题,组合爆炸问题,可信度因子,自然性,模块化,清晰性,产生表示法的特点,返回,2023/4/21,2.4 框架表示法,它是以框架理论为基础发展起来的一种结构化的知识表示,它适用于表达多种类型的知识。框架理论的基本观点是:人脑已存储有大量的典型情景,当面临新的情景时,就从记忆中选择一个称作框架的基本知识结构,其具体内容依新的情景而改变,形成对新情景的认识又记忆于人脑中。,框架表示法,1975年,Minsky在论文“A Framework for Representing Knowle
24、dge”中提出了框架理论。,2.4.1 框架的构成,2023/4/21,框架是由若干个节点和关系(统称为槽)构成的网络。框架是表示某一类情景的结构化的一种数据结构。其顶层是固定的一类事物。框架由框架名和一些槽组成,每个槽有一些值,槽值可以是逻辑的、数字的、可以是程序、条件、默认值或是一个框架。槽值含有如何使用框架信息、下一步可能发生的信息、预计未实现该如何做的信息。,2023/4/21,框架的表示,一般结构,框架(frame)名 槽名(slot)1 侧面(facet)11 值111值11k1 侧面1n1 值1n11值1n1kn1 槽名2 侧面12 值121值1211 侧面1n2 值1n21值1
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 人工智能 知识 表示 方法
链接地址:https://www.desk33.com/p-348620.html