機器之心報道
機器之心編輯部
今年的 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
論文簡介：該研究從實用主義的角度來看待社會選擇，假設智能體在一定的可選空間內具有效用函數。本文研究了三種不同模型下的最優社會選擇函數，並強調了評分函數所起的重要作用。
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，它是最壞情況下的最優算法，並盡可能保持其集成到求解器的易用性。
IJCAI-JAIR 獎
自 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