Improve Rule Retrieval and Reasoning with Self-Induction and Relevance ReEstimate
Ziyang Huang, Wangtao Sun, Jun Zhao, Kang Liu
TL;DR
This work tackles the problem of rule retrieval for large language model reasoning by identifying semantic misalignment between concrete query facts and abstract rules. It introduces SIAR to induce self-derived rules that augment queries, and R^3 to re-estimate rule relevance for reranking retrieved rules. Across synthetic and real datasets, SIAR improves retrieval and reasoning over vanilla methods, and SIAR-R^3 yields further gains, with effects depending on rule format, retriever type, and model scale. The results demonstrate the practical potential of combining self-induced rule generation with relevance-based reranking to enhance rule-based reasoning in real-world applications.
Abstract
This paper systematically addresses the challenges of rule retrieval, a crucial yet underexplored area. Vanilla retrieval methods using sparse or dense retrievers to directly search for relevant rules to support downstream reasoning, often suffer from low accuracy. This is primarily due to a significant semantic gap between the instantiated facts in the queries and the abstract representations of the rules. Such misalignment results in suboptimal retrieval quality, which in turn negatively impacts reasoning performance. To overcome these challenges, we propose Self-Induction Augmented Retrieval (SIAR), a novel approach that utilizes Large Language Models (LLMs) to induce potential inferential rules that might offer benefits for reasoning by abstracting the underlying knowledge and logical structure in queries. These induced rules are then used for query augmentation to improve retrieval effectiveness. Additionally, we introduce Rule Relevance ReEstimate (R$^3$), a method that re-estimates the relevance of retrieved rules by assessing whether the abstract knowledge they contain can be instantiated to align with the facts in the queries and the helpfulness for reasoning. Extensive experiments across various settings demonstrate the effectiveness and versatility of our proposed methods.
