让你更懂AI的 2025-10-15 13:12 北京
从逻辑到符号
AAAI 2026
AAAI人工智能会议（AAAI Conference on Artificial Intelligence）由人工智能促进会（AAAI）主办，是人工智能领域中历史最悠久、涵盖内容最广泛的国际顶级学术会议之一，被中国计算机学会（CCF）和中国人工智能学会（CAAI）评为A类会议。第40届 AAAI 人工智能会议 (AAAI 2026) 将于 2026 年 1 月 20 日至 1 月 27 日在新加坡博览中心（Singapore Expo）举行。
在AAAI 2026期间，来自清华大学、北京大学、斯坦福大学、卡内基梅隆大学、墨尔本大学、奥克兰大学、艾伦人工智能研究所等知名海内外研究机构的学者们共同组织为期两天，主题为“大语言模型中的深度逻辑推理”的联合会议（Bridge Program），详情如下：
大语言模型中的深度逻辑推理
第四十届AAAI人工智能会议联合会议
时间：2026年1月20-21日
地点：新加坡博览中心
大语言模型（LLMs）虽然在很多自然语言任务中取得了显著成就，但仍在逻辑与符号推理方面存在显著缺陷。其原因在于，通过下一词元预测或掩码语言建模等任务学习句法、语义及世界知识并不能确保LLM具备逻辑推理能力，且LLM的预训练语料库主要由人类撰写的文本构成，缺乏逻辑演绎、证明等高质量逻辑推理样本。
本联合会议为期两天，旨在深入探索并拓宽人工智能与逻辑学的交叉领域，重点关注语言模型中的逻辑与符号推理能力。这将提升LLM解决涉及精密演绎、归纳或溯因推理的复杂逻辑问题所需的推理能力，同时避免其对多个相关问题产生自相矛盾的回答。
联合会议官网：
https://sites.google.com/view/aaai-2026-lmreasoning
议题
我们欢迎来自人工智能、计算机领域、逻辑学、语言学、认知科学等领域的广泛投稿，征稿主题包括但不限于：
LLM逻辑问答
LLM思维链推理
LLM推理中的外部工具（如逻辑求解器）调用
LLM逻辑一致性（如蕴涵、否定）
LLM符号表达与推理
用于LLM推理的多轮交互
多智能体LLM推理
LLM逻辑推理的基准测试与评估
逻辑学、语言学、认知科学相关主题
重要日期
重要日期（AoE 时间）:
第一轮截稿日期：2025年10月31日
第一轮接收通知：2025年11月14日
第二轮截稿日期：2025年12月5日
第二轮接收通知：2025年12月20日
会议日期：2026年1月20-21日
以上截止日期均采用AoE（Anywhere on Earth）时间。
投稿指南
我们欢迎两种类型的论文：
全文：4至8页的完整研究论文（不包括参考文献和附录）；
短文：不超过4页的研究/立场论文（不包括参考文献和附录）。
投稿论文须采用AAAI格式（下载链接：https://aaai.org/authorkit26-1/）。审稿采用单盲制，作者可自愿决定是否出版，也欢迎投稿已录用或发表的论文。我们将评选出口头报告论文，并为少量高质量的录用论文颁发杰出论文奖和最佳论文奖。
本联合会议采用OpenReview作为论文投稿与审稿平台。
投稿链接：
https://openreview.net/group?id=AAAI.org/2026/Bridge/LMReasoning
会议形式
本次联合会议为期两天，设特邀报告、专题讨论、专题讲座、口头论文展示及海报展示环节。
会议主席
刘奋荣，清华大学
迈克尔∙威特布鲁克（Michael Witbrock），奥克兰大学
李昊轩，北京大学
宫明明，墨尔本大学&MBZUAI
张坤，卡内基梅隆大学&MBZUAI
彼得∙克拉克（Peter Clark），艾伦人工智能研究所
范丙申（Johan van Benthem），斯坦福大学& 清华大学
林宙辰，北京大学
会议组织者
成凤祥，阿姆斯特丹大学
周川，墨尔本大学
陈铮，香港科技大学
王浩，浙江大学
章帆，香港中文大学
杨逸飞，上海交通大学
李响，北京大学
杨浩诚，新加坡国立大学
联系邮箱：aaai.2026.lmreasoning@gmail.com
🔍
现在，在「知乎」也能找到我们了
进入知乎首页搜索「PaperWeekly」
点击「关注」订阅我们的专栏吧
·
·
·
