arXiv:2508.14488cs.CL2025-08

提出逻辑结构表示,让模型真正理解论证背后的理由。

Reasoning is about giving reasons

  • 用逻辑结构表示(RLS)捕捉论证中的核心逻辑原子与规则
  • 在三个数据集上准确提取逻辑结构,支持深度推理与纠错
  • 适合需要可解释推理和交互式讨论的AI系统

说服他人接受某个前提的真实性,需要理解并阐明支撑或反驳该前提的论证核心逻辑结构。这种理解即为把握构成证明或反证的“理由”——其本质是论证中“逻辑原子”的组合关系。尽管已有研究证明变换器能“链式”推导简单论证,但如何清晰表达这些“理由”仍是挑战。现有链式推理方法不仅可解释性差,且难以拓展至理论等价的推理任务(如归纳推理、矛盾识别)。本文提出一种中间表示——论证的逻辑结构表示(RLS),使模型具备对自然语言论证中逻辑原子及其规则的理解能力。一旦掌握逻辑结构,推理即可确定性计算。因此,该方法支持所有依赖论证结构的推理形式,包括任意深度推理、实时纠错及针对论证的交互讨论。我们在三个主流推理数据集上验证了该方法能高精度识别并提取逻辑结构,显著提升解释生成与推理能力。

原文摘要 · Abstract (English)

Convincing someone of the truth value of a premise requires understanding and articulating the core logical structure of the argument which proves or disproves the premise. Understanding the logical structure of an argument refers to understanding the underlying "reasons" which make up the proof or disproof of the premise - as a function of the "logical atoms" in the argument. While it has been shown that transformers can "chain" rules to derive simple arguments, the challenge of articulating the "reasons" remains. Not only do current approaches to chaining rules suffer in terms of their interpretability, they are also quite constrained in their ability to accommodate extensions to theoretically equivalent reasoning tasks - a model trained to chain rules cannot support abduction or identify contradictions. In this work we suggest addressing these shortcomings by identifying an intermediate representation (which we call the Representation of the Logical Structure (RLS) of the argument) that possesses an understanding of the logical structure of a natural language argument - the logical atoms in the argument and the rules incorporating them. Given the logical structure, reasoning is deterministic and easy to compute. Therefore, our approach supports all forms of reasoning that depend on the logical structure of the natural language argument, including arbitrary depths of reasoning, on-the-fly mistake rectification and interactive discussion with respect to an argument. We show that we can identify and extract the logical structure of natural language arguments in three popular reasoning datasets with high accuracies, thus supporting explanation generation and extending the reasoning capabilities significantly.

逻辑推理可解释性自然语言推理

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