Artificial intelligence and the air traffic control system report of the Workshop on Artificial Intelligence held at the National Academy of Sciences, Washington, D.C., October 23, 1985. (Transportation research circular, 1986)