IJCAI 2022奖项公布：3篇杰出论文，南加大、耶拿大学等机构在列

会员服务 ·

IJCAI 2022奖项公布：3篇杰出论文，南加大、耶拿大学等机构在列

2022 年 7 月 29 日 专知

转载机器之心报道

机器之心编辑部

今年的 IJCAI 评选出三篇杰出论文。

近日，人工智能领域顶会 IJCAI 揭晓 2022 年杰出论文获奖名单，今年共有三篇论文获得杰出论文（Distinguished Papers）奖项。

获奖团队分别来自南加州大学、耶拿大学、维也纳工业大学、拜耳股份公司、南丹麦大学等机构。

据 IJCAI 2022 数据显示，今年共收到 4535 篇提交，最终接收率为 15%，对比去年 13.9% 的接收率有所提高。

三篇杰出论文奖

论文 1：PLURALITYVETO: A Simple Voting Rule Achieving Optimal Metric Distortion

作者：Fatih Kizilkaya、David Kempe
机构：南加州大学
论文地址：https://arxiv.org/pdf/2206.07098.pdf

论文简介：在度量失真框架中，假设 n 个选民和 m 个候选人共同嵌入一个度量空间，这样选民对离自己越近的候选人的排名就越高。投票规则旨在选出与选民总距离最小的候选人，只给出排名，而不是实际距离。因此，在最坏的情况下，每个确定性规则都会选择一个候选者，其总距离至少是最优规则的三倍，即失真至少为 3。

该研究的主要成果是一个极其简单的投票规则，称为 PLURALITYVETO，它同样实现了 3 的最优失真。每个候选人开始时的得分等于他的第一名投票数。之后分数通过 n 轮否决会下降，在这个过程中，当一个候选人的分数达到 0 时，他就会退出。选民逐个地降低他们在候选人中排名靠后的分数，最后一位候选人获胜。

论文 2：QCDCL with Cube Learning or Pure Literal Elimination - What is best?

作者：Benjamin Böhm、Tomas Peitl、Olaf Beyersdorff
机构：耶拿大学、维也纳工业大学
论文地址：https://www.ijcai.org/proceedings/2022/0248.pdf

论文简介：QCDCL（Quantified conflict-driven clause learning）是求解量化布尔公式（QBF）的主要方法之一。该研究形式化和研究了 QCDCL 的几个版本，包括立方体学习和 / 或纯字面消除，并通过证明复杂性技术正式比较了生成的求解模型。结果表明，几乎所有的 QCDCL 模型在证明大小（以及求解器运行时间）方面都呈指数级无法比拟，这指向了如何实际实现 QCDCL 的不同正交方式。

论文 3：Completeness and Diversity in Depth-First Proof-Number Search with

作者：Christopher Franz、Georg Mogk、Thomas Mrziglod、Kevin Schewior
机构：拜耳股份公司、南丹麦大学
论文地址：https://www.ijcai.org/proceedings/2022/0658.pdf

论文简介：该研究重新审视了 DFPN（Depth-First Proof-Number Search）算法，这是一种用于解决双人游戏的著名算法。首先，该研究考虑了算法及其变体的完整性，即当存在获胜策略时，算法是否总能找到获胜策略。虽然已知标准版本不完整，但该研究表明与简单阈值控制算法的组合是完整的，从而解决了该领域的一个开放问题。

其次，该研究修改 DFPN 以计算一组不同的解决方案，而不仅仅是一个单一的解决方案。

最后，该研究将化学中的这种新变体应用于新目标分子的合成计划（逆合成）。在这个领域中，需要多种解决方案的集合。该研究将文献中的其他修改应用于算法，并根据自然多样性度量表明它优于蒙特卡洛树搜索，这是针对同一问题的另一种著名算法。

除获奖论文外，活动还邀请了几位主讲嘉宾，他们分别是 Gerhard Widmer、Tim Miller、Pete Wurman、Jérôme Lang、Sumit Gulwani、Judea Pearl、Mihaela van der Schaar 以及 Ana Paiva。

其中图灵奖得主、贝叶斯网络之父 Judea Pearl 带来了一次演讲。Judea Pearl 因通过概率和因果推理的算法研发在人工智能取得的杰出贡献而获得图灵奖。

AIJ 奖

AIJ 的全称为 Artificial Intelligence Journal，即《人工智能期刊》，始建于 1970 年，是人工智能研究领域的顶级学术期刊，具有公认的权威性与知名性。

AIJ 突出论文奖：Optimal social choice functions: A utilitarian view

作者：Craig Boutilier、Ioannis Caragiannis、Simi Haber、TylerLu 、Ariel Procaccia、OrSheffet
机构：多伦多大学、CMU 等
论文地址：https://www.sciencedirect.com/science/article/pii/S0004370215000892