IJCAI 2022杰出論文公布，大陸作者中稿298篇拿下兩項(xiàng)第一

---

  新智元報(bào)道  

繼六月公布其年度四大獎(jiǎng)項(xiàng)之后，人工智能領(lǐng)域頂會(huì)IJCAI-ECAI剛剛揭曉了2022年杰出論文獎(jiǎng)獲得者名單 （IJCAI-ECAI 2022 Distinguished Papers Award winners）。

本次獲獎(jiǎng)?wù)甙▉碜阅霞又荽髮W(xué)的Fatih Kizilkaya與David Kempe，來自耶拿·弗里德里?！は沾髮W(xué)（簡(jiǎn)稱耶拿大學(xué)）的Benjamin B?hm、Tomas Peitl、Olaf Beyersdorff，來自拜耳股份公司的Georg Mogk、Thomas Mrziglod、來自科隆大學(xué)的Kevin Schewior和來自Kotaicode的Christopher Franz。

同時(shí)，最佳論文獲得者將在大會(huì)發(fā)表12分鐘的論文演講。

論文地址：https://arxiv.org/abs/2206.07098

作者：Fatih Kizilkaya，David Kempe

機(jī)構(gòu)：南加州大學(xué)

Fatih Kizilkaya

本文提出的度量失真框架假設(shè)n個(gè)選民和m個(gè)候選人共同嵌入到一個(gè)度量空間中，選民對(duì)距離更近的候選人給出的排名更高。

投票規(guī)則的目的是選擇與選民總距離最小的候選人，只給定排名，而不是實(shí)際距離。結(jié)果，在最壞的情況下，每個(gè)確定性規(guī)則都會(huì)選擇一個(gè)候選者，其總距離至少是最優(yōu)規(guī)則的三倍，即失真至少為3。

我們的主要結(jié)果是一個(gè)非常簡(jiǎn)單的投票規(guī)則，被稱為PLURALITY VETO，它實(shí)現(xiàn)了最佳失真3。

每個(gè)候選人開始時(shí)的分?jǐn)?shù)等于他的第一名選票數(shù)。然后通過n輪否決過程逐漸降低這些分?jǐn)?shù)，在該過程中，候選人在其分?jǐn)?shù)達(dá)到零時(shí)退出。選民一個(gè)接一個(gè)地降低他們?cè)诔Ｈ魏蜻x人中排名靠后的分?jǐn)?shù)，最后一位常任候選人獲勝。

論文地址：https://www.ijcai.org/proceedings/2022/248

作者：Benjamin B?hm，Tomas Peitl，Olaf Beyersdorff

機(jī)構(gòu)：耶拿大學(xué)，維也納工業(yè)大學(xué)

Benjamin B?hm

量化沖突驅(qū)動(dòng)子句學(xué)習(xí)（QCDCL）是求解量化布爾公式（QBF）的主要方法之一。我們對(duì) QCDCL的幾個(gè)版本進(jìn)行了程序化研究，其中包括立方體學(xué)習(xí)和/或純文字消除，并通過證明復(fù)雜性技術(shù)正式比較了生成的求解模型。

結(jié)果表明，幾乎所有的 QCDCL 模型在證明大?。ㄒ约扒蠼馄鬟\(yùn)行時(shí)間）方面都呈指數(shù)級(jí)無法比擬，這指向了如何實(shí)際實(shí)現(xiàn) QCDCL 的不同正交方式。

論文地址：https://www.ijcai.org/proceedings/2022/0658.pdf

作者：Georg Mogk，Thomas Mrziglod，Kevin Schewior，Christopher Franz

機(jī)構(gòu)：拜耳股份公司，科隆大學(xué)，Kotaicode

本文重新審視了深度優(yōu)先證明數(shù)搜索 (DFPN)，這是一種用于解決兩人游戲的著名算法。

首先，我們研究了算法及其變體的完整性屬性，即當(dāng)存在一個(gè)獲勝策略時(shí)，它們是否總能找到一個(gè)獲勝策略。其次，我們修改了DFPN以計(jì)算不同的解決方案集，而不僅僅是一個(gè)單一的解決方案。最后，我們將化學(xué)中的這一新變體應(yīng)用于新目標(biāo)分子的合成計(jì)劃。

今年的IJCAI共收到5901份摘要，4537份論文投稿，加上人工智能、藝術(shù)和創(chuàng)意相關(guān)的特別關(guān)注論文（Special Track on AI, the Arts and Creativity Accepted Papers），共4785篇。

最終，由大會(huì)接受的文章達(dá)679篇，收錄比例為15%，包括169篇long oral和510篇short oral。

此外，從投稿領(lǐng)域來看，前四位集中在「機(jī)器學(xué)習(xí)、計(jì)算機(jī)視覺、自然語(yǔ)言處理和數(shù)據(jù)挖掘」領(lǐng)域，這四大領(lǐng)域的投稿占了總投稿數(shù)的70.7%。

值得一提的是，今年投稿數(shù)量前三名的是中國(guó)大陸（2794），美國(guó)（506）和德國(guó)（102），而在接收論文數(shù)量上，中國(guó)大陸以298篇占據(jù)榜首。

從詞云來看，今年投稿的熱門詞匯前十名分別是：學(xué)習(xí)、網(wǎng)絡(luò)、圖、神經(jīng)、多元、模型、圖像、知識(shí)、監(jiān)測(cè)和深度。

AIJ突出論文獎(jiǎng)：Optimal social choice functions: A utilitarian view

作者：Craig Boutilier, Ioannis Caragiannis, Simi Haber, Tyler Lu, Ariel Procaccia, Or Sheffet

本文通過引入一種全新的投票方法，即隱式功利投票，為計(jì)算機(jī)社會(huì)選擇（computational social choice）領(lǐng)域做出了杰出貢獻(xiàn)。其眾多貢獻(xiàn)中，該論文列舉了其中的一些突破性成果，例如最優(yōu)隨機(jī)投票規(guī)則的多項(xiàng)式時(shí)間可計(jì)算性以及對(duì)其失真的精確分析。本文還提供了平均案例分析和理論學(xué)習(xí)結(jié)果，為該主題的多方位處理打開了大門。

AIJ經(jīng)典論文獎(jiǎng)：An optimal coarse-grained arc consistency algorithm

AIJ 經(jīng)典論文獎(jiǎng)表彰的是至少 15 年前發(fā)表在《Artificial Intelligence》雜志上的具有非凡意義和影響力的杰出論文。

作者：Christian Bessiere, Jean-Charles Régin, Roland Yap, Yuanlin Zhang

約束傳播算法是約束編程成功的核心，而這些算法中最重要的是執(zhí)行弧形一致性的算法。本文提供了一種在一般約束條件下執(zhí)行弧形一致性的最佳算法，提供了正確性證明和對(duì)其復(fù)雜性的分析。它的特點(diǎn)是優(yōu)雅、簡(jiǎn)單、高效和影響力。這個(gè)算法現(xiàn)在是大多數(shù)商業(yè)和開放源碼求解器的核心。

此外，2022年的IJCAI-JAIR最佳論文獎(jiǎng)授予了Nan Ye, Adhiraj Somani, David Hsu, Wee Sun Lee發(fā)表的《DESPOT: Online POMDP Planning with Regularization》。