文献类型：期刊文献

中文题名：专家系统知识库验证──Ⅱ．基于决策表的知识库验证工具KBV

英文题名：Knowledge Verification in Expert Systems──Ⅱ. Decision-table-based Knowledge Base Verifier(KBV)

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

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

年份：1996

卷号：22

期号：5

起止页码：583

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

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

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

语种：中文

中文关键词：专家系统;知识库;验证;决策表;KBV

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

摘要：说明了决策表和知识库之间的关系，详细介绍了作者开发的基于决策表的知识库验证工具ＫＢＶ（ＫｎｏｗｌｅｄｇｅＢａｓｅＶｅｒｉｆｉｅｒ）。给出了在ＫＢＶ中检查冗余、矛盾、循环、不完备性的算法。ＫＢＶ能对包含特定规则、通用规则和框架的知识库进行验证。由于考虑了各子决策表之间的逻辑关系，ＫＢＶ得到的结果是全局的。
The relationship between decision tables and knowledge bases is described. An improved knowledge base verifying tool named KBV (Knowledge Base Verifier) is addressed, algorithms to check redundancy, conflicts,circularity and incompleteness of coverage are given. KBV works on the decision tables,it can verify knowledge base mixing specific and generic rules with frames, What is more,since logical relations between each subtables are considered in KBV, the verifying results obtained are at global level.