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...

Full description

Bibliographic Details
Main Author: Jafar, Musa Jafar.
Other Authors: Bahill, A. Terry
Language:en
Published: The University of Arizona. 1989
Subjects:
Online Access:http://hdl.handle.net/10150/184805