首页 / 资讯详情
IJCAI 2026 四项论文奖、三项个人成就奖，回答 AI 的「来路」与「去路」
摘要
AI 正在走的，是一条螺旋上升的路。 作者丨幸丽娟 编辑丨岑 峰 8月20日，IJCAI-ECAI 2026 正会进入第三天。 如果说18日的开幕式是荣誉的加冕，那么今天，聚光灯从获奖者转向了获奖研究本身。AIJ/JAIR 获奖论文报告环节，获奖论文作者依次登台发表获奖感言、回顾获奖论文，诠释这些经典研究在最新语境下的生命力和再思考。从1990年的抽象推理经典到2021年的机器学习前沿，横跨三十年的学术线索逐次展开。而今日最受瞩目的环节，当属本届计算机与思想奖得主、斯坦福大学助理教授吴佳俊（Jiajun Wu）的特邀报告。作为神经符号融合与物理智能的开拓者，他的研究恰好与那条从符号推理延伸至今的学术线索形成了深度呼应。台下掌声此起彼伏，不仅献给登台者，也献给那条横贯三十年、仍在不断延伸的学术追问。01四项论文奖：横跨三十年的学术回响▎2026 AIJ 经典论文奖：三十六年后，理论仍在回响AIJ/JAIR 获奖论文报告环节以AIJ 经典论文奖（AIJ Classic Paper Award ）开场。该奖项由IJCAI 旗下《人工智能期刊》（AIJ）设立，表彰在AIJ上发表的、至少15年前经时间检验产生持久影响的论文。今年的获奖论文《Nonmonotonic Reasoning, Preferential Models and Cumulative Logics》发表于 1990 年，距今已 36 年。论文链接：https://arxiv.org/pdf/cs/0202021这篇论文要解决的核心问题：如何为非单调推理建立系统的理论框架。经典逻辑具有“单调性”——新增前提不会推翻已有结论；但人类推理并非如此，知道“鸟会飞”可推断“Tweety会飞”，得知Tweety是企鹅后结论便被收回，这种“新信息可推翻旧结论”的推理即为非单调推理。到80年代末，已出现Circumscription、Default Logic等多种非单调系统，却各自为战，缺乏统一理论。Kraus、Lehmann和Magidor的关键贡献在于：不再追问“非单调系统缺少什么”，转而定义“一个好的非单调推理系统应具备哪些正面性质”。他们定义了五族非单调推理关系，通过表示定理打通证明论与模型论，其中最核心的“偏好关系”族（System P）至今仍被视为非单调推理的“保守内核”。可以说，这篇论文为整个领域绘制了第一张系统性地图。在36 年后的IJCAI 舞台上，希伯来大学计算机科学系教授 Daniel Lehmann、以色列巴伊兰大学计算机科学教授Sarit Kraus ，曾为师徒的二人，轮流登台发表获奖感言、分享对这项工作的再思考。已到古稀之年的导师 Daniel Lehmann 在获奖感言中回忆道，当初决定将论文投给《人工智能期刊》（AI Journal），是因为他坚信这项工作应该被AI学界广泛阅读，而非仅仅局限于逻辑学领域；尽管该刊明确声明不发表数学结果，投稿颇具争议，但最终他还是坚持了这一选择。同时他也对时任编辑、已故的丹尼尔·卡尼曼（Daniel Kahneman）深怀感激，认为这份奖项恰恰证明了卡尼曼的决定是正确的，也印证了他们当初坚持将论文发表在AI期刊上的选择是明智的。接着舞台交给了他曾经的博士生、66岁的 Sarit Kraus。导师回顾了往昔，她则分享了非单