Principles of Mathematical Logic for Multi-Agent Control of Intellectual Mobile Objects and Systems In the Dynamic Environment

Intelligent systems find a wide application in various fields, and relate to dual-purpose technologies. Intelligent mobile objects are to solve problems which cannot be solved by each of them alone. In addition, the environment in which they perform their task is dynamic, and the principles of centralized control become ineffective. Organization of interaction or the formation of coalitions between the performers to achieve a common goal is an important task. The purpose of this article is to analyze the problems faced by the designers of group management systems, and to develop logic-mathematical apparatus describing the process of group interaction of intellectual objects and systems inside the group. To optimize the solutions of control problems, we propose a method of multi-agent control. A logic-mathematical apparatus describing the process of group interaction of intelligent objects and systems within the group is obtained, the essence of which is that each group object determines its next action to achieve collective goals. The developed methodology is proposed to apply for selecting the optimal strategy for the control of complex spatially distributed systems, where decentralization of management, and the formation of coalitions between agents of the system provide a minimum total cost of material resources and time.