A tool for interactive verification and validation of rule-based expert systems.
Interactive as well as Automatic Verification and Validation is valuable, especially when the size of a knowledge base grows and manual techniques are not feasible. It ensures the stability of the system and raises the confidence in its level of performance. In this dissertation I address the proble...
Main Author: | |
---|---|
Other Authors: | |
Language: | en |
Published: |
The University of Arizona.
1989
|
Subjects: | |
Online Access: | http://hdl.handle.net/10150/184805 |