产生式系统的知识表示方法，包括事实的表示和规则的表示。
(1) 事实的表示
(a) 孤立事实的表示
孤立事实在专家系统中常用〈特性- 对象- 取值〉(attribute object value)三元组表示。
例如:
(AGE ZHAO-LING 43)
(FATHER ZHAO-YIN ZHAO-LING)
(GRAMSTAIN ORGANISM GRAM-POSITIVE)
(DOSE DRUG 2.0－GRAMS)
(MAN ZHAO-LING TRUE)
(WOMAN ZHAO-LING FALSE)
这里，第三、四句是MYCIN系统中的事实，分别表示"细菌染色是革兰氏阳性"，"用药剂量是2.0克"。最后两句所表示的关系与前四句有所不同，有时称为谓词，谓词也可用二元关系表示：
MAN(ZHAO-LING)
～WOMAN(ZHAO-LING)
此外，在专家系统中为了表示不完全的知识，用三元组表示还嫌不够，常需加入关于该事实确定性程度的数值度量，如MYCIN中用置信度来表示事实的可信程度。于是每一件事实变成了四元关系。
(IDENT ORGANISM-2 STREPTOCOCCUS 0.7)
(IDENT ORGANISM-2 STAPHYLOCOCCUS 0.3)
(MORPH ORGANISM-1 ROD 0.8)
(MORPH ORGANISM-1 COCCUS 0.2)
(GRAM ORGANISM-3 GRAMNEG 1.0)
分别表示(细菌-2是连锁状球菌的置信度为0.7)，(细菌-2是葡萄球菌属的置信度为0.3)，(细菌-1的形态为杆状的置信度是0.8)，(细菌-1的状态是球状的置信度为0.2)，(细菌-3革兰氏染色确为阴性)。
(b) 事实之间的关系
把静态的知识划分为互不相关的孤立事实，显然可以简化知识的表示方法。不过在许多实际情况下，知识本身是一个整体，很难分为独立的事实，事实之间联系密切。在计算机内部需要通过某种途径建立起这种联系，以便于知识的检索和利用。下面仍然以实际的专家系统来说明此问题。
● 树状结构
在MYCIN系统中表示事实用的是四元组，其中对象称为上下文(context)，特性称临床参数。为了查找和诊断的方便，它把不同的对象(即上下文)按层次关系组成一种上下文树，如图4.13所示。
图4.13上下文树
● 网状结构
在PROSPECTOR探矿系统中，整个静态知识以语义网络的结构表示，它实际上是特性-对象-取值表示法的推广。把相关的知识连在一起，就使查找方便了。将不同对象的矿石按子集和成员关系组成图4.12所示的网络，表示了"方铅矿是硫化铅的成员，硫化铅是硫化矿的子集，而硫化矿又是矿石的子集"。其中S表示子集关系，〈subset x y〉表示y是x的子集。e表示成员关系〈element x y〉表示y是x的成员。同样关系也存在于岩石之间，如图4.14所示。
图 4.14 子集与成员关系网络
|
|
 |