故障诊断专家系统研究之三-----知识表示结构

知识表示结构

 

 

专家系统运作的基础是某一领域专家的经验和知识，如何将燃气轮机的具体知识准确地加以描述，使其具有通用性、可理解性及可扩充性是本章研究的核心论题。首先本章简要介绍几种常见的知识表示方法，然后结合实例讨论本文采用的知识表示方法。

 

 

§1  知识及知识表示方法分类

1. 知识       关于知识的定义有多种说法，有人认为知识是经过加工、整理和改造后的信息；有人认为知识是由特定领域的描述、关系和过程组成；而海叶斯－罗斯（Heyes -Roth）则给出知识的公式性描述：知识＝事实＋信念＋启发式。

2. 知识表示     知识表示是知识的符号化过程，是专家系统的核心课题。知识表示的主要任务是设计出各种数据结构作为某一领域专家知识的载体。

3. 知识表示方法分类         知识表示方法一般常用的有以下四种：

    a. 语义网络 

      b. 产生式规则

      c. 框架 

      d. 谓词逻辑表达式 

 

 

 

 

§2  几种知识表示方法的比较

一、语义网络表示法

语义网络是知识的图解表示，如图3－1所示，它由节点和描述节点之间关系的链连接而成。

节点用以表示对象和描述部分。对象是客观存在的物质实体，如“压气机”、“涡轮”，“叶片”等；对象也可以是无形的抽象实体，如行动、事件等。描述部分提供有关对象的附加信息，如“变形”提供了关于“叶片”的附加信息。

链连接对象和描述部份，链可以表示任何关系，通常链分为三类：(1) Is-a链，常用于表示类和实例之间的关系。如图3－1中节点“MS6001B型”是节点“燃气轮机”的一个实例。(2) Has-a链，表示节点之间的所属关系。如图3－1中节点“压气机”、“涡轮”则属于“MS6001B型”节点。(3) 自定义链用于表示除上述两种关系外的所有关系，如图3－1中节点“变形”同“外来杂物”之间的关系用自定义链Caused-by表示。由于自定义链的存在，使得所有关系均可用上述三种方法表示。

 

 

                   

 

 

图3-1  语义网络表示实例

 

 

 

 

二、谓词逻辑表示法

谓词逻辑是在命题逻辑的基础之上发展起来的一种知识表示方法。它将一个原子命题分解为“谓词”和“个体词”两个部分，例如：“X是一种燃气轮机”这样一个命题，在谓词逻辑中可用GASTURBINE（X）表示。其中GASTURBINE是谓词，X是个体词，是一个变量，可用它代表燃气轮机家族中的任一种型号。谓词有一元和多元之分，有n个个体词的谓词称为n元谓词，如命题“燃气轮机包括主机和辅机两大部分”可用二元谓词GASTURBINE（MAIN，ACCESSORY）表示，其中MIAN代表主机，ACCESSORY代表辅机。

由于谓词逻辑是在命题逻辑的基础之上发展起来的，所以命题逻辑演绎的等价式以及相应的推理规则、量词使用规则、蕴含式均适用于谓词逻辑的演绎推理，所不同的是对命题逻辑的演绎式均以量词加以量化。

 

 

三、产生式系统

产生式系统（Production System）是一个基于规则的系统，它用一组产生式规则来表示领域专家的知识。

产生式规则主要用于描述有关问题的状态转移，性质变化以及因果关系等过程性知识，每一条规则都是一个“条件（产生）行动”或“证据（产生）结论”，所以叫产生式，其规则的表达形式为：

如果（IF）   A   则（THEN）    B

式中A表示规则的条件（前提）部分，B表示规则的行动（结论）部分，它表明事物满足了什么样的条件，会产生什么样的行动，或满足了什么样的前提（证据），会得到什么样的结论。凡是有直接因果关系的知识，都可以用产生式规则来表示。

在燃气轮机系统的故障诊断中，专家们也常常根据某些故障现象来判断哪个机组部件发生了故障，并确定应当采取什么样的处理方法。

燃机电厂的机组管理人员，判定运行中的发电机组发生内部故障的判据是：发电机组开关自动跳闸、发电机组差动保护动作、发电机组的仪表有急剧升降变化、且有相应的声光报警。对于这些知识和经验，可以通过二条产生式规则来表示，即

       Rule1:如果 发电机组自动跳闸  且

                 发电机组差动保护器动作  且

                 发电机组仪表有急剧升降变化  且

                 有声光报警

              则  机组内部故障

 

 

       Rule2:如果 机组内部故障

              则  机组全停

 

 

图3－3    产生式规则的直观表示

 

 

用类似的方法，还可以建立其它规则。

 

 

四、框架表示法

框架理论首先由Minsky于1975年提出，作为视觉理解、自然语言对话和其他复杂行为的基础。框架的一种表示方法是把它表示成一个嵌套的连接表，在最高层，框架结构是这样的：

（<框架名>       （<槽名1>…）        （<槽名2>…）…）

在下一层中，每一个槽具有同样的结构：

（<槽名>    （<侧面名1>…）           （<侧面名2>…）…）

每一个侧面又包含若干值：

（<侧面名>       （<值1>…）            （<值2>…）…）

因此一个框架可以拥有任意数目的槽，每个槽又可以包含任意数目的侧面，每个侧面又可以包含任意数目的值。给出一条燃气轮机结构知识如下：

    主机系统包括压气机、燃烧室、涡轮；压气机有出口温度参数和叶片部件；涡轮有出口温度参数和出口压力参数；每一参数值有过高、过低二种异常状态描述；叶片有磨损、变形、断裂三种状态。

 

 

这条知识用框架可以简单的表示如下

（框架名    主机系统）