|
|
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) |
|
| Agris Categories |
Documentation and information
|
| Publication Type |
Journal
|