It's actually called Symbolic AI, which codifies clearly defined rules and behaviors - think decision trees and flowcharts. I doubt machine learning will be used in this case, since the rules and reasoning used by air traffic controllers have evolved over almost a century and are well understood. Machine learning is more for situations where the software has to discover the best way to operate because the rules aren't well established.