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

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