
Auto Byte
专注未来出行及智能汽车科技

微信扫一扫获取更多资讯

Science AI
关注人工智能与其他前沿技术、基础学科的交叉研究与融合发展

微信扫一扫获取更多资讯
南大周志华团队获奖,AAAI 2025杰出论文奖出炉
自 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 提供了一种概念上简单且精确的算法。文章通过一个揭示版本的经典 Tiger POMDP 问题进行了实验,比较了他们的算法与基于深度强化学习(DRL)的方法。结果显示,他们的算法性能优于 DRL 方法,这表明他们的算法在解决揭示 POMDPs 时更为有效。文章的研究意义在于为 POMDPs 提供了一种新的可判定性视角,特别是在信息丢失受限的情况下。这种揭示机制不仅为解决 POMDPs 提供了一种新的方法,而且为理解和设计更有效的决策算法提供了理论基础。除了三篇杰出论文,AAAI-25 还颁发了一个 AI 对社会影响(AISI,AI for social impact)的研究奖项。论文题目为《DivShift: Exploring Domain-Specific Distribution Shifts in Large-Scale, Volunteer-Collected Biodiversity Datasets》。这篇文章的核心内容是关于如何利用志愿者收集的生物多样性数据集来训练深度学习模型,以监测气候变化对生物多样性的影响。文章提出了一个名为 DivShift 的框架,并构建了一个名为 DivShift-North American West Coast(DivShift-NAWC)的数据集,用于研究志愿者收集的数据中存在的偏差对模型性能的影响。参考链接:https://aihub.org/2025/03/01/congratulations-to-the-aaai2025-outstanding-paper-award-winners/