Logical Robots: Declarative Multi-Agent Programming in Logica
This provides a coherent programming environment for researchers exploring multi-agent robot simulations, though it appears incremental as it builds on existing logic programming concepts.
The authors tackled the challenge of programming multi-agent robot behavior by introducing Logical Robots, a simulation platform that uses the logic programming language Logica to declaratively specify robot actions based on sensor inputs, enabling both low-level control and high-level planning in a unified framework.
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.