Search papers, labs, and topics across Lattice.
The paper introduces Logical Robots, a multi-agent simulation platform where robot behaviors are programmed declaratively using the Logica logic programming language. This system maps robot sensor data and shared memory to motor outputs via logical predicates, enabling both reactive control and high-level planning within a unified framework. The authors demonstrate the platform's utility for exploring complex multi-agent behaviors by implementing various scenarios.
Ditch imperative robot programming and embrace the elegance of logic: control swarms with declarative code.
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.
Google Research