用语义对立结构提升大模型逻辑推理可靠性
Semiotic logical hexagon theory for LLM logical reasoning
- 构建语义对立六边形框架,先组织语言隐含意义
- 在复杂逻辑任务上,多模型推理准确率显著提升
- 适合研究大模型认知机制与推理增强的学者
大语言模型在语言理解与逻辑推理中表现强大,但在需同时理解语义与遵循逻辑的问题上仍会出错。关键原因在于自然语言陈述常包含未显式表达的语义关系,若这些隐含意义未被正确组织,即使后续推理看似严谨,也会得出错误结论。现有方法通过分解、符号转换、外部求解器或自验证来改进推理,但较少关注推理所依赖的语义结构。本文提出HexLogicAgent框架,先组织自然语言陈述的语义,再通过结构化验证引导逻辑推理。研究发现:不完整的语义表征是推理失败的主要原因,而非演绎推理本身;显式建模完整的语义对立结构能显著延缓逻辑复杂度增加带来的性能下降。在多个挑战性逻辑推理基准上的实验表明,HexLogicAgent在多种大模型上均持续提升推理可靠性。其核心思想基于逻辑六边形理论,解释了为何完整的语义对立结构对可靠推理至关重要。
原文摘要 · Abstract (English)
Large language models (LLMs) have become powerful tools for language understanding and logical reasoning. However, they still make mistakes when a problem requires both understanding meaning and following logic. A key reason is that natural-language statements often carry implicit semantic relations before any formal reasoning begins. If these hidden meanings are not properly organized, the model may reach incorrect conclusions even when the subsequent reasoning process appears logically valid. Existing methods improve reasoning through decomposition, symbolic translation, external solvers, or self-verification, but pay comparatively less attention to the semantic structure on which reasoning depends. In this paper, we further investigate how semantic organization influences logical reasoning in LLMs. To this end, we propose HexLogicAgent, a framework that first organizes the meaning of natural-language statements and then guides logical reasoning through structured verification. In our investigation, we also make two observations. First, incomplete semantic representations, rather than deductive inference itself, are a major source of logical reasoning failures in LLMs. Second, explicitly modeling the complete structure of semantic opposition substantially delays the degradation of reasoning performance as logical complexity increases. Experiments on challenging logical reasoning benchmarks demonstrate that HexLogicAgent consistently improves reasoning reliability across multiple LLMs. The core idea is supported by a logical hexagon theory, which explains why a complete structure of opposing meanings is necessary for reliable reasoning.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。