文献类型：期刊文献

中文题名：专家系统知识库验证Ⅰ．若干问题

英文题名：Knowledge Verification in Expert SystemsI.Some Issues

作者：张杰[1];张素贞[1];蒋慰孙[1]

机构：[1]华东理工大学自动化研究所

年份：1996

卷号：22

期号：4

起止页码：474

中文期刊名：华东理工大学学报（自然科学版）

外文期刊名：Journal of East China University of Science and Technology

收录：CSTPCD;;国家哲学社会科学学术期刊数据库;Scopus;CSCD:【CSCD2011_2012】；

语种：中文

中文关键词：专家系统;知识库验证;产生式规则;知识表达

外文关键词：expert system;knowledge base verification;production rule;redundancy;conflict;circularity;incompleteness

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