Logical Robots: Declarative Multi-Agent Programming in Logica

2026-04-07

AI Summary

This work proposes a unified framework that simultaneously enables low-level reactive control and high-level planning for multi-agent robotic systems. By constructing an interactive multi-agent simulation platform, the approach uniquely integrates declarative predicate rules, simulated radar observations, and a shared memory mechanism within a single logic programming environment (Logica), directly mapping perceptual inputs to motor outputs. This integration facilitates unified modeling of cooperative multi-agent behaviors and yields a scalable, interpretable simulation system for multi-robot coordination. The framework effectively balances real-time reactivity with long-term planning capabilities in complex tasks, demonstrating a cohesive architecture that bridges reactive execution and deliberative reasoning without relying on heterogeneous subsystems.

Technology Category

Multiagent Systems: Multiagent PlanningIntelligent Robots: Multi-Robot SystemsHumans and AI: Human-Aware Planning and Behavior Prediction

Application Category

Semantics and Knowledge: Data modeling to support human-machine intelligence, including LLMs agents, intelligent system behavior, explanations, and user-friendly interactionsUser Modeling, Personalization and Recommendation: User modeling and simulation for interactive and conversational systemsSystems and Infrastructure for Web, Mobile and WoT: Applied ML and AI for Web-based mobile applications

Abstract

We present Logical Robots, an interactive multi-agent simulation platform where autonomous robot behavior is specified declaratively in the logic programming language Logica. Robot behavior is defined by logical predicates that map observations from simulated radar arrays and shared memory to desired motor outputs. This approach allows low-level reactive control and high-level planning to coexist within a single programming environment, providing a coherent framework for exploring multi-agent robot behavior.

Problem

• multi-agent systems
• robot behavior
• declarative programming
• logic programming
• autonomous robots

Innovation

• declarative programming
• multi-agent systems
• logic programming
• robot simulation
• reactive control