Email RIS file
Bookmark
Report an Issue

Evaluation of an expert system for fault detection, isolation, and recovery in the manned maneuvering unit

Author:
Crow, Judith
Published:
Dec 1, 1990.
Physical Description:
1 electronic document
Additional Creators:
Rushby, John
Online Version

Availability

I Want It
I Want It

Finding items...

Restrictions on Access:
Unclassified, Unlimited, Publicly available.
Free-to-read Unrestricted online access
Summary:
The 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.
Other Subject(s):
Collection:
NASA Technical Reports Server (NTRS) Collection.
Note:
Document ID: 19910008300.
Accession ID: 91N17613.
NASA-CR-187466.
NAS 1.26:187466.
Terms of Use and Reproduction:
No Copyright.
View MARC record | catkey: 15682603