DocumentCode
1964524
Title
Checking the correctness of mission plans
Author
Allen, John A. ; Shankar, Renuka
Author_Institution
NASA Ames Res. Center, Moffett Field, CA, USA
fYear
1993
fDate
8-11 Nov 1993
Firstpage
462
Lastpage
463
Abstract
MIDAS (Man-machine Integration Design and Analysis System) is a system that evaluates aircraft cockpit designs based on the efficiency of the physical movements of a pilot following a sample mission plan. It provides an interface that allows one to specify the movements necessary to accomplish the mission plan. However, entering this input is both tedious and error-prone. The authors describe a GUI system, AE/2, that makes use of AI planning´s modal truth criterion to give feedback on a mission plan´s semantic correctness
Keywords
aerospace expert systems; aircraft control; ergonomics; formal verification; graphical user interfaces; human factors; planning (artificial intelligence); AE/2; AI planning; GUI; MIDAS; aircraft cockpit designs; feedback; mission plan correctness checking; modal truth criterion; pilot movement efficiency; semantic correctness; Aircraft; Artificial intelligence; Computer errors; Computer industry; Error correction; Feedback; NASA; Notice of Violation; Software tools; Switches;
fLanguage
English
Publisher
ieee
Conference_Titel
Tools with Artificial Intelligence, 1993. TAI '93. Proceedings., Fifth International Conference on
Conference_Location
Boston, MA
ISSN
1063-6730
Print_ISBN
0-8186-4200-9
Type
conf
DOI
10.1109/TAI.1993.634003
Filename
634003
Link To Document