0
本文作者: 我在思考中 | 2022-07-28 09:36 | 專題:IJCAI 2019 |
近日,IJCAI 20222 大會(huì)在奧地利維也納拉開序幕,會(huì)議日程自23日啟動(dòng),持續(xù)到29日結(jié)束。
今年 IJCAI-ECAI 2022 中,共有3篇論文獲得杰出論文(Distinguished Papers)獎(jiǎng)項(xiàng),其分別來自南加州大學(xué)研究團(tuán)隊(duì)、耶拿大學(xué)研究團(tuán)隊(duì),以及Christopher Franz、Georg Mogk、Thomas Mrziglod 、Kevin Schewior的合作研究。
此外,包括Gerhard Widmer、Tim Miller、Pete Wurman等在內(nèi)共 8 位學(xué)者嘉賓在會(huì)上進(jìn)行了主題演講。
作為人工智能領(lǐng)域最頂級(jí)的國(guó)際學(xué)術(shù)會(huì)議之一,IJCAI 自 2016 年起更改為每年召開;據(jù) IJCAI 2022 數(shù)據(jù)顯示,今年論文投稿量共 4535 篇,最終接收率為 15%。
獲獎(jiǎng)?wù)撐囊唬篜lurality Veto: A Simple Voting Rule Achieving Optimal Metric Distortion
作者:Fatih Kizilkaya、David Kempe
機(jī)構(gòu):南加州大學(xué)
論文地址:https://arxiv.org/abs/2206.07098
David Kempe 碩博畢業(yè)于康奈爾大學(xué)計(jì)算機(jī)系,于2004年秋季以來在南加州大學(xué)計(jì)算機(jī)科學(xué)系任教,目前擔(dān)任副教授;其主要的研究方向是計(jì)算機(jī)科學(xué)理論以及算法的設(shè)計(jì)和分析,特別強(qiáng)調(diào)社交網(wǎng)絡(luò)、經(jīng)濟(jì)學(xué)和計(jì)算交叉領(lǐng)域的主題以及算法學(xué)習(xí)問題,谷歌學(xué)術(shù)引用量超過2萬。他曾獲得過 NSF 職業(yè)獎(jiǎng)、VSoE 初級(jí)研究獎(jiǎng)、ONR 青年研究員獎(jiǎng)、斯隆獎(jiǎng)學(xué)金和大川獎(jiǎng)學(xué)金等多個(gè)獎(jiǎng)項(xiàng)。
論文摘要:
該研究在度量失真框架中,假設(shè)n個(gè)選民和m個(gè)候選人嵌入同一度量空間中,通過投票規(guī)則實(shí)現(xiàn)選擇與選民總距離最小的候選人。研究結(jié)果表明,在最壞的情況下,每個(gè)確定性規(guī)則都會(huì)選擇一個(gè)候選者,其總距離至少是最優(yōu)規(guī)則的三倍,即失真至少為3。研究團(tuán)隊(duì)將得出的主要結(jié)果,即一個(gè)非常簡(jiǎn)單的投票規(guī)則、稱為 Plurality Veto,它實(shí)現(xiàn)了相同的最佳失真3。每個(gè)候選人的得分等于他的第一名投票數(shù)。然后通過n輪否決過程逐漸降低這些分?jǐn)?shù),在該過程中,候選人在其分?jǐn)?shù)達(dá)到零時(shí)退出。選民一個(gè)接一個(gè)地降低他們?cè)诔H魏蜻x人中排名靠后的分?jǐn)?shù),最后一位常任候選人獲勝。
同時(shí),研究團(tuán)隊(duì)還給出一個(gè)段落證明這個(gè)投票規(guī)則實(shí)現(xiàn)了失真3。該規(guī)則非常實(shí)用,且只對(duì)每個(gè)投票者進(jìn)行兩次查詢,具有較低的通信開銷。
獲獎(jiǎng)?wù)撐亩篞CDCL with Cube Learning or Pure Literal Elimination - What is Best?
作者:Benjamin B?hm、Tomá? Peitl、Olaf Beyersdorff
機(jī)構(gòu):耶拿大學(xué)
論文地址:https://www.ijcai.org/proceedings/2022/0248.pdf
論文摘要:
量化沖突驅(qū)動(dòng)子句學(xué)習(xí)(QCDCL)是求解量化布爾公式(QBF)的主要方法之一。
在該論文中,研究團(tuán)隊(duì)形式化和研究了 QCDCL 的幾個(gè)版本,包括立方體學(xué)習(xí)和/或純字面消除,并通過證明復(fù)雜性技術(shù)正式比較了所產(chǎn)生的求解模型。其研究結(jié)果表明,幾乎所有的 QCDCL 模型在證明大小(以及求解器運(yùn)行時(shí)間)方面都呈指數(shù)級(jí)無法比擬,這指向了如何實(shí)際實(shí)現(xiàn) QCDCL 的不同正交方式。
獲獎(jiǎng)?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
論文摘要:
在這篇論文中,研究團(tuán)隊(duì)重新審視了深度優(yōu)先證明數(shù)搜索 (DFPN,一種用于解決兩人游戲的著名算法)。
首先,團(tuán)隊(duì)考慮了算法及其變體的完備性,即當(dāng)存在策略時(shí),它們是否總能找到獲勝策略;在已知標(biāo)準(zhǔn)版本不完整的情況下,研究團(tuán)隊(duì)證明與簡(jiǎn)單閾值控制算法的組合是完整的,從而解決了該領(lǐng)域的一個(gè)開放問題。其次,研究團(tuán)隊(duì)修改了 DFPN 以計(jì)算一組不同的解決方案,不限于單一的解決方案。并在最后將化學(xué)中的這種新變體,應(yīng)用于新目標(biāo)分子的合成計(jì)劃(逆合成)。目前該領(lǐng)域需要多種解決方案的集合。研究團(tuán)隊(duì)欲將文獻(xiàn)中的額外修改應(yīng)用于算法,并表明它優(yōu)于蒙特卡洛樹搜索。
除獲獎(jiǎng)?wù)撐耐?,活?dòng)還包括了主題演講、研討會(huì)和多個(gè)分論壇;出席演講活動(dòng)的主講嘉賓共有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é)機(jī)器學(xué)習(xí)、人工智能和醫(yī)學(xué) John Humphrey Plummer 教授,也是倫敦艾倫圖靈研究所的研究員,現(xiàn)任劍橋醫(yī)學(xué)人工智能中心 (CCAIM))創(chuàng)始人和主任。她是2009年度 IEEE Fellow,曾獲得劍橋大學(xué)(2018 年)Oon 預(yù)防醫(yī)學(xué)獎(jiǎng)、NSF 職業(yè)獎(jiǎng)、3個(gè) IBM 教師獎(jiǎng)、IBM 探索性流分析創(chuàng)新獎(jiǎng)、飛利浦創(chuàng)造差異獎(jiǎng)和多個(gè)最佳論文獎(jiǎng),擁有已授權(quán)美國(guó)專利達(dá)35項(xiàng)。
在IJCAI 2022 大會(huì)現(xiàn)場(chǎng),她帶來了「Panning for insights in medicine and beyond: New frontiers in machine learning interpretability」主題演講,提出通過解決時(shí)間序列預(yù)測(cè)、聚類(表型分析)和異質(zhì)治療效果估計(jì)等核心挑戰(zhàn),機(jī)器學(xué)習(xí) (ML) 有可能改變醫(yī)學(xué)。
今年的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ā)展對(duì)人類社會(huì)產(chǎn)生影響擴(kuò)大,「AI for Good」成為業(yè)內(nèi)熱議話題,有越來越多企業(yè)和機(jī)構(gòu)通過將AI 技術(shù)應(yīng)用于社會(huì)公益當(dāng)中,致力解決公共環(huán)境下存在的難題。
在此次Panels環(huán)節(jié)中,參與「Panel: Trustworthy AI for Good: Challenges, Lessons Learnt, and Synergies」的成員認(rèn)為,可信AI 是關(guān)于開發(fā)和使用 AI 來確保屬性,例如公平性、透明度、可解釋性和穩(wěn)健性,其理想情況下,人們或可采用值得信賴的人工智能方法來解決社會(huì)公益問題。
隨著AI和機(jī)器學(xué)習(xí)在落地層面的應(yīng)用愈加廣泛,但其現(xiàn)實(shí)中已暴露出的缺陷和脆弱性,無不讓人們?cè)谑褂眠^程中憂心忡忡,同時(shí),數(shù)據(jù)隱私的問題也日益突出。
該討論圍繞可信AI 話題展開,探討建立可信AI,及人工智能在以社會(huì)公益為目的所采取的具體舉措、與技術(shù)方法之間可能存在的協(xié)同作用,以解決可信AI 在商業(yè)模式的多學(xué)科性、規(guī)?;涂沙掷m(xù)性、協(xié)作平臺(tái)、多學(xué)科和多利益相關(guān)者的研發(fā)環(huán)境、教育和文化變革等方面的問題。
IJCAI,國(guó)際人工智能聯(lián)合會(huì)議(International Joint Conference on Artificial Intelligence),是人工智能領(lǐng)域最頂級(jí)的國(guó)際學(xué)術(shù)會(huì)議之一。原為單數(shù)年召開,自2016年起改為每年召開。今年是第31屆國(guó)際人工智能聯(lián)合會(huì)議和第25屆歐洲人工智能會(huì)議(ECAI),于2022年7月23-29日在奧地利維也納舉辦。
據(jù)此前IJCAI 2022公布數(shù)據(jù)顯示,今年論文投稿量共 4535 篇,最終接收率為 15%,較2021年 13.9% 的接收率有所提高。
對(duì)比往年,IJCAI 2022今年在投稿論文的評(píng)審上分為兩輪進(jìn)行,summary reject階段每篇提交的論文由兩名評(píng)審員進(jìn)行審閱,一旦第一階段獲得兩次不正面評(píng)價(jià)的論文即會(huì)被拒。項(xiàng)目委員會(huì)由評(píng)審員、元評(píng)審員(meta-reviewers)和領(lǐng)域主席(ACs)組成,負(fù)責(zé)審查和元評(píng)審過程;每篇論文將由一組 評(píng)審員審閱,元評(píng)審員協(xié)調(diào)評(píng)審過程,由領(lǐng)域主席交叉檢查。
full paper review階段會(huì)對(duì)論文進(jìn)一步評(píng)審,給予作者回復(fù)機(jī)會(huì),該階段的評(píng)審意見和作者回復(fù)最終影響程序委員會(huì)對(duì)論文的接收決定。
作者提出rebuttal后,每篇論文被一位領(lǐng)域主席協(xié)調(diào)配合評(píng)審討論、以及元評(píng)審總結(jié)推進(jìn)提議,該過程中SACs負(fù)責(zé)監(jiān)督每篇論文的評(píng)審,在需要時(shí)提供專業(yè)知識(shí)和指導(dǎo),并咨詢商議元評(píng)審。之后SAC-AC的論文評(píng)審建議被APCC(聯(lián)合程序主席)審查并和PCC一起作出最終錄用決定。「AI for Good」和「AI, the Arts and Creativity」兩個(gè)特殊主題今年也進(jìn)行了論文征集。
此外,IJCAI 2022 在6月還公布了2022年度的部分獎(jiǎng)項(xiàng)名單,其中:
卓越研究獎(jiǎng)(Research Excellence Award)由 UC 伯克利教授 Stuart Russell 獲得
計(jì)算機(jī)與思想獎(jiǎng)(Computer and Thought Award)由 UCUI助理教授李博獲得
約翰·麥卡錫獎(jiǎng)(John McCarthy Award)的獲得者是布朗大學(xué)計(jì)算機(jī)科學(xué)教授 Michael L. Littman
杰出服務(wù)獎(jiǎng)(Donald E. Walker Distinguished Service Award)的獲得者是弗萊堡大學(xué)退休教授Bernhard Nebel
董事會(huì)據(jù) IJCAI 2022 獎(jiǎng)評(píng)選委員會(huì)的推薦頒布了此次獲獎(jiǎng)名單,獎(jiǎng)項(xiàng)頒發(fā)儀式將于29日舉行。
雷峰網(wǎng)版權(quán)文章,未經(jīng)授權(quán)禁止轉(zhuǎn)載。詳情見轉(zhuǎn)載須知。
本專題其他文章