Checking the correctness of mission plans
J. A. Allen, Ravi Shankar · 2002
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.