Structured Abductive-Deductive-Inductive Reasoning for LLMs via Algebraic Invariants

Diese Forschung stellt ein symbolisches Denkgerüst vor, um systematische Einschränkungen von LLMs im strukturierten logischen Denken zu beheben, wie die Verwechslung von Hypothesengenerierung und -prüfung. Es operationalisiert Peirces dreigliedrige Inferenz und erzwingt logische Konsistenz durch algebraische Invarianten, wobei die 'Weakest Link bound' sicherstellt, dass keine Schlussfolgerung die Zuverlässigkeit ihrer am wenigsten unterstützten Prämise überschreiten kann.