从形式语言与自然语言视角理解 LLM 中的三段论推理
计算与语言
2025-12-30 v3 人工智能
摘要
我们从逻辑和自然语言视角研究 LLM 中的三段论推理。在此过程中，我们探索了 LLM 的基本推理能力以及该研究的前进方向。为了辅助研究，我们使用了 14 个大语言模型，并调查了它们在符号推理和自然语言理解方面的三段论推理能力。尽管这种推理机制并非 LLM 中统一的涌现属性，但某些模型完美的符号表现使我们怀疑 LLMs 是否正在成为越来越形式化的推理机制，而非明确表达人类推理的细微差别。
引用
@article{arxiv.2512.12620,
title = {Understanding Syllogistic Reasoning in LLMs from Formal and Natural Language Perspectives},
author = {Aheli Poddar and Saptarshi Sahoo and Sujata Ghosh},
journal= {arXiv preprint arXiv:2512.12620},
year = {2025}
}
备注
9 pages, 4 figures, 5 tables. Accepted at AAAI 2026 Bridge Program on Logic & AI. Code available at https://github.com/XAheli/Logic-in-LLMs