征稿启事 | AAAI 2026“大语言模型中的深度逻辑推理”联合会议

主要观点总结

本文介绍了第四十届AAAI人工智能会议，特别是联合会议关于大语言模型中的深度逻辑推理的主题。该会议旨在探索人工智能与逻辑学的交叉领域，重点关注语言模型中的逻辑与符号推理能力，时间为2026年1月20至21日在新加坡博览中心举行。会议包括特邀报告、专题讨论、专题讲座、口头论文展示及海报展示环节。

关键观点总结

关键观点1: AAAI人工智能会议简介

AAAI人工智能会议是人工智能领域中历史最悠久、涵盖内容最广泛的国际顶级学术会议之一，被CCF和CAAI评为A类会议。

关键观点2: 第40届AAAI人工智能会议细节

第40届AAAI人工智能会议将于2026年1月20日至1月27日在新加坡博览中心举行，其中有一个联合会议的主题为“大语言模型中的深度逻辑推理”。该会议旨在探索并拓宽人工智能与逻辑学的交叉领域，特别是语言模型中的逻辑与符号推理能力。

关键观点3: 联合会议的重点领域

联合会议关注语言模型在逻辑与符号推理方面的能力，旨在提升LLM解决涉及精密演绎、归纳或溯因推理的复杂逻辑问题所需的推理能力，避免其对多个相关问题产生自相矛盾的回答。

关键观点4: 重要日期和投稿指南

会议的重要日期包括第一轮截稿日期、第一轮和第二轮接收通知、会议日期等。投稿指南包括全文和短文的格式要求，审稿采用单盲制，并提供了投稿网站链接。

关键观点5: 会议形式和组织者

会议形式包括特邀报告、专题讨论、专题讲座、口头论文展示及海报展示环节。会议组织者包括成凤祥、周川、陈铮等。