基于定性模型的定性仿真方法

定性仿真在定性推理中起着核心作用．本文将介绍基于定性模型的定性仿真法的基本内容，讨论支持其走向实用的主要方法和技术，并展示其在若干领域中的应用．

一种基于定性模型的诊断方法

提出一个基于定性模型的诊断方法，将功能描述引入诊断模型，从而改进以往方法候选故障较多的缺点。讨论建模方法、生成假设算法和诊断过程，并以肾脏疾病为例，阐述了定性模型的建立。

Frete：一种利用特性层知识的改进Rete算法

文中提出的ＦＲｅｔｅ匹配算法是Ｒｅｔｅ算法的基础上，通过利用有关特性关系的知识，对Ｒｅｔｅ匹配网络做了两点改进：第一，为模式网中的结点附加相容兄弟链表；第二，将联接网中同一产生式的联接结点按变量约束划分为等价类，并相应改进网络解释算法，从而达到进一步减少匹配耗费的目的。文中给出了ＦＲｅｔｅ算法的细节以及与Ｒｅｔｅ算法的耗费比较分析。

CPNEES-煤田勘探网度专家系统的设计与实现

根据已知的地质资料,推断煤田的勘探类型,以确定下一阶段合理的勘探网度是煤田地质勘探工作中的关键而困难的问题。这也是本文所描述的CPNEES(Coal Prospecting Net Extent Expert System)所要处理的领域问题。本文首先分析该领域的特征,指出这些问题特征对所要建造的专家系统的特殊要求,然后介绍CPNEES的设计与实现。