Title :
Checking the correctness of mission plans
Author :
Allen, John A. ; Shankar, Renuka
Author_Institution :
NASA Ames Res. Center, Moffett Field, CA, USA
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;
Conference_Titel :
Tools with Artificial Intelligence, 1993. TAI '93. Proceedings., Fifth International Conference on
Conference_Location :
Boston, MA
Print_ISBN :
0-8186-4200-9
DOI :
10.1109/TAI.1993.634003
