arXiv:2509.24765cs.AI2025-09ACL被引 34

用符号学框架提升大模型逻辑推理能力,解决抽象与语义复杂性难题。

Semantic-Aware Logical Reasoning via a Semiotic Framework

  • 基于符号学方阵构建多视角语义分析,结合自动演绎与反思验证
  • 在RepublicQA上超越基线6.25%,跨多个基准平均提升7.05%
  • 适合研究逻辑推理、语义复杂性与大模型可解释性的学者

逻辑推理是大语言模型的核心能力,但现有研究常忽略逻辑复杂性与语义复杂性的交互,导致模型在处理抽象命题、模糊语境和矛盾立场时表现不佳。本文提出LogicAgent,一种基于符号学方阵的框架,协同应对这两类挑战。符号学方阵为多视角语义分析提供原则性结构,LogicAgent通过自动化演绎与反思验证相结合,有效管理深层推理链中的逻辑复杂性。为评估该能力,我们引入RepublicQA基准,其语义难度达大学水平(FKGL 11.94),包含哲学基础的抽象命题,并系统构造对立与矛盾形式,提供丰富的语义环境以评估大模型的逻辑推理。实验表明,LogicAgent在RepublicQA上比强基线平均提升6.25%,并在ProntoQA、ProofWriter、FOLIO和ProverQA等主流逻辑推理基准上额外获得7.05%平均增益。结果证明符号学驱动的多视角推理能显著提升逻辑性能。代码已公开于https://github.com/AI4SS/Logic-Agent。

原文摘要 · Abstract (English)

Logical reasoning is a fundamental capability of large language models. However, existing studies often overlook the interaction between logical complexity and semantic complexity, leading to systems that struggle with abstract propositions, ambiguous contexts, and conflicting stances that are central to human reasoning. We propose LogicAgent, a semiotic-square-guided framework that jointly addresses these two axes of difficulty. The semiotic square provides a principled structure for multi-perspective semantic analysis, and LogicAgent integrates automated deduction with reflective verification to manage logical complexity across deeper reasoning chains. To support evaluation under these conditions, we introduce RepublicQA, a benchmark that couples semantic complexity with logical depth. RepublicQA reaches college-level semantic difficulty (FKGL 11.94), contains philosophically grounded abstract propositions with systematically constructed contrary and contradictory forms, and offers a semantically rich setting for assessing logical reasoning in large language models. Experiments show that LogicAgent achieves state-of-the-art performance on RepublicQA with a 6.25 percent average improvement over strong baselines, and generalizes effectively to mainstream logical reasoning benchmarks including ProntoQA, ProofWriter, FOLIO, and ProverQA, achieving an additional 7.05 percent average gain. These results demonstrate the effectiveness of semiotic-grounded multi-perspective reasoning in enhancing logical performance. Code is available at https://github.com/AI4SS/Logic-Agent.

逻辑推理符号学大模型语义复杂性

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。