Khaled Shaalan

{Reliability has emerged as significant issue in developing of expert systems. 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 its ability to detect consistency errors that arise due to using KADS methodology in knowledge modeling.}