知识库的一致性与完备性检验

Consistency and Completeness Verification of the Knowledge Base

本文讨论了基于知识的系统的知识库的一致性与完备性检验;给出了知识库的一致性与完备性的定义及检验方法;探讨了知识库的各种潜在问题对推理过程及结果的影响.

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.