Problem
Research questions and friction points this paper is trying to address.
multi-agent systems
robot behavior
declarative programming
logic programming
autonomous robots
Logical Robots: Declarative Multi-Agent Programming in Logica
🤖 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.
📝 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.
Innovation
Methods, ideas, or system contributions that make the work stand out.
declarative programming
multi-agent systems
logic programming
robot simulation
reactive control
🔎 Similar Papers
No similar papers found.
