群制御arXiv:2604.06629
論理ロボット：Logicaによる宣言的マルチエージェントプログラミング
Logical Robots: Declarative Multi-Agent Programming in Logica
ロボットの行動を論理プログラミング言語Logicaで宣言的に記述するマルチエージェントシミュレーションプラットフォームを提案した論文。
著者: Evgeny Skvortsov, Yilin Xia, Ojaswa Garg, Shawn Bowers, Bertram Ludäscher
分類: cs.MA, cs.AI, cs.RO
原文アブストラクト
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.