Jun, 2024

利用函子数据迁移自动化转移机器人任务计划

TL;DR本文介绍了一种新颖的本体论基于机器人计划转移的方法,使用范畴论中的函子数据迁移。函子提供了领域类型和谓词之间的结构映射,可以将计划从源领域传递到目标领域,而无需重新规划。与创建转移特定计划模型的方法不同,我们的方法可以应用于给定领域内的任何计划。我们通过将任务计划从规范的 Blocksworld 领域转移到与 AI2-THOR Kitchen 环境兼容的领域来演示这一方法。此外,我们讨论了可能增强机器人任务规划适应性的实际应用。