主要观点总结
本文主要报道了AAAI 2025会议的相关内容，包括会议的时间、地点、主办单位以及投稿情况。文章还特别介绍了三篇杰出论文及其内容，包括论文的标题、作者、机构和论文摘要。除此之外，还有一篇获得AI对社会影响特别奖的论文也受到了关注。每篇论文都有其独特的贡献和创新点，反映了人工智能领域的最新进展和前沿技术。
关键观点总结
关键观点1: AAAI 2025会议信息
会议时间、地点、主办单位及投稿情况。
关键观点2: 三篇杰出论文介绍
包括论文标题、作者、机构和论文摘要，每篇论文都有独特的贡献和创新点。
关键观点3: AI对社会影响特别奖论文介绍
介绍了一篇获得AI对社会影响特别奖的论文，该论文关注如何利用志愿者收集的生物多样性数据集来训练深度学习模型以监测气候变化对生物多样性的影响。
正文
自 2 月 25 日起，AAAI 2025 开始在美国宾夕法尼亚州费城举办，会议为期 8 天，将于 3 月 4 日结束。
AAAI 由国际人工智能促进协会主办，是人工智能领域历史最悠久、涵盖内容最广泛的国际顶级学术会议之一，也是中国计算机学会（CCF）推荐的 A 类国际学术会议，每年举办一届。AAAI 2025 共有 12957 篇有效投稿，录用 3032 篇，录取率为 23.4%。其中，Oral 论文占比 4.6%。
现在，AAAI 2025 杰出论文奖正式公布了，以表彰那些「在技术贡献和阐述方面体现最高标准」的论文。
本届杰出论文共有三篇，其中一篇由国内高校南京大学周志华团队斩获，其他两篇由多伦多大学、波尔多大学等机构的研究者获得。另外，还有一篇论文被选为「AI 对社会影响特别奖」。
论文 1：Efficient Rectification of Neuro-Symbolic Reasoning Inconsistencies by Abductive Reflection
论文摘要：神经符号 (Neuro-Symbolic，NeSy) AI 可以类比人类双过程认知，利用神经网络建模直觉系统 1，用符号推理建模算法系统 2。然而，对于复杂的学习目标，NeSy 系统通常会产生与领域知识不一致的输出，而且很难纠正它们。
本文受人类认知反射的启发，它能够及时发现直觉反应中的错误，并通过调用系统 2 推理来修改它们。作者提出引入基于溯因学习（Abductive Learning，ABL）框架的溯因反射（ABL-Refl）来改进 NeSy 系统。
具体来讲，ABL-Refl 利用领域知识在训练期间溯因反射向量，然后可以标记神经网络输出中的潜在错误并调用溯因来纠正它们并在推理期间生成一致的输出。与之前的 ABL 实现相比，ABL-Refl 效率很高。实验表明，ABL-Refl 的表现优于当前 SOTA NeSy 方法，以更少的训练资源和更高的效率实现了出色的准确性。
论文 2：Every Bit Helps: Achieving the Optimal Distortion with a Few Queries
论文摘要：在多智能体系统中，一个基本任务是将智能体与备选方案（例如资源或任务）进行匹配。通常，这是通过获取智能体对备选方案的顺序排名（ordinal rankings）而不是其精确的数值效用（cardinal utilities）来实现的。
虽然这简化了信息获取过程，但信息的不完整性会导致智能体效率低下，这种低效性通过一种称为失真度（distortion）的指标来度量。
本文提出了一种新颖的排序算法，用于单边匹配和单一胜者选举，该算法让每个智能体利用有限数量的 λ 基数查询，实现了渐近最优的扭曲界限，其中 λ 是一个常数。表 1 和表 2 分别提供了本文的结果总结以及在单边匹配和投票方面的对比。
本文证明了在单边匹配问题中，使用 λ 次查询可以实现
的扭曲度。例如，使用三次查询可以实现 O (n^(1/3)) 的扭曲度，这比之前的 O (log n) 查询结果更好。
文章还将这一结果扩展到了单一胜者选举问题，证明了在任何常数 λ 的情况下，使用 λ 次查询可以实现
的扭曲度，其中 n 是智能体数量，m 是候选者数量。
论文 3：Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives
论文摘要：部分可观测马尔可夫决策过程（POMDPs）是处理序列决策中一个重要的不确定性模型
本文的主要技术成果是为两类部分可观测马尔可夫决策过程（POMDPs）—— 弱揭示（weakly revealing）和强揭示（strongly revealing）—— 构建了精确算法。重要的是，这些可判定的情况可以简化为对有限信念支持马尔可夫决策过程（finite belief-support Markov decision process）的分析。这为一大类 POMDPs 提供了一种概念上简单且精确的算法。
