米兰·(milan)中国官方网站-IJCAI 2022杰出论文奖项公布!南加大、耶拿大学等3个研究团队获奖
作者 | 黄楠编纂 | 陈彩娴近日,IJCAI 20222 年夜会于奥地利维也纳拉开序幕,集会日程自23日启动,连续到29日竣事。
本年 IJCAI-ECAI 2022 中,共有3篇论文得到卓异论文(Distinguished Papers)奖项,其别离来自南加州年夜学研究团队、耶拿年夜学研究团队,以和Christopher Franz、Georg Mogk、Thomas Mrziglod 、Kevin Schewior的互助研究。
此外,包括Gerhard Widmer、Tim Miller、Pete Wurman等于内共 8 位学者佳宾于会长进行了主题演讲。
作为人工智能范畴最顶级的国际学术集会之一,IJCAI 自 2016 年起更改成每一年召开;据 IJCAI 2022 数据显示,本年论文投稿量共 4535 篇,终极吸收率为 15%。

获奖论文一:Plurality Veto: A Simple Voting Rule Achieving Optimal Metric Distortion

作者:Fatih Kizilkaya、David Kempe
机构:南加州年夜学
论文地址:https://arxiv.org/abs/2206.07098

David Kempe 硕博卒业在康奈尔年夜学计较机系,在2004年秋季以来于南加州年夜学计较机科学系任教,今朝担当副传授;其重要的研究标的目的是计较机科学理论以和算法的设计及阐发,尤其夸大社交收集、经济学及计较交织范畴的主题以和算法进修问题,google学术援用量跨越2万。他曾经得到过 NSF 职业奖、VSoE 低级研究奖、ONR 青年研究员奖、斯隆奖学金及年夜川奖学金等多个奖项。

论文择要:
该研究于器量掉真框架中,假定n个选平易近及m个候选人嵌入统一器量空间中,经由过程投票法则实现选择与选平易近总间隔最小的候选人。研究成果注解,于最坏的环境下,每一个确定性法则城市选择一个候选者,其总间隔至少是最优法则的三倍,即掉真至少为3。研究团队将患上出的重要成果,即一个很是简朴的投票法则、称为 Plurality Veto,它实现了不异的最好掉真3。每一个候选人的患上分等在他的第一位投票数。然后经由过程n轮反对历程逐渐降低这些分数,于该历程中,候选人于其分数到达零时退出。选平易近一个接一个地降低他们于常任候选人中排名靠后的分数,末了一名常任候选人获胜。
同时,研究团队还有给出一个段落证实这个投票法则实现了掉真3。该法则很是实用,且只对于每一个投票者举行两次查询,具备较低的通讯开消。
获奖论文二:QCDCL with Cube Learning or Pure Literal Elimination - What is Best?

作者:Benjamin Böhm、Tomáš Peitl、Olaf Beyersdorff
机构:耶拿年夜学
论文地址:https://www.ijcai.org/proceedings/2022/0248.pdf
论文择要:
量化冲突驱动子句进修(QCDCL)是求解量化布尔公式(QBF)的重要要领之一。
于该论文中,研究团队情势化及研究了 QCDCL 的几个版本,包括立方体进修及/或者纯字面消弭,并经由过程证实繁杂性技能正式比力了所孕育发生的求解模子。其研究成果注解,险些所有的 QCDCL 模子于证实巨细(以和求解器运行时间)方面都呈指数级没法相比,这指向了怎样现实实现 QCDCL 的差别正交方式。
获奖论文三: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,一种用在解决两人游戏的闻名算法)。
起首,团队思量了算法和其变体的完整性,即当存于计谋时,它们是否总能找到获胜计谋;于已经知尺度版本不完备的环境下,研究团队证实与简朴阈值节制算法的组合是完备的,从而解决了该范畴的一个开放问题。其次,研究团队修改了 DFPN 以计较一组差别的解决方案,不限在单一的解决方案。并于末了将化学中的这类新变体,运用在新方针份子的合成规划(逆合成)。今朝该范畴需要多种解决方案的调集。研究团队欲将文献中的分外修改运用在算法,并注解它优在蒙特卡洛树搜刮。
除了获奖论文外,勾当还有包括了主题演讲、钻研会及多个分论坛;出席演讲勾当的主讲佳宾共有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 是剑桥年夜学呆板进修、人工智能及医学 John Humphrey Plu妹妹er 传授,也是伦敦艾伦图灵研究所的研究员,现任剑桥医学人工智能中央 (CCAIM))开创人及主任。她是2009年度 IEEE Fellow,曾经得到剑桥年夜学(2018 年)Oon 预防医学奖、NSF 职业奖、3个 IBM 西席奖、IBM 摸索性流阐发立异奖、飞利浦创造差异奖及多个最好论文奖,拥有已经授权美国专利达35项。
于IJCAI 2022 年夜会现场,她带来了「Panning for insights in medicine and beyond: New frontiers in machine learning interpretability」主题演讲,提出经由过程解决时间序列猜测、聚类(表型阐发)及异质医治效果预计等焦点挑战,呆板进修 (ML) 有可能转变医学。
图注:Mihaela van der Schaar本年的Panels环节由四部门构成,别离是 「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」。
最近几年来,陪同人工智能技能的成长对于人类社会孕育发生影响扩展,「AI for Good」成为业内热议话题,有愈来愈多企业及机构经由过程将AI 技能运用在社会公益傍边,致力解决大众情况下存于的难题。
于这次Panels环节中,介入「Panel: Trustworthy AI for Good: Challenges, Lessons Learnt, and Synergies」的成员认为,可托AI 是关在开发及利用 AI 来确保属性,例如公允性、透明度、可注释性及稳健性,其抱负环境下,人们或者可采用值患上相信的人工智能要领来解决社会公益问题。
跟着AI及呆板进修于落地层面的运用愈加广泛,但其实际中已经袒露出的缺陷及懦弱性,无不让人们于利用历程中内心不安,同时,数据隐私的问题也日趋凸起。
该会商缭绕可托AI 话题睁开,切磋成立可托AI,和人工智能于以社会公益为目的所采纳的详细举措、与技能要领之间可能存于的协同作用,以解决可托AI 于贸易模式的多学科性、范围化及可连续性、协作平台、多学科及多好处相干者的研发情况、教诲及文化厘革等方面的问题。
2IJCAI 2022总体环境IJCAI,国际人工智能结合集会(International Joint Conference on Artificial Intelligence),是人工智能范畴最顶级的国际学术集会之一。原为单数年召开,自2016年起改成每一年召开。本年是第31届国际人工智能结合集会及第25届欧洲人工智能集会(ECAI),在2022年7月23-29日于奥地利维也纳举办。
据此前IJCAI 2022宣布数据显示,本年论文投稿量共 4535 篇,终极吸收率为 15%,较2021年 13.9% 的吸收率有所提高。
对于比往年,IJCAI 2022本年于投稿论文的评审上分为两轮举行,su妹妹ary reject阶段每一篇提交的论文由两名评审员举行审视,一旦第一阶段得到两次不正面评价的论文即会被拒。项目委员会由评审员、元评审员(meta-reviewers)及范畴主席(ACs)构成,卖力审查及元评审历程;每一篇论文将由一组 评审员审视,元评审员协调评审历程,由范畴主席交织查抄。

full paper review阶段会对于论文进一步评审,赐与作者答复时机,该阶段的评审定见及作者答复终极影响步伐委员会对于论文的吸收决议。
作者提出rebuttal后,每一篇论文被一名范畴主席协调共同评审会商、以和元评审总结推进提议,该历程中SACs卖力监视每一篇论文的评审,于需要时提供专业常识及引导,并咨询商榷元评审。以后SAC-AC的论文评审建议被APCC(结合步伐主席)审查并及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)的得到者是布朗年夜学计较机科学传授 Michael L. Littman
卓异办事奖(Donald E. Walker Distinguished Service Award)的得到者是弗莱堡年夜学退休传授Bernhard Nebel
董事会据 IJCAI 2022 奖评比委员会的保举颁发了这次获奖名单,奖项颁布典礼将在29日进行。

雷峰网版权文章,未经授权禁止转载。详情见转载须知。





