摘要
介绍了 ZWC88知识库维护系统的总体结构和主要功能,提出了一种算法,对基于规则的精确推理或非精确推理专家系统知识库进行一致性检验。
The constructions and the functions of the system,named ZWC88 knowledge base maintenance subsystem,are reported.An algorithm which can verify consistency in a rule-base expert system knowledge base with precise or nonprecise inference is developed. The algorithm can check the consistency under an expert system being constructed or after the expert system built,and can deal with the problems such as contain,contained,hold, unhold,equal,independent and CF(certainty factor)correct etc.
基金
系国家“七五”重点科技攻关项目研究内容
关键词
知识库维护
非精确推理
一致性检验
knowledge base maintenance
nonprecise inference
verify consistency