NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
Evaluation of an expert system for fault detection, isolation, and recovery in the manned maneuvering unitThe authors explore issues in the specification, verification, and validation of artificial intelligence (AI) based software, using a prototype fault detection, isolation and recovery (FDIR) system for the Manned Maneuvering Unit (MMU). They use this system as a vehicle for exploring issues in the semantics of C-Language Integrated Production System (CLIPS)-style rule-based languages, the verification of properties relating to safety and reliability, and the static and dynamic analysis of knowledge based systems. This analysis reveals errors and shortcomings in the MMU FDIR system and raises a number of issues concerning software engineering in CLIPs. The authors came to realize that the MMU FDIR system does not conform to conventional definitions of AI software, despite the fact that it was intended and indeed presented as an AI system. The authors discuss this apparent disparity and related questions such as the role of AI techniques in space and aircraft operations and the suitability of CLIPS for critical applications.
Document ID
19910008300
Document Type
Contractor Report (CR)
Authors
Rushby, John (SRI International Corp. Menlo Park, CA, United States)
Crow, Judith (SRI International Corp. Menlo Park, CA, United States)
Date Acquired
September 6, 2013
Publication Date
December 1, 1990
Subject Category
COMPUTER PROGRAMMING AND SOFTWARE
Report/Patent Number
NAS 1.26:187466
NASA-CR-187466
Funding Number(s)
CONTRACT_GRANT: NAS1-18226
PROJECT: RTOP 488-80-41
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.

Available Downloads

NameType 19910008300.pdf STI