NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
Validation Of Critical Knowledge-Based SystemsReport discusses approach to verification and validation of knowledge-based systems. Also known as "expert systems". Concerned mainly with development of methodologies for verification of knowledge-based systems critical to flight-research systems; e.g., fault-tolerant control systems for advanced aircraft. Subject matter also has relevance to knowledge-based systems controlling medical life-support equipment or commuter railroad systems.
Document ID
19920000192
Acquisition Source
Legacy CDMS
Document Type
Other - NASA Tech Brief
Authors
Duke, Eugene L.
(NASA Ames Research Center, Moffett Field, CA.)
Date Acquired
August 15, 2013
Publication Date
March 1, 1992
Publication Information
Publication: NASA Tech Briefs
Volume: 16
Issue: 3
ISSN: 0145-319X
Subject Category
Mathematics And Information Sciences
Report/Patent Number
ARC-12427
Accession Number
92B10192
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.

Available Downloads

There are no available downloads for this record.
No Preview Available