人工智能-知识表示方法-课件.ppt
- 【下载声明】
1. 本站全部试题类文档,若标题没写含答案,则无答案;标题注明含答案的文档,主观题也可能无答案。请谨慎下单,一旦售出,不予退换。
2. 本站全部PPT文档均不含视频和音频,PPT中出现的音频或视频标识(或文字)仅表示流程,实际无音频或视频文件。请谨慎下单,一旦售出,不予退换。
3. 本页资料《人工智能-知识表示方法-课件.ppt》由用户(ziliao2023)主动上传,其收益全归该用户。163文库仅提供信息存储空间,仅对该用户上传内容的表现方式做保护处理,对上传内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知163文库(点击联系客服),我们立即给予删除!
4. 请根据预览情况,自愿下载本文。本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
5. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007及以上版本和PDF阅读器,压缩文件请下载最新的WinRAR软件解压。
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 人工智能 知识 表示 方法 课件
- 资源描述:
-
1、人工智能 知识表示方法2023-5-18内容简介内容简介2.2 2.2 一阶谓词逻辑表示法一阶谓词逻辑表示法2.3 2.3 产生式表示法产生式表示法2.4 2.4 框架表示法框架表示法2.6 2.6 面向对象表示法面向对象表示法62342.1 2.1 概述概述12.5 2.5 语义网络表示法语义网络表示法52023-5-182.1.1 2.1.1 知识知识知识定义知识定义 Feigenbaum Bernstein知识与信息不一样,知识信息经过加工整理、解释、挑选和改造而形成。简单地说,知识是经过加工的信息。知识是由特定领域的描述、关系和过程组成的。Hayes-Roth知识是事实、信念和启发式规
2、则。从知识库的观点看,知识是某领域中所涉及的各有关方面的一种符号表示。BaconBacon知识就是力量2023-5-18知识知识 总之,可以认为知识是经过加工的信息,它包括事实、信念和启发式规则。2023-5-182.1.1 2.1.1 知识知识 事实事实 规则规则是关于对象和物体的知识,常以“是”的形式出现。事实是静态、可共享、可公开获得、公认的知识,位于知识库的底层有关问题中与事物的行动、动作相联系的因果关系知识,是动态的,常以“如果那么”形式出现。特别是启发式知识属于专门经验知识。控制控制有关问题的求解步骤、技巧性知识,告诉怎么做一件事。元知识元知识有关知识的知识,是知识库中的高层知识。
3、例如,怎样使用规则,解释规则、校验规则、解释程序结构等知识。它可以决定哪一个知识库适用。知识要素知识要素2023-5-182.1.1 2.1.1 知识知识北京是中国的首都;太湖在苏州的西边北京是中国的首都;太湖在苏州的西边怎样制作松鼠桂鱼;手机维修法。怎样制作松鼠桂鱼;手机维修法。微分方程刻划了一个函数的行为。微分方程刻划了一个函数的行为。例如例如燕子低飞;南京是江苏省的省会。燕子低飞;南京是江苏省的省会。谜语谜语“山叠叠而不高,路遥遥而不远,雷山叠叠而不高,路遥遥而不远,雷轰轰而不雨,雪飘飘而不寒轰轰而不雨,雪飘飘而不寒”-(石磨)(石磨)一个计算机辅助教学系统要知道用户理解一个计算机辅助教
4、学系统要知道用户理解的程度;的程度;事实性知识事实性知识过程性知识过程性知识行为性知识行为性知识知识分类知识分类实例性知识实例性知识类比性知识类比性知识元知识元知识2023-5-182.1.2 2.1.2 知识表示知识表示选取知识表示的因素选取知识表示的因素l表示知识的范围是否广泛l是否适于推理l是否适于计算机处理l是否有高效的求解算法l能否表示不精确知识知识表示的分类知识表示的分类陈述性知识表示陈述性知识表示:将知识表示与知识的运用分开处理,在表示知识时,并不涉及如何运用知识的问题,是一种静态的描述方法。如学生统计表。过程性知识表示过程性知识表示:将知识表示与知识的运用相结合,知识包含于程序
5、中,是一种动态的描述方法。如转置矩阵的程序隐含了专职矩阵的知识。知识表示的定义知识表示的定义可看成是一组事物的约定,以把人类知识表示成机器能处理的数据结构。对知识进行表示的过程就是把知识编码成某种数据结构的过程。l能否在同一层次上和不同层次上模块化l知识和元知识能否用统一的形式表示l是否适合于加入启发信息l过程性表示还是说明性表示l表示方法是否自然返回返回2023-5-182.2 2.2 一阶谓词逻辑表示法一阶谓词逻辑表示法一种重要的知识表示方法,它以数理逻辑一种重要的知识表示方法,它以数理逻辑为基础,是到目前为止能够表达人类思维为基础,是到目前为止能够表达人类思维和推理的一种最精确的形式语言
6、。它的表和推理的一种最精确的形式语言。它的表现方式和人类自然语言非常接近,它能够现方式和人类自然语言非常接近,它能够被计算机进行精确推理。被计算机进行精确推理。一阶谓词逻一阶谓词逻辑表示法辑表示法2023-5-18相关概念相关概念2023-5-18命题逻辑命题逻辑命题逻辑命题逻辑就是研究命题和命题之间关系的符号逻辑系统。通常用大写字母P、Q、R、S等来表示命题。如:P:今天下雨 P是命题的名或命题标识符命题常量命题常量:命题标识符表示一个确定的命题。命题变元命题变元:命题标识符只表示任意命题的位置标志。当命题变元P用一个特定的命题取代时,P才能确定真值,这时称为对P进行指派。命题的分类命题的分
7、类原子命题:原子命题:不能分解成更简单的陈述语句。复合命题复合命题:由联结词、标点符号和原子命题等复合构成的命题。命题逻辑命题逻辑所谓命题就是具有真假意义的陈述句。如“今天下雨”、“1+100=101”,真或假用符号T或F表示。2023-5-18语法语法2023-5-182023-5-18(1)命题常元和命题变元是命题公式,也称为原子公式。命题常元和命题变元是命题公式,也称为原子公式。(2)如果P、Q是命题公式,那么P、PQ、PQ、PQ和PQ也是命题公式。(3)只有有限步引用(1)、(2)条款所组成的符号串是命题公式。5个联结词的优先级顺序为:、。命题公式命题公式命题符号包括以下几种命题符号包
8、括以下几种(1)命题常元:命题常元:True(T)或False(F)表示;(2)命题符号命题符号:P、Q、R等;(3)连接词连接词:(否定,not),P称为“非P”;(合取,conjunction),PQ表示“PQ”;(析取,disjunction),PQ表示“PQ”;(蕴含,implication),PQ表示“P蕴含Q”,P称为蕴含的前件,Q称为蕴含的后件;(等价,equivalent),PQ表示“P当且仅当Q”。2023-5-18联结词的语义联结词的语义2023-5-182023-5-182023-5-18真值表真值表联结词的语义定义如下联结词的语义定义如下 P为真,当且仅当P为假。PQ为
9、真,当且仅当P和Q都为真。PQ为真,当且仅当P为真,或者Q为真。PQ为真,当且仅当P为假,或者Q为真。PQ 为真,当且仅当PQ为真,并且QP为真。2023-5-18谓词谓词 一阶谓词逻辑根据对象和对象上的谓词(即对象的属性和对象之间的关系),通过使用联结词和量词来表示世界。主要思想:世界是由对象组成的,可以由标识符和属性来区分它们。在这些对象中,还包含着相互间的关系。2023-5-18谓词语法谓词语法2023-5-182023-5-182023-5-18(1)常量符号:如张静。(2)变量符号:通常用小写字母表示,如x,y,z(3)函数符号:通常用小写英文字母或小写英文字母串表示,如plus、f
10、、g(4)谓词符号:通常用大写英文字母或(首字母)大写英文字母串表示。(5)联结词:、。(6)量词:全称量词,存在量词。x表示“对个体域中所有x”,x表示“在个体域中存在个体x”。和后面的x叫做量词的指导变元。谓词逻辑的语法元素表示谓词逻辑的语法元素表示谓词谓词用于刻画个体的性质、状态和个体之间关系的语言成分就是谓词。如,李静是研究生。Graduate(张静)谓词形式:P(x1,x2,xn)其中,P是谓词,x1,x2,xn是个体。2023-5-18一阶或多阶谓词一阶或多阶谓词 任何函数符号和谓词符号都取指定个数变元。若函数符号f中包含的个体数目为n,则称f为n元函数元函数符号符号。如fathe
11、r(x)是一元函数 若谓词符号P中包含的个体数目为n,则称P为n元谓元谓词符号词符号。如Less(x,y)是二元谓词。如果谓词P中的所有个体都是个体常量、变元或函数,则称该谓词为一阶谓词一阶谓词;如果某个个体本身又是一个一阶谓词,则称P为二阶二阶谓词谓词,依次类推。个体变元的取值范围称为个体域个体域。其可以是有限或无限的。2023-5-182.2.1 2.2.1 知识的谓词逻辑表示法知识的谓词逻辑表示法用谓词公式既可表示事物的状态、属性和概念等事实性的知识,也可表示事物间具有因果关系的规则性知识。用谓词公式用谓词公式表示知识的表示知识的一般步骤一般步骤2.根据所要表达的根据所要表达的事物或概念
12、,为事物或概念,为每个谓词中的变每个谓词中的变元赋以特定的值。元赋以特定的值。1.定义谓词及个体,定义谓词及个体,确定每个谓词及确定每个谓词及个体的确切含义。个体的确切含义。3.根据所要表达的根据所要表达的知识的语义,用知识的语义,用适当的连接符将适当的连接符将各个谓词连接起各个谓词连接起来形成谓词公式。来形成谓词公式。2023-5-182.2.2 2.2.2 谓词逻辑表示知识举例谓词逻辑表示知识举例用谓词逻辑表示下列知识:张三是学生,李四也是学生。例例1 1第一步第一步第二步第二步第三步第三步定义谓词如下:ISStudent(x):x是一个学生张三是个体 李四也是个体根据语义,用逻辑连接符连
13、接ISStudent(张三)ISStudent(李四)将个体代入谓词中,得到 ISStudent(张三),ISStudent(李四)2023-5-182.2.2 2.2.2 谓词逻辑表示知识举例谓词逻辑表示知识举例用谓词逻辑表示下列知识:武汉是一个美丽的城市,但她不是一个沿海城市。如果马亮是男孩,张红是女孩,则马亮比张红长得高。例例2 2第一步第一步第二步第二步第三步第三步定义谓词如下:BCity(x):x是一个美丽的城市 HCity(x):x是一个沿海城市Boy(x):x是男孩 Girl(x):x是女孩 High(x,y):x比y长得高根据语义,用逻辑连接符连接BCity(wuhan)HCi
14、ty(wuhan)(Boy(mal)Girl(zhangh)High(mal,zhangh)将个体代入谓词中,得到 BCity(wuhan),HCity(wuhan),Boy(mal),Girl(zhangh),High(mal,zhangh)2023-5-182.2.2 2.2.2 谓词逻辑表示知识举例谓词逻辑表示知识举例2023-5-18用谓词逻辑表示下列知识:人人爱劳动。自然数都是大于零的整数。所有整数,不是偶数就是奇数。例例3 3第一步第一步第二步第二步第三步第三步定义谓词如下:MAN(x):x是人 LOVE(x,y):x爱y N(x):x是自然数 I(x):x是整数 E(x):x是偶
15、数 O(x):x是奇数 GZ(x):x大于零根据语义,用逻辑连接符连接(x)(MAN(x)LOVE(x,labour)(x)(N(x)GZ(x)I(x)(x)(I(x)E(x)O(x)将个体代入谓词中,得到 LOVE(x,labour)2023-5-182.2.32.2.3一阶谓词逻辑表示法特点一阶谓词逻辑表示法特点优点优点缺点缺点严密性严密性易于实现易于实现知识易表达知识易表达通用性通用性自然性自然性效率低效率低,过程冗长过程冗长灵活性差,不确定知识灵活性差,不确定知识组合爆炸组合爆炸返回返回2023-5-182.3 2.3 产生式表示法产生式表示法 它使用类似文法的规则。用该方法求解它使用
16、类似文法的规则。用该方法求解问题时的思路与人类很相似。目前大部问题时的思路与人类很相似。目前大部分的专家系统都采用产生式系统的结构分的专家系统都采用产生式系统的结构来构建。来构建。产生式知识产生式知识表示方法表示方法19431943年由美国数学家年由美国数学家E.PostE.Post提出。提出。2023-5-18产生式系统的组成产生式系统的组成2023-5-18控制系统或策略是规则的控制系统或策略是规则的解释程序。它规定了如何解释程序。它规定了如何选择一条可应用的规则对选择一条可应用的规则对数据库进行操作即决定了数据库进行操作即决定了问题的推理路线。问题的推理路线。产生式系统所使用的主要数产生
17、式系统所使用的主要数据结构,用来表述问题状态据结构,用来表述问题状态或有关事实,即它含有所求或有关事实,即它含有所求问题的信息,期中有些部分问题的信息,期中有些部分可以是不变的,有些部分可可以是不变的,有些部分可能只与当前问题的节有关。能只与当前问题的节有关。一般形式:一般形式:ifthen描述了应用这条规则所采用的描述了应用这条规则所采用的行动或得出的结论。行动或得出的结论。综合综合数据库数据库 一个一个控制系统控制系统一组产生一组产生式规则式规则2023-5-182.3.1 2.3.1 产生式的基本形式产生式的基本形式产生式通常用于表示具有因果关系的知识,其基本形式是产生式通常用于表示具有
18、因果关系的知识,其基本形式是PQ 或或 IF P THEN Q 其中,其中,P是产生式的前提或条件,用于指出该产生式是是产生式的前提或条件,用于指出该产生式是否是可用的条件;否是可用的条件;Q是一组结论或动作,用于指出该产生是一组结论或动作,用于指出该产生式的前提条件式的前提条件P P被满足时,应该得出的结论或应该执行的操被满足时,应该得出的结论或应该执行的操作。作。P和和Q都可以是一个或一组数学表达式或自然语言。都可以是一个或一组数学表达式或自然语言。2023-5-18 对于规则,表示事物间的因果关系,以下式描述:对于规则,表示事物间的因果关系,以下式描述:“if Condition the
19、n actionif Condition then action”举例举例12023-5-18举例举例产生式系统产生式系统设计设计2023-5-18使用产生式系统求解问题:设字符转换规则有A BC,ACD,BCG,BEF,DE,已知字符A和B,求F。举例举例2 2第一步第一步第二步第二步第三步第三步定义综合数据库:x,x是字符控制策略控制策略:顺序排队顺序排队规则集:(1)A BC,(2)ACD,(3)BCG,(4)BEF,(5)DE第四步第四步初始条件:x,x是字符 结束条件:Fx第五步第五步2023-5-18求解过程:求解过程:2023-5-18事实与规则的表示事实与规则的表示 产生式表示
20、方法容易描述事实、规则以及他们的不确产生式表示方法容易描述事实、规则以及他们的不确定性度量。定性度量。事实可看成是断言一个语言变量的值或者多个语言变事实可看成是断言一个语言变量的值或者多个语言变量间的关系的陈述句。量间的关系的陈述句。一般用三元组一般用三元组(对象,属性,值对象,属性,值)或或(关系,对象关系,对象1 1,对,对象象2)2)表示。若考虑不确定性就用四元组表示。表示。若考虑不确定性就用四元组表示。三元组举例三元组举例2023-5-182.3.2 2.3.2 产生式表示知识方法产生式表示知识方法确定性和不确定性规则知识的产生式表示确定性和不确定性规则知识的产生式表示确定性规则知识确
21、定性规则知识 可用前面介绍的产生式的基本形式表示即可。不确定性规则知识不确定性规则知识 用如下形式表示 PQ(可信度)或者 IF P THEN Q (可信度)IF P THEN Q(可信度)或者 IF P THEN Q(可信度)其中,P是产生式的前提或条件,用于指出该产生式是否是可用的条件;Q是一组结论或动作,用于指出该产生式的前提条件P被满足时,应该得出的结论或应该执行的操作。2023-5-182.3.2 2.3.2 产生式表示知识方法产生式表示知识方法2023-5-18确定性和不确定性事实性知识的产生式表示 确定性事实性知识 一般使用三元组的形式表示如下(对象,属性,值)或(关系,对象1,
22、对象2)例(Zhangsan,Age,25)(Father,Gechunzhuang,Geyou)不确定性事实性知识 一般用四元组的形式表示如下(对象,属性,值,不确定度量值)或(关系,对象1,对象2,不确定度量值)例 (Zhangsan,Age,25,0.9)(Father,Chenqiang,Chenchong,0.2)2023-5-182023-5-18不确定性问题的表示:(1)张红这次英语四级考试的成绩可能及格的概率是九成;(2)王伟有七成的把握拿我校羽毛球冠军。举例举例第一步第一步第二步第二步定义谓词:PASS(X),x通过英语四级;TEST(X):x参加英语四级考试;Match(y
23、,z):y参加z比赛;Champion(u):u赢得校级冠军;常量:badminton,张红,王伟产生式表示产生式表示:(1)TEST(张红)PASS(英语四级)(0.9)(2)Match(王伟,羽毛球)Champion(王伟)(0.7)第三步第三步三元组表示三元组表示:(1)(张红,英语四级,及格,0.9)(2)(王伟,羽毛球,学校冠军,0.7)2023-5-182.3.32.3.3产生式系统的组成产生式系统的组成产生式系统的基本结构产生式系统的基本结构 把一组产生式放在一起,相互配合,协同作用,一个产生把一组产生式放在一起,相互配合,协同作用,一个产生式的结论可以供另一个产生式作为前提,以
24、求得问题的解,式的结论可以供另一个产生式作为前提,以求得问题的解,该系统称为产生式系统。该系统称为产生式系统。产生式系统通常由规则库、数据库和推理机这产生式系统通常由规则库、数据库和推理机这3 3个基本部个基本部分组成。分组成。2023-5-182.3.32.3.3产生式系统的组成产生式系统的组成用于描述某领域内知识的用于描述某领域内知识的产生式集合,是某领域知产生式集合,是某领域知识(规则)的存储器。识(规则)的存储器。用来存放输入事实用来存放输入事实、外部数据库输入、外部数据库输入的事实以及中间结的事实以及中间结果和最后结果。果和最后结果。由一组程序组成,由一组程序组成,用来控制协调规则用
25、来控制协调规则库与数据库的运行库与数据库的运行,包含了推理方式,包含了推理方式和控制策略。和控制策略。规则库规则库数据库数据库推理机推理机2023-5-182.3.42.3.4产生式系统推理方式产生式系统推理方式产生式系统推理机的推理方式有正向推理、反向产生式系统推理机的推理方式有正向推理、反向推理和双向推理三种。推理和双向推理三种。推理过程推理过程从已知事实出发,通过规则求得结论。或称数据驱动方式也称作自底向从已知事实出发,通过规则求得结论。或称数据驱动方式也称作自底向上的方式。上的方式。(1)规则集中的规则与数据库中的事实进行匹配,得匹配的规则集合。(2)使用冲突解决算法,从匹配规则集合中
展开阅读全文