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逻辑推理的基准测试与评估

●逻辑学、语言学、认知科学相关主题

重要日期

第一轮截稿日期：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