82 篇论文撑起的判断：IJCAI 凭什么是推理、规划、知识的「第一主场」

IJCAI在推理、规划、知识方向是最顶级的，这一判断在2026年依然成立，且随着大模型推理能力的挑战，其意义更加凸显。
宏观格局 · 数据聚合
论文占比 20.8%
推理·规划·知识 / main-track
杰出论文奖 9 篇
2019–2026 获奖论文
KRR 67 篇 + Planning 32 篇 = 99 篇（占 main-track 13.3%）
推理 · 神经符号对决
NDProp 加速比
42×
vs NeurASP · 7× vs SLASH
MNIST 算术推理 · 端到端训练
AESAT 框架
LLM 自动进化 SAT 求解器
  • GPT-4.5 创意生成
  • Claude 3.7 代码实现
  • DeepSeek-R1 逻辑分析与进化交叉
AE-Kissat-MAB · 2025 国际 SAT 竞赛主赛道夺冠
Zeynep G. Saribatur · Early Career Spotlight 聚焦 ASP 抽象推理，推动 AI 系统获得泛化推理能力。
规划 · 混合范式转变
LLM 信息提取
→
符号规划器求解
→
成功率显著提升
DUPLEX 双系统架构 · 12 个经典与家庭规划领域评估 · 优于端到端 LLM 基线
SIPP-PP-LNS · 实时多机器人运动规划 · 比扩散规划器快 2–3 个数量级（数十毫秒级）
ChinaTravel 挑战赛 · 1154 条真实旅行需求 · 检验 LLM 智能体约束满足与组合泛化能力
知识表示与推理 · 理论深化与神经融合
7 篇
法国 CRIL 实验室 · KRR 论文
IJCAI 2026 录用，覆盖 KRR 核心子方向
可解释 ASP
综述 · 可验证推理路径
LLM 黑箱推理引发关切，ASP 是 XAI 理论基础
GEV
静态类型检查 · 知识图谱更新
编译时类型安全，确保更新操作无误
KRR 方向呈现 理论深化 与 神经方法融合加速 两大特征，ASP、可解释性、类型安全成为关键支点。
结论 · 验证与判断
“IJCAI 在推理、规划、知识方面是最顶级的，这几个方向也是 AI 当下急需的。”
俞扬教授 · 南京大学教授
2019 年的判断在 2026 年依然成立，且更具现实意义。IJCAI 深耕的推理、规划、知识方向正是回答“大模型会不会推理”这一关切的关键。符号 AI 传统方向的持续产出与神经方法的深度融合，使 IJCAI 的相关领域 更具前瞻性与现实价值。