عربى
Claes Home Page
Objectives
Achievement
Organizational Structure
CLAES Projects
Expert Systems
online Expert Systems
Publications
Reasearch Staff
Worshops
Collaborating Institutions
intrnal Links
 
Titles
English : 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
    Central Laboratory for Agricultural Expert System (CLAES)
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

 
Please email your suggestions to management@claes.sci.eg