arXiv · 2608.18821
Identifying Implicit Premises for Logical Reconstruction of Argument Graphs
Abstract
The logical reconstruction of argument graphs from natural language text is challenging because of the prevalence of enthymemes (i.e., arguments with implicit premises). There are natural language processing methods for identifying enthymemes in text, and there are symbolic methods based on abduction for identifying missing premises in a logical representation of enthymemes. However, there is a need for methods to generate implicit premises to logically show a known entailment or contradiction relationship between a pair of statements. To address this, we propose a neuro-symbolic pipeline that uses large language models (LLMs) to generate intermediate implicit premises that are translated into logical formulae and used with logical formulae representing explicit premises and explicit claims to show the logical relationships between them (entailment, contradiction, or neutrality). Our approach is evaluated on the Microtext Argumentative Corpus.
Explore related subjects
Keep this discovery
Explore connections, maps & timelines
Xuyao Feng, Anthony Hunter. 2026-08-19. Identifying Implicit Premises for Logical Reconstruction of Argument Graphs. https://arxiv.org/abs/2608.18821
Cite the original work for its findings. Save a collection to share your selection of sources.