The creation of an automated, user-driven tool for expert system development, validation, and verification is curretly onoging at NASA's Jet Propulsion Laboratory. In the new age of faster, better, cheaper missions, there is an increased willingness to utilize embedded expert systems for encapsulating and preserving mission expertise in systems which combine conventional algorithmic processing and artifical intelligence. The once-questioned role of automation in spacecraft monitoring is now becoming one of increasing importance.
A Tool for Automatic Verification of Real-Time Expert Systems
1994-08-01
Preprint
No indication
English
Expert systems for real time applications
Tema Archive | 1985
|Real Time Analysis on Expert Systems
British Library Conference Proceedings | 2000
|Verification and validation of expert systems
AIAA | 1989
|