论文记录 · 证据边界公开

Combining Large Language Models and Symbolic Reasoning for Multi-Robot Temporal Planning through Explainable Knowledge Bases

arXiv(cs.AI/cs.HC/cs.RO) · 2025-02-26 · LLM+符号推理的多机器人时序任务规划(Prolog KB+STN+BT vs 纯 LLM/PDDL 类管线)

论文元数据

作者
Enrico Saccon、Matteo Saveriano、Edoardo Lamon、Luigi Palopoli、Marco Roveri
机构
机构尚未补齐
发布日期精度
研究方向
LLM+符号推理的多机器人时序任务规划(Prolog KB+STN+BT vs 纯 LLM/PDDL 类管线)
机器人
Blocks World/Grippers 多机器人规划仿真域、两台协作机械臂(真实装配端到端演示)
DOI
未披露
arXiv
2502.19135
引用元数据
0
记录状态
included
质量检查
无自动质量红旗