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
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
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.

Related Records

IDRelationTitleN88-25207/TBSee AlsoApplication Of Flight Systems Methodologies To The Validation Of Knowledge-Based Systems.