可驗證推理

深度分析

三階段 ADI 框架與 Gamma Quintet：建立可稽核的 LLM 可靠度與一致性邊界

大型語言模型在多步邏輯推理上有結構性缺陷。本文提出以Peirce三段推理為核心的ADI協議，並以五項代數不變量GammaQuintet及「弱連結」上界約束推動一致性，採外部符號化知識圖與屬性化測試驗證，為推理可靠性建立形式化保障，並提供可驗證實作。