Abductive Inference in Retrieval-Augmented Language Models: Generating and Validating Missing Premises
Shiyin Lin
TL;DR
The paper tackles the problem of incomplete evidence in retrieval-augmented language models by introducing abductive inference to generate and validate missing premises that bridge reasoning gaps. It defines a formal task where a missing premise $P$ is sought such that $E \wedge P \vdash A$, and presents a four-stage abductive-RAG pipeline: insufficiency detection, abductive premise generation, premise validation, and answer generation. Empirical results on abductive reasoning and multi-hop QA benchmarks show consistent improvements over strong baselines, including a $+7.2$ EM gain on EntailmentBank and a HotpotQA F1 of $75.3$, indicating better robustness and faithfulness. The work advances explainability in RAG by making the reasoning path explicit through abductively generated premises that are tested for consistency and plausibility before yielding answers, suggesting practical benefits for knowledge-intensive NLP tasks.
Abstract
Large Language Models (LLMs) enhanced with retrieval -- commonly referred to as Retrieval-Augmented Generation (RAG) -- have demonstrated strong performance in knowledge-intensive tasks. However, RAG pipelines often fail when retrieved evidence is incomplete, leaving gaps in the reasoning process. In such cases, \emph{abductive inference} -- the process of generating plausible missing premises to explain observations -- offers a principled approach to bridge these gaps. In this paper, we propose a framework that integrates abductive inference into retrieval-augmented LLMs. Our method detects insufficient evidence, generates candidate missing premises, and validates them through consistency and plausibility checks. Experimental results on abductive reasoning and multi-hop QA benchmarks show that our approach improves both answer accuracy and reasoning faithfulness. This work highlights abductive inference as a promising direction for enhancing the robustness and explainability of RAG systems.
