Air traffic controller aids for planning of arrival traffic - An AI approach

Air traffic management is considered as an AI problem, and planning concepts are developed for incorporation into an automation aid for enroute arrival controllers being developed by NASA. An Assumption-Based Truth Maintenance System is modified to include the nonmonotonicities inherent in the Air Traffic Control (ATC) domain, and it is noted under what circumstances the advantages of the ATMS in standard problem-solving domains carry over to planning. The noninteracting actions of the conceptualization are contrasted with the interacting actions of other domains. It is shown that the noninteracting nature of the ATC domain makes it possible to provide an efficient planner that avoids the frame problem.