Derivation Prompting: A Logic-Based Method for Improving Retrieval-Augmented Generation

Fuente: arXiv
Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Sastre, Ignacio, Moncecchi, Guillermo, Rosá, Aiala
Format: Preprint
Veröffentlicht: 2026
Schlagworte:
Online-Zugang:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
_version_ 1866909041142267904
author Sastre, Ignacio
Moncecchi, Guillermo
Rosá, Aiala
author_facet Sastre, Ignacio
Moncecchi, Guillermo
Rosá, Aiala
contents The application of Large Language Models to Question Answering has shown great promise, but important challenges such as hallucinations and erroneous reasoning arise when using these models, particularly in knowledge-intensive, domain-specific tasks. To address these issues, we introduce Derivation Prompting, a novel prompting technique for the generation step of the Retrieval-Augmented Generation framework. Inspired by logic derivations, this method involves deriving conclusions from initial hypotheses through the systematic application of predefined rules. It constructs a derivation tree that is interpretable and adds control over the generation process. We applied this method in a specific case study, significantly reducing unacceptable answers compared to traditional RAG and long-context window methods.
format Preprint
id arxiv_https___arxiv_org_abs_2605_14053
institution arXiv
publishDate 2026
record_format arxiv
spellingShingle Derivation Prompting: A Logic-Based Method for Improving Retrieval-Augmented Generation
Sastre, Ignacio
Moncecchi, Guillermo
Rosá, Aiala
Computation and Language
Artificial Intelligence
The application of Large Language Models to Question Answering has shown great promise, but important challenges such as hallucinations and erroneous reasoning arise when using these models, particularly in knowledge-intensive, domain-specific tasks. To address these issues, we introduce Derivation Prompting, a novel prompting technique for the generation step of the Retrieval-Augmented Generation framework. Inspired by logic derivations, this method involves deriving conclusions from initial hypotheses through the systematic application of predefined rules. It constructs a derivation tree that is interpretable and adds control over the generation process. We applied this method in a specific case study, significantly reducing unacceptable answers compared to traditional RAG and long-context window methods.
title Derivation Prompting: A Logic-Based Method for Improving Retrieval-Augmented Generation
topic Computation and Language
Artificial Intelligence
url https://arxiv.org/abs/2605.14053