NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
Approaches to the verification of rule-based expert systemsExpert systems are a highly useful spinoff of artificial intelligence research. One major stumbling block to extended use of expert systems is the lack of well-defined verification and validation (V and V) methodologies. Since expert systems are computer programs, the definitions of verification and validation from conventional software are applicable. The primary difficulty with expert systems is the use of development methodologies which do not support effective V and V. If proper techniques are used to document requirements, V and V of rule-based expert systems is possible, and may be easier than with conventional code. For NASA applications, the flight technique panels used in previous programs should provide an excellent way to verify the rules used in expert systems. There are, however, some inherent differences in expert systems that will affect V and V considerations.
Document ID
19880007848
Acquisition Source
Legacy CDMS
Document Type
Conference Paper
Authors
Culbert, Chris
(NASA Lyndon B. Johnson Space Center Houston, TX, United States)
Riley, Gary
(NASA Lyndon B. Johnson Space Center Houston, TX, United States)
Savely, Robert T.
(NASA Lyndon B. Johnson Space Center Houston, TX, United States)
Date Acquired
September 5, 2013
Publication Date
October 1, 1987
Publication Information
Publication: First Annual Workshop on Space Operations Automation and Robotics (SOAR 87)
Subject Category
Cybernetics
Accession Number
88N17232
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.
No Preview Available