专家系统知识库验证：Ⅰ.若干问题

对基于规则和框架的专家系统知识库验证中遇到的若干问题进行了深入探讨，首先，简要介绍了知识表达和知识库的组成，接着定义了知识库的Ａ、Ｂ两类知识，对Ｂ类知识，包括冗余，矛盾，循环、不完备等进行了系统分类和分析，最后，讨论了Ｂ类知识对专家系统性能的影响。

Knowledge Verification in Expert SystemsI.Some Issues

As expert system technology spreads,the need for verification of knowledge in expert systems assumes greater importance.This paper addressed the issues involved in demonstrating an expert system based on if-then rules and frames to be free from errors.Knowledge representation and contents of knowledge base are briefly discussed.Errors normally encountered in knowledge base such as redundancy,conflicts,circularity and incompleteness of coverage are outlined and analyzed systematically.In addition,their influences on system performance are also discussed.