知识表示结构
专家系统运作的基础是某一领域专家的经验和知识,如何将燃气轮机的具体知识准确地加以描述,使其具有通用性、可理解性及可扩充性是本章研究的核心论题。首先本章简要介绍几种常见的知识表示方法,然后结合实例讨论本文采用的知识表示方法。
§1 知识及知识表示方法分类
1. Heyes -Roth
2.
3.
a.
b.
c.
d.
§2 几种知识表示方法的比较
一、语义网络表示法
31
(1) Is-a31MS6001B(2) Has-a31MS6001B(3) 31Caused-by
图3-1 语义网络表示实例
二、谓词逻辑表示法
XGASTURBINEXGASTURBINEXnnGASTURBINEMAINACCESSORYMIANACCESSORY
三、产生式系统
Production System
如果(IF) A 则(THEN) B
AB
Rule1:如果 发电机组自动跳闸 且
发电机组差动保护器动作 且
发电机组仪表有急剧升降变化 且
有声光报警
则 机组内部故障
Rule2:如果 机组内部故障
则 机组全停
图3-3 产生式规则的直观表示
四、框架表示法
Minsky1975
<> <1> <2>
<> <1> <2>
<> <1> <2>
主机系统包括压气机、燃烧室、涡轮;压气机有出口温度参数和叶片部件;涡轮有出口温度参数和出口压力参数;每一参数值有过高、过低二种异常状态描述;叶片有磨损、变形、断裂三种状态。
主机系统)
<1 压气机> (<1 出口温度><1 过低>
<2 过高>
<2 叶片> <1 磨损>
<2 变形>
<3 断裂>
<2 涡轮> (<1 出口温度><1 过低>
<2 过高>
<2 出口压力><1 过低>
<2 过高>
<3 燃烧室>
图3-4 简单框架表示
五、几种知识表示方法的比较
CFcertainty factorif-then
34
知识表达方式 | 优点 | 适合于何种知识 | 不足之处 |
语义网络 | 自然性、全面性 | 深层知识 | 非层次化、界面不 清晰、空间开销大 |
谓词逻辑 | 精确性、逻辑性 | 深、浅层知识 | 易导致组合爆炸 |
产生式 | 自然性 | 浅层知识 | 解释能力有限 |
框架 | 层次化、表达能力强 | 深层知识 | 空间开销大、 结构复杂 |
表3-1 几种知识表达方式比较
§3 燃气轮机的知识表示
§3-1 燃气轮机专家知识的分类
MS6001B35
主机系统
润滑油系统
进口可转导叶系统
冷却空气与密封空气系统
燃料系统
进气与排气系统
通风加热系统
启动系统
液压供给系统
水冲洗系统
3536
当压气机效率变化太大时,可能是下述几种原因造成:
1. 压气机叶片磨损
图3-5 MS6001B型燃机主要系统
图3-6 主机系统树形层次结构
2. 压气机叶片被外来物损伤
3. 进气导流器结冰
4. 压气机喘振
5. 进气导流器和整流器转动机构工作不正常
6. 压气机叶片断裂
7. 篦齿密封圈和轴承损坏
8. 放气机构工作不正常
§3-2 燃气轮机深层知识表示
34
图3-7 一般框架表示的内存形式
该结构在内存中分为7组,每组又由若干小内存块构成,1、2、3组的每个小内存块由两部分构成,前者存放系统、部件或参数的名称,后者存放该名称所包含的部件、部件名、参数名、在内存中的地址(即指针,由箭头表示,可能有多个)。4、5、6、7四组存放参数的值或部件的状态,没有地址域(指针)。以十六位编程模式为例,每个汉字占2个字节,地址(指针)占4个字节,设参数的值为实型,占6个字节,按此算法,以上7组所占空间开销如下表所示:
组编号 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 合计 |
有效字节数 | 8 | 10 | 28 | 8 | 12 | 8 | 8 | 82 |
指针字节数 | 8 | 16 | 48 | 0 | 0 | 0 | 0 | 72 |
合计 | 16 | 26 | 76 | 8 | 12 | 8 | 8 | 154 |
表3-2 一般框架表示内存开销统计
1528272 82/154=53.25%
主机系统包括压气机、燃烧室、涡轮;压气机有出口温度参数和叶片部件;涡轮有排气温度参数和排气压力参数;其中叶片有三种异常状态:磨损、变形和断裂。
图3-8 知识的图解表示
38
定义3-1 图3-8中的各节点称为知识元;图中的链所表示的节点之间的关系称为关联。
依照上述定义,燃气轮机的结构知识事实上表现为燃气轮机知识元之间依照一定逻辑关系的相互关联。36
3638
主机系统的压气机发生喘振
36381242439
图3-9 三层结构到四层结构的转换
4444
主机系统透平热偶位置不正确
310
结论3-1 燃气轮机的任一条结构化知识,均可由系统名、子系统名、对象名和状态描述逐级关联的四层结构得到描述。
图3-10 五层结构到四层结构的转换
定义3-2 设 为n个集合,令
则R称为集合上的n元关系集,其中的元素称为n元关系。
对应图3-6或图3-8,可以将燃气轮机的四层知识元分成四个集合:系统名集、子系统名集、对象名集和状态描述集,而知识元之间的逐级关联,则表现为上述四个集合之间的逐级映射(二元关系运算)。从这个意义上讲,可以给出知识元和关联的另一个定义如下:
定义3-3 设 分别表示系统名集、子系统名集、对象名集和状态描述集, . 则
称为知识元。
又令 则
分别为对应集合中知识元之间的关联。
按上述定义,回到图3-4中,该条知识可以表示为:
系统名集 A={主机系统}
子系统名集 B={压气机,燃烧室,透平}
对象名集 C={出口温度,叶片,出口压力}
状态描述集 D={变形,磨损,断裂,过高,过低}
一级关联 {(主机系统,压气机),(主机系统, 燃烧室),(主机系统,透平)}
二级关联 {(压气机,出口温度),(压气机,叶片), (透平,出口温度),(透平,出口压 力)}
三级关联 {(出口温度,过高),(出口温度,过低), (出口压力,过高)(出口压力,过低), (叶片,变形),(叶片,磨损),(叶片, 断裂)}
进一步简化上述表示方法,以知识元在对应集合中的索引号代表相应知识元(严格说来,集合中的元素是没有序号的,即具有无顺序性,但这里的集合事实上就是第四章将要讨论的知识库,为保持论证的逻辑性,现在我们仍称之为集合,并认为其中的元素是可以“标记”的,作这样的假设,并不影响讨论的正确性)。同时将关联首部相同的关联项合并在一起有:
一级关联 {(1;1,2,3)}
二级关联 {(1;1,2),(3;1,3)}
三级关联 {(1;4,5),(3;4,5),(2;1,2, 3)}
这种表达方式可以以图解的方式形象的表示如下:
图3-10 一个逻辑框架示例
这样,利用四层知识元集和它们之间的三级关联,就实现了对图3-8中知识的精确表示,这种方法摒弃了传统框架结构庞大的缺点,但是从逻辑上精确地实现了深层知识的框架表示,故称之为逻辑框架。由于知识元与其序号之间的唯一对应性,因而推理时,在内存中只需保留关联项即可,而不必考虑其对应的知识元名称。
设序号为无符号型,以16位编程模式为例,占用两个字节,则上述一、二、三级关联项共占用20×2=40个字节,同框架结构的154个字节相比,规模缩小为原来的25.97%,且无额外开销,有效利用率为100%。
§3-3 燃气轮机的浅层知识表示
如果透平轮间温度过高,有可能是下述原因造成:
(1) 冷却空气管路节流阀出故障;
(2) 透平密封件磨损;
如果透平密封件磨损,则其表现之一是透平轮间温度过高
36
定义3-3 由图3-6的根节点至某一叶节点而得到的一个描述称为一 个断言(Assertion)。令 为断言集, 、 、 、 分别为对应于图3-6中的系统名集、子系统名集、对象名集和状态 描述集, 则
= 是一个四元关系集。
(框架名:断言)
(槽1:系统名)
(槽2:子系统名)
(槽3:对象名)
(槽4:状态描述)
(框架名:断言1) (框架名:断言2)
(槽1:主机系统) (槽1:主机系统)
(槽2:压气机) (槽2:透平)
(槽3:出口温度) (槽3:密封件)
(槽4:过高) (槽4:磨损)
1.
(故障现象,故障原因,规则强度,解决方案)
定义3-4 设 为断言集, [-1,1]为规则强度集, 为行动集, 为规则集。 、 、 分别为 、 、 对应的 幂集。 又令
则规则 是下述一个四元组
由上述四元组 构成的关系集 称为规则集( )
例:设 ={透平轮间温度过高;冷却空气管路出故障;透平热偶位置 不正确;......};
={检查轮间温度,若普遍过高且外部冷却空气管路没有问 题,则 可以把冷却空气管路的孔板稍稍加大,加大多 少,征求厂方意见;......};
=0.6; 则
=((透平轮间温度过高),(冷却空气管路出故障),0.6, (行动 方案) ) 是一条规则.
=((1),(2),0.6,(行动方案索引号))
2.
(故障状态,故障表现)
本章小结
这一章主要是讨论如何将燃气轮机的知识形式化的问题。首先本章对专家系统中常用的几种知识表示方法作一介绍,并分析了各种方法的优点和不足之处。然后对关于燃气轮机的知识作一分类,提出了燃气轮机知识的四层结构形式及其关联思想。在此基础之上针对燃气轮机知识的特点,决定采用框架和产生式相结合的知识表达方式表达燃气轮机知识。并针对传统框架的不足提出了逻辑框架的概念,以逻辑框架表示燃气轮机的深层结构知识,以框架和产生式相结合的方式表达燃气轮机专家经验类浅层知识。