Logic level of control for robot groups using the method of positively constructed formulas

Abstract

The use of the logic calculus of positively-constructed formulas (PCF) for generating plans of actions for groups of underwater robots is considered in this paper. These actions are supposed to be managed by the high level of some control system and plans can be generated in automatic or interactive mode. An example of high-level control implementation for a group of autonomous underwater robots on the basis of formalization of the subject area using the PCFs is presented.