用逻辑编程定义机器人行为，实现反应控制与高层规划统一。
Logical Robots: Declarative Multi-Agent Programming in Logica
- 用逻辑谓词描述机器人感知到动作的映射关系。
- 支持低层反应控制与高层规划在同一环境共存。
- 适合研究多智能体系统与可解释机器人行为。
我们提出Logical Robots，一个交互式多智能体仿真平台，其中自主机器人的行为通过逻辑编程语言Logica以声明式方式定义。机器人行为由逻辑谓词描述，将来自模拟雷达阵列和共享内存的观测映射为期望的电机输出。该方法使底层反应控制与高层规划能够在同一编程环境中共存，为探索多智能体机器人行为提供了一个连贯的框架。
原文摘要 · Abstract (English)
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.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。