摘要：将谓词逻辑引入汽轮机故障分析系统中，首先将事实和规则化为与或形，接着采用最一般合一算法对子句集替换合一，最后采用归结原理对汽轮机的故障进行分析。同时，提出采用基于知识本体的推理方法来解决模糊知识的表达和推理问题。采用SPARQL语言和Jena推理机进行模糊知识的推理。SPARQL语言使用SQL语句的查询形式，并提供知识本体查询功能，在本体中，所有的知识都是三元组的形式（〈subject，property，objeet〉），SPARQL只查询本体库中存储的三元组，没有推理功能。因此，把SPARQL查询嵌入在Jena推理机中，通过推理得到隐含的模糊知识三元组。实现了基于规则和本体的汽轮机故障分析仿真系统，其诊断正确率达到89％。该系统具有很高的效率及容错能力。

关键词：汽轮机 故障分析 规则 本体 谓词逻辑 

单位：华北电力大学计算机科学与技术学院 北京102206 北京大学计算机系 北京100871