研究人员开发了APTree,一个旨在自动化建筑预制领域机器人任务规划的新框架。该模型驱动系统集成了符号规划器和行为树,可在运行时动态生成和组合模块化任务计划。APTree包含一个用于形式化规范和验证的领域特定语言,其有效性已在livMatS仿生壳体展馆项目中得到证明,在该项目中,它通过协调多个规划器成功检测到错误并生成了大规模计划。形式化分析证实了其在特定条件下执行和重新规划能力的安全,使得没有深厚符号规划专业知识的建筑从业者也能实现自动化任务规划。 AI
影响 自动化复杂的机器人任务规划,可能加速机器人技术在建筑预制领域的应用。
排序理由 该集群包含一篇详细介绍机器人任务规划新框架的研究论文。[lever_c_demoted from research: ic=1 ai=1.0]
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →