通过代数不变量为法学硕士进行结构化溯因-演绎-归纳推理

arXiv:2604.15727v1 公告类型：新 摘要：大型语言模型在结构化逻辑推理中表现出系统性局限性：它们将假设生成与验证混为一谈，无法区分猜想和经过验证的知识，并允许弱推理步骤通过推理链不受检查地传播。我们提出了一个符号推理支架，将皮尔士的三方推理——溯因、演绎和归纳——作为法学硕士辅助推理的显式协议进行操作。该框架通过五个代数不变量（伽玛五重奏）强制逻辑一致性，其中最强的——最弱链接界限——确保推理链中的任何结论都不能超过其支持最少的前提的可靠性。这一原则独立地作为可能性逻辑中最薄弱的环节解决方案，并通过思想链推理的经验验证，可以防止逻辑不一致在多步推理中累积。我们通过基于属性的测试套件验证所有不变量，该测试套件包含 100 个属性和 16 个模糊测试，超过 10^5+ 生成的案例，提供经过验证的不变量参考实现，适合作为未来推理基准的基础。