Flight and fire control with logic programming

Abstract

This paper describes the use of logic programming to facilitate in decisions of task assignment in air combat. Our approach to the air combat problem is through semantic control. We analyze knowledge requirements for reasoning and decision making for this task, and show that a goal selector for this problem can be constructed via logic programming. The assignment problem of aircraft to targets is treated as an extension of the classical multiple knapsack problem. A possible temporal tree for solving this problem is described. The model used can also be utilized in other applications where cooperation in a time-varying environment is required; for instance control of robots in a time-varying environment.