Derivation Prompting constructs logic-based derivation trees in RAG generation to improve interpretability and reduce unacceptable answers compared to standard RAG or long-context methods in a case study.
van Dalen (2004): Logic and structure, 5th edition
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
verdicts
UNVERDICTED 2representative citing papers
A formalism for default reasoning over Segerberg's deontic action logic, extended via Boolean algebra tools to preserve algebraic completeness.
citing papers explorer
-
Derivation Prompting: A Logic-Based Method for Improving Retrieval-Augmented Generation
Derivation Prompting constructs logic-based derivation trees in RAG generation to improve interpretability and reduce unacceptable answers compared to standard RAG or long-context methods in a case study.
-
An Algebraic Approach for Action Based Default Reasoning
A formalism for default reasoning over Segerberg's deontic action logic, extended via Boolean algebra tools to preserve algebraic completeness.