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 problem of verification and validation of rule based expert systems. It is a problem knowledge engineers have to deal with while building their expert systems to ensure the reliability, accuracy, and completeness of their knowledge bases. The objective of this research is to make it easy for expert systems developers to build the right system by proposing practical and simple methods for building verification and validation programs to insure the integrity and performance of large scale knowledge based systems.
| Identifer | oai:union.ndltd.org:arizona.edu/oai:arizona.openrepository.com:10150/184805 |
| Date | January 1989 |
| Creators | Jafar, Musa Jafar. |
| Contributors | Bahill, A. Terry, Ferrell, William R., Neuts, Marcel F. |
| Publisher | The University of Arizona. |
| Source Sets | University of Arizona |
| Language | English |
| Detected Language | English |
| Type | text, Dissertation-Reproduction (electronic) |
| Rights | Copyright © is held by the author. Digital access to this material is made possible by the University Libraries, University of Arizona. Further transmission, reproduction or presentation (such as public display or performance) of protected items is prohibited except with permission of the author. |
Page generated in 0.002 seconds