sciencecitationindex简介：IJCAI 2022奖项公布 3篇杰出论文
sciencecitationindex简介：IJCAI 2022奖项公布 3篇杰出论文论文简介：在度量失真框架中，假设 n 个选民和 m 个候选人共同嵌入一个度量空间，这样选民对离自己越近的候选人的排名就越高。投票规则旨在选出与选民总距离最小的候选人，只给出排名，而不是实际距离。因此，在最坏的情况下，每个确定性规则都会选择一个候选者，其总距离至少是最优规则的三倍，即失真至少为 3。论文 1：PLURALITYVETO: A Simple Voting Rule Achieving Optimal Metric Distortion获奖团队分别来自南加州大学、耶拿大学、维也纳工业大学、拜耳股份公司、南丹麦大学等机构。据 IJCAI 2022 数据显示，今年共收到 4535 篇提交，最终接收率为 15%，对比去年 13.9% 的接收率有所提高。三篇杰出论文奖
机器之心报道
机器之心编辑部
今年的 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。
