Logical Robots: Declarative Multi-Agent Programming in Logica
Fuente:
arXiv
Saved in:
| Main Authors: | , , , , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866910110422401024 |
|---|---|
| author | Skvortsov, Evgeny Xia, Yilin Garg, Ojaswa Bowers, Shawn Ludäscher, Bertram |
| author_facet | Skvortsov, Evgeny Xia, Yilin Garg, Ojaswa Bowers, Shawn Ludäscher, Bertram |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2604_06629 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Logical Robots: Declarative Multi-Agent Programming in Logica Skvortsov, Evgeny Xia, Yilin Garg, Ojaswa Bowers, Shawn Ludäscher, Bertram Multiagent Systems Artificial Intelligence Robotics 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. |
| title | Logical Robots: Declarative Multi-Agent Programming in Logica |
| topic | Multiagent Systems Artificial Intelligence Robotics |
| url | https://arxiv.org/abs/2604.06629 |