详细内容或原文请订阅后点击阅览
2023/09/25 针对硬人工智能问题的 ANSR
DARPA 选择了以下团队来探索多样化的混合架构，将数据驱动的机器学习与符号推理相结合，符号推理是一种使用符号或抽象表示来理解信息或遵循规则得出结论的问题解决方法。
来源:美国国防高级计划局我们如何构建强大、可靠且值得信赖的基于 AI 的系统？
这个问题是 DARPA 的“可靠神经符号学习和推理 (ANSR)”计划的核心。
可靠神经符号学习和推理 (ANSR)“非正式地说，信任是对自主系统执行未指定任务的能力的信心表达，”DARPA 的 ANSR 项目经理 Alvaro Velasquez 博士说。“确保自主系统安全运行并按预期执行是信任不可或缺的一部分，这是国防部成功采用自主性的关键。我们认为，将数据驱动的神经学习与传统的符号推理相结合是实现这种信任的关键。”
DARPA 选择了以下团队来探索多样化的混合架构，将数据驱动的机器学习与符号推理相结合，符号推理是一种使用符号或抽象表示来理解信息或遵循规则得出结论的解决问题的方法。
- 加州大学洛杉矶分校、中佛罗里达大学、SRI International、莫纳什大学、卡内基梅隆大学、范德堡大学、加州大学伯克利分校和柯林斯航空航天公司将为不同任务开发和建模新的神经符号 AI 算法和架构。SRI International、范德堡大学、加州大学伯克利分校和柯林斯航空航天公司将开发一个保证框架和方法，用于推导和整合正确性证据并量化特定任务的风险。系统与技术研究 (STR) LLC 将开发可证明的用例和架构，用于设计与任务相关的混合 AI 算法应用，其中稳健性和保证对于任务成功至关重要。约翰霍普金斯大学应用物理实验室将测试和评估其他表演者创造的技术，并通过这些用例演示向国防部 (DOD) 任务展示价值。