Logical-optimization approach to pursuit problems for a group of targets

Abstract

Problems of automatic action planning and optimal control of unmanned vehicles in an adversarial environment are considered. An approach based on nonmonotonic logic in the language of positively formed formulas for automatically planning a route to a chosen target area is developed. The choice of this area, as well as classification and determination of priority targets, is implemented by means of logical inference with classical semantics. The optimal pursuit problem for the example of a group of three targets is solved.