A Way to Facilitate Decision Making in a Mixed Group of Manned and Unmanned Aerial Vehicles

A mixed group of manned and unmanned aerial vehicles is considered as a distributed system. A lattice of tasks which may be fulfilled by the system matches to it. An external multiplication operation is defined at the lattice, which defines correspondingly linear logic operations. Linear implication and tensor product are used to choose a system reconfiguration variant, i.e., to determine a new task executor choice. The task lattice structure (i.e., the system purpose) and the operation definitions largely define the choice. Thus, the choice is mainly the system purpose consequence. The suggested method is illustrated using an example of a mixed group control at forest fire compression. Keywords Multi-Agent Systems · Decision making · Mixed Group · Goal Lattice · Linear logic 1 Introduction At present, aviation surveillance systems in the emergency zone have received wide distribution [1]. Lately, unmanned aerial vehicles (UAV) are actively used in these surveillance systems.