Logical Robots: Declarative Multi-Agent Programming in Logica
Evgeny Skvortsov, Yilin Xia, Ojaswa Garg, Shawn Bowers, and Bertram Lud\"ascher
TL;DR
Logical Robots introduces a simulation platform where multi-agent robot behaviors are specified declaratively using Logica, enabling integrated reactive control and planning within a single environment.
Contribution
It presents a novel platform combining declarative logic programming with multi-agent robot simulation, facilitating seamless integration of reactive control and planning.
Findings
Supports low-level reactive control and high-level planning simultaneously
Allows specification of robot behavior through logical predicates
Provides a coherent framework for multi-agent robot behavior exploration
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.