Automatic control, artificial intelligence, logic programming, expert systems, decision making support, modeling and simulation.