摘要
知识库的一致性是决定专家系统效率及求解正确性的关键因素。本文以Petri网为工具对知识库进行模拟分析,把知识库一致性的检查化简为线性代数问题。把这一方法应用于分布式知识库系统,首次得出了检查其一致性的形式方法。本文最后给出了一致性检查的充分必要条件,为建立(分布式)知识库的自动维护系统打下了基础。
The consistency problem of a knowledge base is one of a few key factors that play a decisive role in the constructions of an efficient and correct expert system. With Petri nets as a model for analysis, this paper has successfully simplified the consistancy problem into a simple linear algebraic problem. Applied to distributed knowledge bases, this method yields a formal approach for consistency checking. Furthermore, necessary and sufficient conditions for a knowledge base to be consistent are given.
出处
《计算机应用与软件》
CSCD
1995年第2期33-41,46,共10页
Computer Applications and Software
基金
中科院国家自然科学基金项目
云南省应用基础研究基金(94F035Q)
关键词
知识库
PETRI网
模型
专家系统
Knowledge base system, knowledge consistency, Petri net model, detecting algorithm, expert system.
