作者 | 黃楠

編輯 | 陳彩嫻

近日，IJCAI 20222 大會在奧地利維也納拉開序幕，會議日程自23日啟動，持續(xù)到29日結(jié)束。

今年 IJCAI-ECAI 2022 中，共有3篇論文獲得杰出論文（Distinguished Papers）獎項，其分別來自南加州大學(xué)研究團隊、耶拿大學(xué)研究團隊，以及Christopher Franz、Georg Mogk、Thomas Mrziglod 、Kevin Schewior的合作研究。

此外，包括Gerhard Widmer、Tim Miller、Pete Wurman等在內(nèi)共 8 位學(xué)者嘉賓在會上進行了主題演講。

作為人工智能領(lǐng)域最頂級的國際學(xué)術(shù)會議之一，IJCAI 自 2016 年起更改為每年召開；據(jù) IJCAI 2022 數(shù)據(jù)顯示，今年論文投稿量共 4535 篇，最終接收率為 15%。

1

獲獎?wù)撐暮妥髡呓榻B

獲獎?wù)撐囊唬篜lurality Veto: A Simple Voting Rule Achieving Optimal Metric Distortion

• 作者：Fatih Kizilkaya、David Kempe

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

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

David Kempe 碩博畢業(yè)于康奈爾大學(xué)計算機系，于2004年秋季以來在南加州大學(xué)計算機科學(xué)系任教，目前擔(dān)任副教授；其主要的研究方向是計算機科學(xué)理論以及算法的設(shè)計和分析，特別強調(diào)社交網(wǎng)絡(luò)、經(jīng)濟學(xué)和計算交叉領(lǐng)域的主題以及算法學(xué)習(xí)問題，谷歌學(xué)術(shù)引用量超過2萬。他曾獲得過 NSF 職業(yè)獎、VSoE 初級研究獎、ONR 青年研究員獎、斯隆獎學(xué)金和大川獎學(xué)金等多個獎項。

論文摘要：

該研究在度量失真框架中，假設(shè)n個選民和m個候選人嵌入同一度量空間中，通過投票規(guī)則實現(xiàn)選擇與選民總距離最小的候選人。研究結(jié)果表明，在最壞的情況下，每個確定性規(guī)則都會選擇一個候選者，其總距離至少是最優(yōu)規(guī)則的三倍，即失真至少為3。研究團隊將得出的主要結(jié)果，即一個非常簡單的投票規(guī)則、稱為 Plurality Veto，它實現(xiàn)了相同的最佳失真3。每個候選人的得分等于他的第一名投票數(shù)。然后通過n輪否決過程逐漸降低這些分數(shù)，在該過程中，候選人在其分數(shù)達到零時退出。選民一個接一個地降低他們在常任候選人中排名靠后的分數(shù)，最后一位常任候選人獲勝。

同時，研究團隊還給出一個段落證明這個投票規(guī)則實現(xiàn)了失真3。該規(guī)則非常實用，且只對每個投票者進行兩次查詢，具有較低的通信開銷。

獲獎?wù)撐亩篞CDCL with Cube Learning or Pure Literal Elimination - What is Best?

• 作者：Benjamin B?hm、Tomá? Peitl、Olaf Beyersdorff

• 機構(gòu)：耶拿大學(xué)

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

論文摘要：

量化沖突驅(qū)動子句學(xué)習(xí)（QCDCL）是求解量化布爾公式（QBF）的主要方法之一。

在該論文中，研究團隊形式化和研究了 QCDCL 的幾個版本，包括立方體學(xué)習(xí)和/或純字面消除，并通過證明復(fù)雜性技術(shù)正式比較了所產(chǎn)生的求解模型。其研究結(jié)果表明，幾乎所有的 QCDCL 模型在證明大小（以及求解器運行時間）方面都呈指數(shù)級無法比擬，這指向了如何實際實現(xiàn) QCDCL 的不同正交方式。

獲獎?wù)撐娜篊ompleteness 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

論文摘要：

在這篇論文中，研究團隊重新審視了深度優(yōu)先證明數(shù)搜索 （DFPN，一種用于解決兩人游戲的著名算法）。

首先，團隊考慮了算法及其變體的完備性，即當存在策略時，它們是否總能找到獲勝策略；在已知標準版本不完整的情況下，研究團隊證明與簡單閾值控制算法的組合是完整的，從而解決了該領(lǐng)域的一個開放問題。其次，研究團隊修改了 DFPN 以計算一組不同的解決方案，不限于單一的解決方案。并在最后將化學(xué)中的這種新變體，應(yīng)用于新目標分子的合成計劃（逆合成）。目前該領(lǐng)域需要多種解決方案的集合。研究團隊欲將文獻中的額外修改應(yīng)用于算法，并表明它優(yōu)于蒙特卡洛樹搜索。

除獲獎?wù)撐耐?，活動還包括了主題演講、研討會和多個分論壇；出席演講活動的主講嘉賓共有8位，分別是Gerhard Widmer、Tim Miller、Pete Wurman、Jér?me Lang、Sumit Gulwani、Judea Pearl、Mihaela van der Schaar和Ana Paiva。

其中，Mihaela van der Schaar 是劍橋大學(xué)機器學(xué)習(xí)、人工智能和醫(yī)學(xué) John Humphrey Plummer 教授，也是倫敦艾倫圖靈研究所的研究員，現(xiàn)任劍橋醫(yī)學(xué)人工智能中心 （CCAIM）)創(chuàng)始人和主任。她是2009年度 IEEE Fellow，曾獲得劍橋大學(xué)（2018 年）Oon 預(yù)防醫(yī)學(xué)獎、NSF 職業(yè)獎、3個 IBM 教師獎、IBM 探索性流分析創(chuàng)新獎、飛利浦創(chuàng)造差異獎和多個最佳論文獎，擁有已授權(quán)美國專利達35項。

在IJCAI 2022 大會現(xiàn)場，她帶來了「Panning for insights in medicine and beyond: New frontiers in machine learning interpretability」主題演講，提出通過解決時間序列預(yù)測、聚類（表型分析）和異質(zhì)治療效果估計等核心挑戰(zhàn)，機器學(xué)習(xí) (ML) 有可能改變醫(yī)學(xué)。

圖注：Mihaela van der Schaar

今年的Panels環(huán)節(jié)由四部分組成，分別是 「Digital Humanism – our relationship to technology」 、「AI made in Europe – What is it? Is it important?」、「Panel: Trustworthy AI for Good: Challenges, Lessons Learnt, and Synergies」和 「Highly refereed AI conferences」。

近年來，伴隨人工智能技術(shù)的發(fā)展對人類社會產(chǎn)生影響擴大，「AI for Good」成為業(yè)內(nèi)熱議話題，有越來越多企業(yè)和機構(gòu)通過將AI 技術(shù)應(yīng)用于社會公益當中，致力解決公共環(huán)境下存在的難題。

在此次Panels環(huán)節(jié)中，參與「Panel: Trustworthy AI for Good: Challenges, Lessons Learnt, and Synergies」的成員認為，可信AI 是關(guān)于開發(fā)和使用 AI 來確保屬性，例如公平性、透明度、可解釋性和穩(wěn)健性，其理想情況下，人們或可采用值得信賴的人工智能方法來解決社會公益問題。

隨著AI和機器學(xué)習(xí)在落地層面的應(yīng)用愈加廣泛，但其現(xiàn)實中已暴露出的缺陷和脆弱性，無不讓人們在使用過程中憂心忡忡，同時，數(shù)據(jù)隱私的問題也日益突出。

該討論圍繞可信AI 話題展開，探討建立可信AI，及人工智能在以社會公益為目的所采取的具體舉措、與技術(shù)方法之間可能存在的協(xié)同作用，以解決可信AI 在商業(yè)模式的多學(xué)科性、規(guī)?；涂沙掷m(xù)性、協(xié)作平臺、多學(xué)科和多利益相關(guān)者的研發(fā)環(huán)境、教育和文化變革等方面的問題。

2

IJCAI 2022整體情況

IJCAI，國際人工智能聯(lián)合會議（International Joint Conference on Artificial Intelligence），是人工智能領(lǐng)域最頂級的國際學(xué)術(shù)會議之一。原為單數(shù)年召開，自2016年起改為每年召開。今年是第31屆國際人工智能聯(lián)合會議和第25屆歐洲人工智能會議（ECAI），于2022年7月23-29日在奧地利維也納舉辦。

據(jù)此前IJCAI 2022公布數(shù)據(jù)顯示，今年論文投稿量共 4535 篇，最終接收率為 15%，較2021年 13.9% 的接收率有所提高。

對比往年，IJCAI 2022今年在投稿論文的評審上分為兩輪進行，summary reject階段每篇提交的論文由兩名評審員進行審閱，一旦第一階段獲得兩次不正面評價的論文即會被拒。項目委員會由評審員、元評審員（meta-reviewers）和領(lǐng)域主席（ACs）組成，負責(zé)審查和元評審過程；每篇論文將由一組 評審員審閱，元評審員協(xié)調(diào)評審過程，由領(lǐng)域主席交叉檢查。

full paper review階段會對論文進一步評審，給予作者回復(fù)機會，該階段的評審意見和作者回復(fù)最終影響程序委員會對論文的接收決定。

作者提出rebuttal后，每篇論文被一位領(lǐng)域主席協(xié)調(diào)配合評審討論、以及元評審總結(jié)推進提議，該過程中SACs負責(zé)監(jiān)督每篇論文的評審，在需要時提供專業(yè)知識和指導(dǎo)，并咨詢商議元評審。之后SAC-AC的論文評審建議被APCC（聯(lián)合程序主席）審查并和PCC一起作出最終錄用決定。「AI for Good」和「AI, the Arts and Creativity」兩個特殊主題今年也進行了論文征集。

此外，IJCAI 2022 在6月還公布了2022年度的部分獎項名單，其中：

• 卓越研究獎（Research Excellence Award）由 UC 伯克利教授 Stuart Russell 獲得

• 計算機與思想獎（Computer and Thought Award）由 UCUI助理教授李博獲得

• 約翰·麥卡錫獎（John McCarthy Award）的獲得者是布朗大學(xué)計算機科學(xué)教授 Michael L. Littman

• 杰出服務(wù)獎（Donald E. Walker Distinguished Service Award）的獲得者是弗萊堡大學(xué)退休教授Bernhard Nebel

董事會據(jù) IJCAI 2022 獎評選委員會的推薦頒布了此次獲獎名單，獎項頒發(fā)儀式將于29日舉行。

雷峰網(wǎng)(公眾號：雷峰網(wǎng))

雷峰網(wǎng)版權(quán)文章，未經(jīng)授權(quán)禁止轉(zhuǎn)載。詳情見轉(zhuǎn)載須知。