Abstract:Many real-world robotic applications such as search and rescue, disaster relief, and inspection operations are often set in unstructured environments with a restricted or unreliable communication infrastructure. In such environments, a multi-robot system must either be deployed to i) remain constantly connected, hence sacrificing operational efficiency or ii) allow disconnections considering when and how to regroup. In communication-restricted environments, we insist that the latter approach is desired to achieve a robust and predictable method for cooperative planning. One of the main challenges in achieving this goal is that optimal planning in partially unknown environments without communication requires an intractable sequence of possibilities. To solve this problem, we propose a novel epistemic planning approach for propagating beliefs about the system's states during communication loss to ensure cooperative operations. Typically used for discrete multi-player games or natural language processing, epistemic planning is a powerful representation of reasoning through events, actions, and belief revisions, given new information. Most robot applications use traditional planning to interact with their immediate environment and only consider knowledge of their own state. By including an epistemic notion in planning, a robot may enact depth-of-reasoning about the system's state, analyzing its beliefs about each robot in the system. In this method, a set of possible beliefs about other robots in the system are propagated using a Frontier-based planner to accomplish the coverage objective. As disconnections occur, each robot tracks beliefs about the system state and reasons about multiple objectives: i) coverage of the environment, ii) dissemination of new observations, and iii) possible information sharing from other robots. A task allocation optimization algorithm with gossip protocol is used in conjunction with the epistemic planning mechanism to locally optimize all three objectives, considering that in a partially unknown environment, the belief propagation may not be safe or possible to follow and that another robot may be attempting an information relay using the belief state. Results indicate that our framework performs better than the standard solution for communication restrictions and even shows similar performance to simulations with no communication limitations. Extensive experiments provide evidence of the framework's performance in real-world scenarios.

Planning, Executing, and Monitoring Communication in A Logic-Based Multi-Agent System

Epistemic planning for multi-robot systems in communication-restricted environments

Adaptation and Communication in Human-Robot Teaming to Handle Discrepancies in Agents' Beliefs about Plans

ConceptAgent: LLM-Driven Precondition Grounding and Tree Search for Robust Task Planning and Execution

Epistemic Planning for Heterogeneous Robotic Systems

Modeling Communication of Collaborative Multi-Agent System under Epistemic Planning

Multi-agent systems for quadcopters

Conversational Language Models for Human-in-the-Loop Multi-Robot Coordination

Planning and Control of Uncertain Cooperative Mobile Manipulator-Endowed Systems under Temporal-Logic Tasks

Towards an ASP-Based Architecture for Autonomous UAVs in Dynamic Environments (Extended Abstract)

ReasonPlanner: Enhancing Autonomous Planning in Dynamic Environments with Temporal Knowledge Graphs and LLMs

Robust Online Epistemic Replanning of Multi-Robot Missions

An ASP-Based Architecture for Autonomous UAVs in Dynamic Environments: Progress Report

Survey of Multi-agent Communication Strategies for Information Exchange and Mission Control of Drone Deployments

Scalable Decision-Theoretic Planning in Open and Typed Multiagent Systems

One to rule them all: natural language to bind communication, perception and action

Real-World Deployment of a Hierarchical Uncertainty-Aware Collaborative Multiagent Planning System

PlanAgent: A Multi-modal Large Language Agent for Closed-loop Vehicle Motion Planning

A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification

A Dynamic-Epistemic Logic for Mobile Structured Agents

Theory of Mind for Multi-Agent Collaboration via Large Language Models