IJCAI 2022獎項公佈：3篇傑出論文，南加大、耶拿大學等機構在列 機器之心 發表於2022-07-28
近日，人工智慧 領域頂會 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 的全稱為 Artificial Intelligence Journal，即《人工智慧 期刊》，始建於 1970 年，是人工智慧 研究領域的頂級學術期刊，具有公認的權威性與知名性。 AIJ 突出論文獎：Optimal social choice functions: A utilitarian view 作者：Craig Boutilier、Ioannis Caragiannis、Simi Haber、TylerLu 、Ariel Procaccia、OrSheffet 論文地址：https://www.sciencedirect.com/science/article/pii/S0004370215000892 論文簡介：該研究從實用主義的角度來看待社會選擇，假設智慧體在一定的可選空間內具有效用函式。本文研究了三種不同模型下的最優社會選擇函式，並強調了評分函式所起的重要作用。 AIJ 經典論文獎：An optimal coarse-grained arc consistency algorithm 作者：Christian Bessiere、Jean-Charles Régin、Roland Yap、Yuanlin Zhang 論文地址：https://www.sciencedirect.com/science/article/pii/S0004370205000482 論文簡介：約束傳播的使用是約束求解器的主要特點。因此，以高效和有效的方式管理傳播是最重要的。該研究提出了一種粗粒度演算法 AC2001/3.1，它是最壞情況下的最優演算法，並儘可能保持其整合到求解器的易用性。 自 2003 年起，IJCAI-JAIR 最佳論文獎每年從最近 5 年發表在 JAIR 的論文中評選並表彰一篇傑出論文。評審的標準基於論文的重要性和 presentation 的質量。 2022 年的 IJCAI-JAIR 最佳論文獎授予論文《DESPOT: Online POMDP Planning with Regularization》，作者包括 Nan Ye、Adhiraj Somani、David Hsu、Wee Sun Lee。 參考連結：https://twitter.com/IJCAIconf