Final: Combining First-Order Logic With Natural Logic for Question Answering
Citations Over TimeTop 10% of 2025 papers
Abstract
Many question-answering problems can be approached as textual entailment tasks, where the hypotheses are formed by the question and candidate answers, and the premises are derived from an external knowledge base. However, current neural methods often lack transparency in their decision-making processes. Moreover, first-order logic methods, while systematic, struggle to integrate unstructured external knowledge. To address these limitations, we propose a neuro-symbolic reasoning framework called Final, which combines FIrst-order logic with NAtural Logic for question answering. Our framework utilizes first-order logic to systematically decompose hypotheses and natural logic to construct reasoning paths from premises to hypotheses, employing bidirectional reasoning to establish links along the reasoning path. This approach not only enhances interpretability but also effectively integrates unstructured knowledge. Our experiments on three benchmark datasets, namely QASC, WorldTree, and WikiHop, demonstrate that Final outperforms existing methods in commonsense reasoning and reading comprehension tasks, achieving state-of-the-art results. Additionally, our framework also provides transparent reasoning paths that elucidate the rationale behind the correct decisions.
Related Papers
- Overview of Question-Answering(2002)
- → Natural Language Processing based New Approach to Design Factoid Question Answering System(2020)11 cited
- A Survey on Question and Answering Systems(2012)
- Effective Question Answering Techniques and their Evaluation Metrics(2013)
- A Simple Question Answering System(2004)