各种各样的知识表示方法及其应用

合集下载

知识表示

知识表示

第二章知识表示方法教学内容:本章讨论知识表示的各种方法,是人工智能课程三大内容(知识表示、知识推理、知识应用)之一,也是学习人工智能其他内容的基础。

教学重点:谓词逻辑法、语义网络法、状态空间法、问题归约法。

教学难点:语义网络法、状态描述与状态空间图示。

教学方法:课堂教学为主,同时结合《离散数学》等已学的内容实时提问、收集学生学习情况,充分利用网络课程中的多媒体素材来表示抽象概念。

教学要求:重点掌握用状态空间法、问题归约法、谓词演算法、语义网络法来描述问题;解决问题;掌握几种主要方法之间的差别;并对其它几种表示方法有一般了解。

2.1 概述∙主要内容:∙知识原则∙知识表示的作用∙知识表示的功能∙知识表示的性能∙基本的知识表示方式1 知识原则里南(D.B.Lenat)和费根鲍姆(E.A.Feigenbaum),IJCAI-10一个系统展示高级的智能理解和行为,主要是因为拥有应用领域特有的知识:概念、事实、表示、方法、模型、隐喻和启发式。

∙特有——意指应用领域中有效地求解问题主要靠该领域特有的知识。

∙足够的约束来自特别知识——通用知识作用微弱,不能提供足够的约束。

∙系统拥有的知识和其性能(问题求解能力和效率)的关系,参见图3.1。

∙知识门槛:(1)使能门槛W——指知识量超过该门槛时,系统就拥有了为执行任务所需的最低限度知识。

(2)胜任门槛C——到达C点时成为某应用领域中求解问题的专家,胜任只有专家才能解决的问题求解任务。

(3)全能门槛E——.到了这个门槛,由于知识量的空前增加(丰富),使系统能解决该应用领域内的几乎所有问题,成为全能专家。

∙知识门槛的分析:∙知识量差异——达到C级,只需50~1000条规则;再加等量的规则,就可达E级。

∙智能体知识是逐步积累的,涉及到获取新知识、修正和学习。

∙系统的能力主要由知识库中包含的领域特有的知识来决定——作为启发式知识(经验性关联知识)指导问题求解。

∙许多其它的人工智能研究也开始转向基于知识的观点。

知识表示

知识表示

框架
例子:
框架
例子:
ห้องสมุดไป่ตู้
框架
框架在简单环境下更为有效,如机器人视 觉例子:斜上方观察立方体
框架
框架描述:
框架
参数化框架描述:
框架
框架的特征: 1.每个框架有—个框架名(可带有参数) .每个框架有—个框架名(可带有参数) 2.每个框架有—组属性,每个称为一个槽,里面可以存 .每个框架有— 放属性值. 3.每个属性对其值有一定的类型要求,不同属性的类型 可以不一样 4.属性值可以是子框架调用,子框架调用可以带参数. 5.有些属性值是事先确定的,有些属性值在生成实例时 代入. 6.有些属性值在代人时需满足一定的条件.在不同属性 的属性值之间还有一些条件需要满足
知识的种类
——知识与信息不一样.知识是信息经过加工整理,解释,挑选和改造 ——知识与信息不一样.知识是信息经过加工整理,解释,挑选和改造 而形成的.( 而形成的.( Feigenbaum)
事实性知识.一般采用直接表示的形 式 . 如果事实性知识是批量的, 有规律的, 如果事实性知识是批量的 , 有规律的 , 则往往以表格,数据库等形式出现. 则往往以表格,数据库等形式出现. 过程性知识. 描述做某件事的过程, 过程性知识 . 描述做某件事的过程 , 使人 或计算机可以照此去做. 或计算机可以照此去做. 行为性知识. 不直接结出事实本身 , 行为性知识 . 不直接结出事实本身, 只给 出它在某方面的行为. 出它在某方面的行为 . 经常表示为某种数 学模型,如微分方程. 学模型,如微分方程.
框架
框架系统应实现如下功能: 描述: 每个框架实现系统应该提供一套设备,利用这些 设备可以建立和管理(查阅,修改,控制,……) 设备可以建立和管理(查阅,修改,控制,……) 对某类客观事物的一个描述.此描选可由一组互 相联,互相支持的框架构成.在建立单个框架时, 可以根据需要设置一组槽.规定每个槽的性质, 及槽与槽之间的关系.每个槽在框架中被认为是 无内部结构的,但当需要时,它本身又可扩充成 一个有内部结构的框架.

知识表示方法第五部分

知识表示方法第五部分
框架名:<计算机系教师>
类属:<教师> 性格:内向 兴趣:操作计算机
框架名:<方园>
类属:<计算机系教师>
性格:内向
态度:不刻苦
兴趣:? 举止:?
推理
框架表示法
❖ 框架的推理:在框架网络中,问题求解主要是通过对框
架的继承与匹配来实现的。
❖继承
✓ 下层框架从上层框架继承相关属性、属性值、条件
❖匹配
✓ 框架通常只能与现实做到部分匹配,完全匹配是一个 特殊情况。因为框架是对一类事物的完整或典型的描 述,待匹配的具体个体不可能做到完全一致。
1 2× 3×
×××
Step(4)
123
××
×××
(d)
Step(5)
过程表示法
✓ 过程表示法的例子:八数码问题
பைடு நூலகம்
(6)依次移动棋牌,使得空格位置沿
图 (e)所示的箭头方向移动,直到数
码4在位置f为止,如图Step(6) 中所
(e)
示。若这时刚好数码5在位置i则转
(9)。
(7)依次移动棋牌,使得空格位置沿
✓ 不匹配的情况:某个属性不存在,或与规定的属性值 不符,或属性类型不符
框架表示法
❖ 框架表示法的优点:
✓ 结构性:最突出特点是善于表示结构性知识,它能够把知识 的内部结构关系以及知识间的特殊联系表示出来。
✓ 深层性: 框架表示法不仅可以从多个方面、多重属性表示 知识,而且还可以通过ISA、AKO等槽以嵌套结构分层地对 知识进行表示,因此能用来表达事物间复杂的深层联系。
沿图(c)所示的箭头方向移动,直到
数码3位于e为止。这时空格刚好在

第2章 知识表示方法

第2章 知识表示方法

CISIC
6
状态空间表示概念详释
Original State

Middle State

Goal State
状态空间法:从某个初始状态开始,每次加一个 操作符,递增地建立起操作符的实验序列,直至 达到目标状态止。 例如下棋、迷宫及各种游戏。
CISIC
7
3 Puzzle Problem(3数码难问题)
CISIC
34
示例—分子结构识别问题 (DENDRAL系统)
把分子式重写为原子数较少的分子式和原子间结 合关系的混合结构,例如:
H
C5H12
C2H5
C
H
C2H5
CISIC
35
将混合结构的识别再分解为子识别问题,直至不出现分 子式为至,每个子问题只是单一分子式或原子间结合关系 的表示。 H
C2H5 H C
V=c,climbbox (c,1,c,0) grasp
(c,1,c,1) 目标状态
goto(U)
(U,0,V,0)
goto(U)
初始状态变换为目标状态的操作序列为: {goto(b), pushbox(c), climbbox, grasp} 猴子和香蕉问题的状态空间图
CISIC
17
猴子和香蕉问题自动演示:
climbbox :猴子爬上箱顶
(W,0,W,z)
climbbox
(W,1,W,z)
应用算符climbbox的先决条件是什么?
CISIC
15
初始状态 (a,0,b,0)
goto(U)
pushbox(V) U=b
goto(U) (U,0,b,0)
U=b,climbbox (b,1,b,0) U=V

第02章知识表示方法

第02章知识表示方法

1. 状态空间法(11)
作业:用状态空间搜索法求解农夫、狼、 羊、菜问题。
A farmer with his goat, wolf and cabbage come to a river that they wish to cross. There is a boat, but it only has room for two, and the farmer is the only one that can row. If the goat and cabbage get in the boat at the same time, the cabbage gets eaten. Similarly, if the wolf and goat are together without the farmer, the goat is eaten. Devise a series of crossings of the river so that all concerned make it across safely.
概 述
知识的特性
1、相对正确性 2、不确定性 3、可表示性 4、可利用性
概 述
知识的分类
1、知识的作用范围:常识知识和领域知识 2、知识的作用及表示: 事实知识:有关领域内的概念、事实、 客观事物的属性、状态及其关系的描述。 规则知识:事物的行动、动作相联系的 因果关系知识。 3、知识的确定性:确定和不确定 4、思维和认识方法:逻辑和形象
2)综合数据库 又称为事实数据库,用于存放输入的事 实、中间的运行结果和最后结果的工作区。 当规则库中的某条产生式前提与综合数据 库的某些已知事实匹配时,该产生式就被 激活,推理出结论放入综合数据库中,作 为后面推理的已知事实。显然综合数据库 是动态变化的。

第二章 知识表示方法(1)

第二章 知识表示方法(1)

第二章知识表示方法人类的智能活动主要是获得并运用知识。

知识是智能的基础,为了使计算机具有智能,能模拟人类的智能行为,就必须使它具有知识。

但人类的知识需要用适当的模式表示出来,才能存储到计算机中并能够被运用第一节知识与知识表示的概念●什么是知识数据与信息➢数据和信息这两个概念是不可以分开的,它们是有关联的。

➢数据:用一组符号及其组合表示的信息称为数据,泛指对客观事物的数量、属性、位置及其相互关系的抽象表示。

例:27.6 53 ABCD 黎明➢数据和信息之间的关系⏹数据是信息的载体和表示,信息是数据在特定场合下的具体含义,即信息是数据的语义。

⏹如:6个人(6是个数据,人是一种信息) 6本书(6是个数据,书是一种信息)⏹对同一个数据,它在某一场合下可能表示这样一个信息,但在另一场合下却表示另一个信息。

知识➢知识:是把有关信息关联在一起所形成的信息结构称为知识。

⏹知识是人们在长期的生活及社会实践中、科学研究及实验中积累起来的对客观世界的认识与经验,人们把实践中获得的信息关联在一起,就获得了知识。

信息之间有多种关联形式,最常见的且便于计算机利用的一种表达形式为:”如果……,那么……” 或”如果……,则……”,它反映了信息间的某种因果关系。

例如把“大雁向南飞”与“冬天就要来临了”这两个信息关联在一起,就得到了如下一条知识:如果大雁向南飞,则冬天就要来临了。

➢不同事物或者相同事物间的不同关系形成了不同的知识。

例如,“雪是白色的”是一条知识,它反映了“雪”与“颜色”之间的一种关系。

又如“如果头痛且流涕,则有可能患了感冒”是一条知识,它反映了“头痛且流涕”与“可能患了感冒”之间的一种因果关系。

知识的特性1、相对正确性知识是否正确是有前提条件的如:1+1=2,但是它是在十进制前提下才是正确的2、不确定性⏹例如:甲有一头秀发,乙是两鬓如霜。

您认为甲一定是青年人,乙就是老年人吗?不能完全确定,因为相反的事例是很多的。

比如:当年的白毛女并不是老人,而现在的老人有一头黑发并不足奇。

第二章知识和知识表示

第二章知识和知识表示

12
知识的表示(续)
• 几点注意 –同一个知识有多种表示方法,不同的方法其效果 不一样 • 不同领域的知识具有不同的特点 • 各种表示方法各有优缺点,适用的情况不同 • 选择知识表示方法,要因问题而异 –一般,在选用知识表示方法时,应从以下几个方 面考虑 • 1.充分表示领域知识 • 2.有利于知识的利用 • 3.便于知识的组织、维护与管理 13 • 4.便于理解和实现
各种不同的方式和次序组合起来表示知识
– 连接机制表示法:用神经网络技术表示知识的
一种方法,相对于符号表示法而言是一种隐式
表示法
11
常用知识表示方法
–状态空间法
–脚本表示法
–过程表示法
–问题归约法
–谓词逻辑表示法 –产生式表示法 –框架表示法 –语义网络表示法
–Petri网表示法
–面向对象的表示法
–本体表示法
(122)(322)
(322)(333)
(111)(113)
(113)(123)
(123)(122)
(322)(321)
(321)(331)
(331)(333)
34
问题归约的描述
• 问题归约方法应用算符把问题描述转化为子问题描述,可 以采用各种数据结构:表列、树、字符串、矢量、数组等; – 例如梵塔问题的表示:包含两个数列的表列: [(113),(333)] • 也可以用状态空间表示法的三元组(S,F,G)表示;其 子问题描述规定了最后解答路径将要通过的中间状态;
解答的任一旅程,必须是具有最短距离的旅程。
28
B
A
E
D
(A)起始节点
推销员旅行问 题状态空间图
(ACDEBA)
29

知识表示的方法——逻辑表示法、产生式表示法、框架表示法、语义网络表示法、面向对象表示

知识表示的方法——逻辑表示法、产生式表示法、框架表示法、语义网络表示法、面向对象表示

知识表⽰的⽅法——逻辑表⽰法、产⽣式表⽰法、框架表⽰法、语义⽹络表⽰法、⾯向对象表⽰知识表⽰的⽅法知识表⽰⽅法种类繁多,通常有直接表⽰、逻辑表⽰、产⽣式规则表⽰法、语义⽹络表⽰法、框架表⽰法、脚本表⽰⽅法、过程表⽰、混合型知识表⽰⽅法、⾯向对象的表⽰⽅法等。

在本⽂中,着重介绍⽬前使⽤较多的知识表⽰⽅法。

⽬前使⽤较多的知识表⽰⽅法主要有:逻辑表⽰法、产⽣式表⽰法、框架表⽰法、语义⽹络表⽰法、⾯向对象表⽰等等。

2.3.2.1 ⼀阶谓词逻辑表⽰法[45]通过引⼊谓词、函数来对知识加以形式化描述,获得有关的逻辑公式,进⽽以机器内部代码表⽰的⼀种⽅法。

谓词逻辑是⼀种形式语⾔,它与⼈类的⾃然语⾔⽐较接近,是⽬前能够表达⼈类思维活动的⼀种最精确的语⾔,它具有丰富的表达能⼒,因⽽可以表⽰⼤量常识知识。

它具有简单、⾃然、精确、灵活、容易实现等特点。

⼀阶谓词的⼀般形式为 P(x1, x2 (x)n)。

其中,P 是谓词,x1, x2 (x)n是常量、变元或函数。

谓词逻辑适⽤于表⽰事物的状态、属性、概念等事实性的知识,也可以⽤来表⽰事物间关系的知识,即规则。

例如:物体 A 在物体 B 的上⾯,可以表⽰为:On(A,B);物体 A 是书,可以表⽰为:book(A);书 A 在书 B 上,可以表⽰为:On(book(A),book(B))。

⼀阶谓词逻辑表⽰法的局限性在于它难以表达不确定性知识和启发性知识,推理⽅法在事实较多时易于出现组合爆炸,且推理过程繁杂、效率低。

2.3.2.2 产⽣式表⽰法多数较为简单的专家系统(Expert System)都是以产⽣式表⽰知识,相应的系统被称作产⽣式系统。

产⽣式系统,由知识库和推理机组成。

其中知识库由事实库和规则库组成。

事实库是已知事实的集合,规则库是产⽣式规则的集合。

规则则是产⽣式规则。

规则库蕴涵着将问题从初始状态转换到解状态的那些变换规则,规则库是专家系统的核⼼部分。

规则可以表⽰成与或树的形式,基于事实库中的事实通过与或树求值的过程就是推理。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

各种各样的知识表示方法及其应用
众所周知,知识是一个比较普遍的概念,在生活中有着各种各样的表现形式,而如何把知识表示出来,也就是把知识提取这一过程就显得异常重要了。

每一种知识可能要采取不同的知识表示方法才能更加有效。

而且知识有可能只有一部分是我们所需要的,可以利用的,因此只有选择好一个知识表示方法,才能剔除不需要的东西,而留下精华。

在人工智能课程的学习中,我已经学到了许多知识表示方法,而通过这次读书活动,我学到了更多的知识表示方法以及相同方法的不同表现形式,现在做出如下比较与总结。

由于书中的知识表示方法在表达和分析上都跟其他书上介绍的都有区别,因此我把它们进行了比较分析。

把与书上不同的观点罗列出来,并且对相似的观点进行比较,从中收获很大。

与书中相似相似的方法:
第一、语义网络法
语义网络是1968年Quilian在研究人类联想记忆时提出的心理学模型,认为记忆是由概念间的联系来实现的。

1972年,Simmons首先将语义网络表示法用于自然语言理解系统。

语义网络的结构:语义网络是知识的一种图解表示,它由节点和弧线或链线组成。

节点用于表示实体、概念和情况等,弧线用于表示节点间的关系。

组成部分
词法部分决定表示词汇表中允许有哪些符号,它涉及各个节点和弧线。

结构部分叙述符号排列的约束条件,指定各弧线连接的节点对。

过程部分说明访问过程,这些过程能用来建立和修正描述,以及回答相关问题。

语义部分确定与描述相关的(联想)意义的方法即确定有关节点的排列及其占有物和对应弧线。

书本上讲述的语义网络法可以用来表示事实;表示事实间的关系;表示比较复杂的知识。

而书上所讲的应用似乎不够完全,除了用来表示简单的事实、表示占有关系和其它情况之外它还能选择语义基元(试图用一组基元来表示知识,以便简化表示,并可用简单的知识来表示更复杂的知识。


语义网络法可以分成二元语义网络的表示(Representation of Two-Element Semantic Network)和多元语义网络的表示(Representation of Multi-Element Semantic Network)
语义网络法可以与谓词逻辑等效,用语义网络表示谓词逻辑法中的各种连词及量化,具体表示如下
1.合取:多元关系可以被转换成一组二元关系的合取,从而可以用语义网络
的形式表示出来。

2.析取:在语义网络中,为与合取关系相区别,在析取关系的连接上加注析取界限,并标记DIS。

3.否定:为表示否定关系,可以采用~ISA和~PART OF关系或标注NEG界限
4.蕴涵:在语义网络中可用标注ANTE和CONSE界限来表示蕴涵关系。

ANTE 和CONSE界限分别用来把与先决条件(antecedent)及与结果consequence)相关的链联系在一起。

5.量化:存在量化在语义网络中可直接用ISA链来表示。

而全称量化就要用分割方法来表示。

语义网络的推理过程:
语义网络中的推理过程主要有两种:一种是继承,另一种是匹配。

1.继承:把对事物的描述从概念节点或类节点传递到实例节点。

它有值继
承、“如果需要”继承、“缺省”继承三种。

2.匹配:部件匹配。

推理的方法有:缺省逻辑[Reiter 1980]、自动认识逻辑[Moore 1985a]、非单调逻辑[McDermott & Doyle 1980]和界限[ M cCarthy 1980,McCarthy 1986]。

鉴于语义网络法结构性强、联想性好、自然性高的特点,我觉得它主要适合用在自然语言分析理解系统、检索系统以及严谨的推理系统,这样既能够保证考虑到尽可能多的情况,同时对每一种情况的正确性都有保证,而且由于它具有联想性,因此它能很好的适应人类的联想记忆方式和人类的思维习惯。

同时它也能很容易的将自然语言采集、并进行分析用来进行处理。

第二、框架表示法
心理学的研究结果表明,在人类日常的思维和理解活动中,当分析和解释遇到的新情况时,要使用到过去经验中积累的知识。

这些知识规模巨大而且以很好的组织形式保留在人们的记忆中。

当然,我们无法把过去的经验一一都存在脑子里,而只能以一个通用的数据结构的形式存储以往的经验。

这样的数据结构称为框架。

框架提供了一个结构,一种组织。

在这个结构或组织中,新的资料可以用从过去的经验中得到的概念来分析和解释。

因此,框架是一种结构化表示法。

通常框架采用语义网络中的节点-槽-值表示结构。

所以框架也可以定义为是一组语义网络的节点和槽,这组节点和槽可以描述格式固定的事物、行动和事件。

语义网络可看做节点和弧线的集合,也可以视为框架的集合。

与书本上的定义相同,框架通常由描述事物的各个方面的槽组成,每个槽可以拥有若干个侧面,而每个侧面又可以拥有若干个值。

这些内容可以根据具体问题的具体需要来取舍。

对书本上框架表示法的补充说明:为了能从各个不同的角度来描述物体,可以对不同角度的视图分别建立框架,然后再把它们联系起来组成一个框架系统。

框架是一种复杂结构的语义网络。

因此语义网络推理中的匹配和特性继承在框架系统中也可以实行。

除此以外,由于框架用于描述具有固定格式的事物、动作和事件,因此可以在新的情况下,推论出未被观察到的事实。

框架用以下几种途径来帮助实现这一点:
(1) 框架包含它所描述的情况或物体的多方面的信息。

这些信息可以被引用,就像已经直接观察到这些信息一样。

(2) 框架包含物体必须具有的属性。

在填充框架的各个槽时,要用到这些属性。

建立对某一情况的描述要求先建立对此情况的各个方面的描述。

与描述这个情况的框架中的各个槽有关的信息可用来指导如何建立这些方面的描述。

(3) 框架描述它们所代表的概念的典型事例。

框架法的应用:在开发的电网故障诊断和恢复专家系统中得到应用。

由于框架法具备继承性的特性,因此它能很好的节省空间,并在知识的一致性上有很好的保持。

同样,框架法具备语义网络法的大部分特点,因此语义网络法和框架法主要用来表示常识知识,其研究领域有:
1) 对象和材料。

世界是由对象构成的。

有些对象如网格世界中的积木是离散的、固态的东西这些相对容易讨论和描述。

有些对象是有层次的,即是由各部分(其他对象)按某种方式放在一起构成的。

也有流体、气体和汇集,像沙堆、面粉袋和星系。

描述材料及其属性(尤其是流体)的著名成果是[Hayes 1978,Hayes 1985a,Hayes 1985b]的研究。

2) 空间。

物理世界有空间范围。

对象存在于空间中,在空间中的位置是相对于其他对象的。

因此,谈论一个东西是在另一个的里面、上面和紧挨着这些情况,形式化有关空间的各种符号的一个早期A I成果是[Kautz 1985]。

在各种机器人任务中有关空间推理的论文,参见[Chen 1990]
3) 物理属性。

A I系统也应该能推理这些物理属性,如质量、温度、体积、压力、放射性级别、波长和它们之间的任何关系。

4) 物理过程和事件。

物体下落,球被扔出,草长出了,杯子被倒满又倒空,蜡烛燃烧,热东西变凉。

在物理学中,很多这样的过程是用不同的方程式描述的,能在A I中使用这些方程式。

然而,经常我们不需要由物理过程提供这些确切的(且昂贵的)求解。

相反,A I研究者已经开发了一个定性物理,利用它推理普通趋势而不需要确切的计算[ Weld & de Kleer 1990]。

第三、剧本表示法(即书中的脚本表示法)
与书本上定义相同,剧本是框架的一种特殊形式,它用一组槽来描述某些事件的发生序列。

它由开场条件(进入条件)、角色、道具、场景、结局。

对书本上内容的补充:剧本是有用的知识表达结构,因为在现实世界中事件发生的某种模式来自事件之间的因果关系。

事件中的主人公完成一个动作后才能完成另一个动作。

剧本中所描述的事件形成一个巨大的因果链,这个链的起点是一组开场条件,满足这些开场条件,剧本中的事件才能产生。

链的终点是一组结果,有了这组结果,以后的事件或事件序列(可能用其他的剧本来描述)才能发生。

在这个链内一件事情和前后的事情都相互联系。

前面的事件,使当前的事件有可能产生,而当前事件又使后面的事件有可能产生。

剧本在预言一些没有直接提到的事件方面特别有用。

同时剧本对表示已经提到的事件之间的关系也很有用。

(1) 对于不属于事件核心部分的剧本,只需设置指向该剧本的指针即可,以便当它成为核心时启用。

(2) 对于符合事件核心部分的剧本,则应使用在当前事件中涉及到的具体。

相关文档
最新文档