A tool for interactive verification and validation of rule-based expert systems.

Persistent Link:
http://hdl.handle.net/10150/184805
Title:
A tool for interactive verification and validation of rule-based expert systems.
Author:
Jafar, Musa Jafar.
Issue Date:
1989
Publisher:
The University of Arizona.
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.
Abstract:
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.
Type:
text; Dissertation-Reproduction (electronic)
Keywords:
Knowledge acquisition (Expert systems); Expert systems (Computer science)
Degree Name:
Ph.D.
Degree Level:
doctoral
Degree Program:
Systems and Industrial Engineering; Graduate College
Degree Grantor:
University of Arizona
Advisor:
Bahill, A. Terry

Full metadata record

DC FieldValue Language
dc.language.isoenen_US
dc.titleA tool for interactive verification and validation of rule-based expert systems.en_US
dc.creatorJafar, Musa Jafar.en_US
dc.contributor.authorJafar, Musa Jafar.en_US
dc.date.issued1989en_US
dc.publisherThe University of Arizona.en_US
dc.rightsCopyright © 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.en_US
dc.description.abstractInteractive 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.en_US
dc.typetexten_US
dc.typeDissertation-Reproduction (electronic)en_US
dc.subjectKnowledge acquisition (Expert systems)en_US
dc.subjectExpert systems (Computer science)en_US
thesis.degree.namePh.D.en_US
thesis.degree.leveldoctoralen_US
thesis.degree.disciplineSystems and Industrial Engineeringen_US
thesis.degree.disciplineGraduate Collegeen_US
thesis.degree.grantorUniversity of Arizonaen_US
dc.contributor.advisorBahill, A. Terryen_US
dc.contributor.committeememberFerrell, William R.en_US
dc.contributor.committeememberNeuts, Marcel F.en_US
dc.identifier.proquest9003486en_US
dc.identifier.oclc703263182en_US
All Items in UA Campus Repository are protected by copyright, with all rights reserved, unless otherwise indicated.