An Approach for Automating the Verification of KADS Based Expert Systems

Abstract: Verification plays an important role in assuring the reliability of expert systems. Expert systems verification involves checking the knowledge base for consistency, completeness, and other errors. Our study indicates that in order to verify an expert system, it is necessary to have a conceptual model of the knowledge base. The KADS methodology lends itself to conceptual modeling of the knowledge base. This enabled us to build an automatic verification tool. This tool is able to detect different knowledge base error types. A novel feature of this tool is it s ability to detect consistency errors that arise due to using KADS methodology in knowledge modeling.
URL
Publication year 1998
Pages 107-124
Organization Name
Country United Kingdom
serial title New Reveiew of Applied Expert Systems
Volume 4 .
Department Knowledge Engineering and Expert System Building Tools
Author(s) from ARC
External authors (outside ARC)
    Hoda Baraka
Agris Categories Documentation and information
Publication Type Journal