IJCAI 卓越研究奖IJCAI 卓越研究奖（Research Excellence Award）是 IJCAI 所有奖项中最为重要的一个奖，它对获奖者的要求是「在整个职业生涯中始终保持高质量的研究，且取得实质性成果」。2020年该奖项的获得者是科克大学（University College Cor）计算机科学与信息技术学院荣誉教授Eugene C. Freuder。图注：Eugene C. FreuderEugene C. Freuder在基于约束的推理和问题解决方面（ constraint-based reasoning and problem solving）做出了开创性研究。过去获得此殊荣的都是人工智能领域最杰出的科学家：约翰·麦卡锡（1985），艾伦·纽厄尔（Allen Newell ，1989），马文·明斯基（1991），雷蒙德·瑞特（1993），Herbert Simon（1995），Aravind Joshi （1997），Judea Pearl（1999），Donald Michie（2001），Nils Nilsson （2003），Geoffrey E. Hinton（2005），Alan Bundy（2007），Victor Lesser（2009），Robert Anthony Kowalski （2011）， Hector Levesque（2013），Barbara Grosz（2015），Michael I.Jordan（2016），Andrew Barto（2017），Jitendra Malik（2018）和Yoav Shoham（2019）。在之前的19位获奖者中，有6位还获得了图灵奖（约翰·麦卡锡，艾伦·纽厄尔，马文·明斯基，Herbert Simon，Judea Pearl和Geoffrey E. Hinton）。Herbert Simon同时还获得了诺贝尔经济学奖（1978年）。 IJCAI 计算机与思想奖IJCAI 计算机与思想奖（Computers and Thought Award）是 IJCAI 最早设置的一个奖，主要奖给 35 岁以下的研究者，是对于年轻学者来说最高的一个奖项。 2020年IJCAI计算机与思想奖的获得者是华沙大学数学、信息学和力学系助理教授Piotr Skowron。图注：Piotr SkowronSkowron教授以其对计算社会选择（computational social choice）和委员会选举（committee elections）理论的贡献而受到认可。IJCAI 约翰麦卡锡奖IJCAI 约翰麦卡锡奖（John McCarthy Award）是以人工智能领域的创始人 John McCarthy 而命名，是针对 mid-term career award。IJCAI-John-McCarthy奖旨在表彰那些在获得博士学位后十五到二十五年内，在人工智能领域建立了卓越研究记录的职业生涯中期研究人员。该奖项的被提名者将对其所在领域的研究议程做出重大贡献，并将拥有一流的影响力研究成果。该奖项以约翰·麦卡锡（1927-2011）的名字命名，他被公认为人工智能领域的创始人之一。麦卡锡不仅给人工智能这门学科起了名字，而且对计算机科学，特别是人工智能做出了持久的重要贡献，包括LISP编程语言、知识表示、常识推理，以及人工智能中的逻辑主义范式。该奖项是在麦卡锡家族的全力支持和鼓励下设立的。过去获得过该奖项的学者有: Bart Selman (2015), Moshe Tennenholtz (2016), Dan Roth (2017), Milind Tambe (2018) and Pedro Domingos (2019).2020年约翰麦卡锡奖的获得者是麻省理工学院计算机科学和人工智能实验室（CSAIL）主任Daniela Rus，她同时也是Andrew和Erna Viterbi电机工程与计算机科学教授、ACM、AAAI、IEEE Fellow，并且是美国国家工程院和美国艺术与科学研究院院士。
图注：Daniela Rus教授
Daniela Rus教授因其在自治（autonomy）科学和工程以及多智能体算法的发展方面的贡献而受到认可。值得一提的是，Daniela Rus也曾是雷锋网邀请到的CCF-GAIR首届（2016）大会演讲嘉宾，更多信息请查看 “雷锋网专访CSAIL主任Daniela Rus：人机关系之未来的最靠谱预测 ”一文。IJCAI Donald E. Walker 杰出服务奖正如一个军队的成败离不开后勤供给，一个成熟的研究社区也离不开背后默默为社区服务的团体。IJCAI Donald E. Walker Distingguished service Award 正是 IJCAI 为这样默默服务的人而设立的一个奖项，它奖励那些为 AI 社区提供持久服务的人员。2020年的获奖者是新南威尔士大学人工智能科学教授、Data61算法决策理论小组负责人Toby Walsh。图注：Toby Walsh教授Walsh教授以其杰出的贡献以及在整个职业生涯中对人工智能领域的广泛服务而受到认可。
论文摘要：本文将基于网络的约束满足方法扩展为包含连续变量，从而为处理时间约束提供了框架。在这个称为时间约束满足问题（TCSP）的框架中，变量代表时间点，而时间信息则由一组一元和二元约束表示，每个约束都指定一组允许的间隔。该框架的独特之处在于允许处理度量标准信息，即评估事件之间的时间差。我们提出了用于执行以下推理任务的算法：找到给定事件可能发生的所有可行时间，找到两个给定事件之间的所有可能关系，并生成一个或多个与所提供信息一致的场景。本文区分了简单的时间问题（STP）和一般的时间问题，前者在任何一对时间点上最多允许一个间隔约束。我们证明，包含Vilain和Kautz点代数的主要部分的STP可以在多项式时间内求解。对于一般的TCSP，我们提出一种分解方案，该方案执行所考虑的三个推理任务，并引入各种技术来提高其效率。我们还研究了路径一致性算法对时间问题的预处理的适用性，证明了它们的termination ，并限制了它们的复杂性。 AIJ 突出论文奖（The AIJ Priminent Paper Award）该奖项表彰不早于7年内发表在 AIJ 杂志上，且有很高重要性、很大影响力的研究论文。2020年获奖论文：《Conflict-based search for optimal multi-agent pathfinding》。
作者：G Sharon, R Stern, A Felner, N Sturtevant。论文链接://www.sciencedirect.com/science/article/pii/S0004370214001386论文摘要：在多主体寻路问题（MAPF）中，我们给定一组智能体，每个智能体都有各自的起始位置和目标位置。任务是寻找所有智能体的路径，同时避免冲突。以前，为解决此问题而进行的大多数工作都以最佳方式将单个智能体视为单个“联合智能体”（joint agent），然后应用A *算法的单智能体搜索变体。在本文中，我们提出了一种新的最优多主体寻路算法——基于冲突的搜索（CBS）。CBS是一种两级算法，不会将问题转换为单一的“联合智能体”模型。在较高级别，对冲突树（CT）执行搜索，该树是基于各个智能体之间的冲突的树。CT中的每个节点代表了一组对智能体运动的约束。在较低级别，执行快速单智能体搜索以满足高级CT节点施加的约束。在许多情况下，这种两级形式使CBS需要检查的状态少于A *算法，同时仍保持最佳结果。我们分析了CBS，并展示了其优缺点。此外，我们介绍了Meta-Agent CBS（MA-CBS）算法。MA-CBS是CBS的泛化。与基础的CBS不同，MA-CBS不仅限于低级别的单智能体搜索。相比之下，MA-CBS允许将智能体合并为一小组联合智能体。这缓解了基础的CBS的某些缺点，并进一步提高了性能。实际上，MA-CBS是可以建立在任何最佳而完整的MAPF求解器之上的框架，以增强其性能。在各种问题上的实验结果表明，与以前的方法相比，速度提高了一个数量级。
4
IJCAI-JAIR最佳论文奖
自2003年起，IJCAI-JAIR最佳论文奖每年从最近5年发表在JAIR中的论文中评选并表彰一篇杰出论文。评审的标准基于论文的重要性和presentation的质量。2020年 IJCAI 2020 IJCAI-JAIR最佳论文：《From Skills to Symboles: Learning Symbolic Representations for Abstract High-Level Planning 》。论文链接：//dl.acm.org/doi/10.5555/3241691.3241695
作者 | 陈大鑫、青暮 
图注：Eugene C. Freuder
图注：Toby Walsh教授
AIJ 经典论文奖（The AIJ Classic Paper Award）
作者：Rina Dechter, Itay Meiri, Judea Pearl
图注：本文提出的SEER框架
图注：本文提出的消除负面作用的框架 
