摘要
本文讨论了基于知识的系统的知识库的一致性与完备性检验;给出了知识库的一致性与完备性的定义及检验方法;探讨了知识库的各种潜在问题对推理过程及结果的影响.
The consistency and completeness verification of the knowledge base in knowledge-based systems are discussed. There are five categories of the inconsistency of a knowledge base, namely, the surplus rules, contradictory rules, implicative rules, unnecessary premises, and circulation rules. There are four categories of the completeness of a knowledge base, namely, the unused property values, illegal property values, unreachable conclusions, and unsatisfiable premises and unsolvable goals. All categories about the consistency and completeness are defined and the verifying methods are given. Preliminary investigations are made on the effects of various potential problems in the knowledge base on the inference process and results.
出处
《华中理工大学学报》
CSCD
北大核心
1991年第A02期33-39,共7页
Journal of Huazhong University of Science and Technology
基金
国家自然科学基金资助项目
关键词
知识库
检验
机械系统
知识基系统
Knowledge-based system
Knowledge base verification
Con- sistency
Completeness