Predicate logic reasoning for exploration coordination of multi-robot systems in structured environments

To improve time efficiency for structured environment exploration of multi-robot systems, a novel coordinated strategy based on predicate logic reasoning is proposed in this paper. The strategy assigns the room with maximal utility to the robot with the optimal exploring property, and realizes cooperative exploration by considering the room capacity. A set of predicate logic reasoning formulas is established to implement the coordination. The coordination takes into account robot performance and environment property and is conducted in a distributed manner. In addition, to save computing and storage resources, a triple set named as task information was proposed instead of traditional unfinished job list for environment information sharing among robots. The results are validated by computer simulations for two simulated office like environments.