.png){kind=icon}
Return
PREPARE - A TOOL FOR KNOWLEDGE-BASE VERIFICATION
.png){kind=icon}
PRE
AI
DOI：10.1109/69.334887.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
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. This concise 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 1) the methodology can be adopted in knowledge-based systems where logic is used as knowledge representation formalism; 2) the tool can be invoked at any stage of the system's development, even without a fully functioning inference engine; 3) 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.
Keywords:
KNOWLEDGE BASE
INCONSISTENCY
REDUNDANCY
CIRCULARITY AND INCOMPLETENESS
VERIFICATION
PREDICATE TRANSITION NETS
SYNTACTIC PATTERN RECOGNITION
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
IF:
10.4
Papers:
6.9K
Citations:
3.2W
Organization
No organization information available
Cited Papers
.png){kind=icon}
ShareSaveShareSave no more
no more