来源笔记
Neuro-symbolic AI breakthrough cuts energy use by 100x while boosting accuracy
摘要
本文声称，在视觉-语言-行动机器人模型中加入符号推理，可以在提升长时程任务表现的同时，降低训练和推理能耗。报告中的提升来自减少试错搜索，并在规划时使用显式任务规则。
问题
- 机器人用的标准视觉-语言-行动模型依赖大量数据和试错交互来学习，这让它们在结构化操作任务上速度慢、耗能高，也更容易出错。
- 这类系统在一些规划要求很高的简单任务上也会失败，因为它们依赖统计模式匹配，而不是关于物体关系、顺序或平衡的显式规则。
- 这很重要，因为 AI 和数据中心的能源需求增长很快，而需要大量算力的机器人策略在实际应用中很难扩展。
方法
- 论文使用了一种神经-符号 VLA：一种把神经感知和语言对齐与任务结构上的符号推理结合起来的混合系统。
- 简单说，神经部分负责看场景和读指令，符号部分根据规则规划动作顺序，而不是靠暴力搜索。
- 符号组件编码了结构化任务所需的抽象概念，例如有序移动和有效状态转换，这样机器人在学习过程中会少做很多无效尝试。
- 文中的评估使用了汉诺塔这个规划密集的操作基准，并加入了一个更难、未见过的变体来测试泛化能力。
结果
- 在汉诺塔任务上，神经-符号 VLA 的成功率达到 95%，而标准 VLA 系统为 34%。
- 在这个谜题更复杂、未见过的版本上，混合系统的成功率是 78%，标准模型为 0%。
- 神经-符号模型的训练时间降到 34 分钟，而传统模型需要 超过 1.5 天。
- 训练能耗降到基线系统的 1%，也就是大约 100 倍 的下降。
- 运行时能耗降到基线的 5%，也就是大约 20 倍 的下降。
- 所给文本中的证据来自一个面向结构化长时程操作的概念验证研究，不是一个广泛的机器人基准套件。