Issue No. 06 - December (1994 vol. 6)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/69.334887
<p>The knowledge base is the most important component in a knowledge-based system. Because a knowledge base is often built in an incremental, piecemeal fashion, potential errors may be inadvertently brought into it. One of the critical issues in developing reliable knowledge-based systems is how to verify the correctness of a knowledge base. The paper describes an automated tool called PREPARE for detecting potential errors in a knowledge base. PREPARE is based on modeling a knowledge base by using a predicate/transition net representation. Inconsistent, redundant, subsumed, circular, and incomplete rules in a knowledge base are then defined as patterns of the predicate/transition net model, and are detected through a syntactic pattern recognition method. The research results to date have indicated that: the methodology ran be adopted in knowledge-based systems where logic is used as knowledge representation formalism; the tool can be invoked at any stage of the system's development, even without a fully functioning inference engine; the predicate/transition net model of knowledge bases is easy to implement and provides a clear and understandable display of the knowledge to be used by the system.</p>
knowledge based systems; program verification; semantic networks; pattern recognition; PREPARE; knowledge base verification; correctness; reliable knowledge-based systems; automated tool; potential errors; predicate/transition net representation; incomplete rules; syntactic pattern recognition method; logic; fully functioning inference engine
D. Zhang and D. Nguyen, "PREPARE: A Tool for Knowledge Base Verification," in IEEE Transactions on Knowledge & Data Engineering, vol. 6, no. , pp. 983-989, 1994.