AINeutralarXiv – CS AI · 7h ago6/10
🧠
Structured Abductive-Deductive-Inductive Reasoning for LLMs via Algebraic Invariants
Researchers propose a symbolic reasoning framework that implements Peirce's abductive-deductive-inductive reasoning model to address systematic weaknesses in large language model logical reasoning. The system enforces logical consistency through five algebraic invariants, with the Weakest Link bound preventing unreliable premises from corrupting multi-step inference chains.