Search papers, labs, and topics across Lattice.
This paper introduces a neuro-symbolic pipeline that leverages large language models (LLMs) to generate implicit premises for logical reconstruction of argument graphs from natural language text. By translating these generated premises into logical formulae, the method effectively establishes entailment, contradiction, or neutrality relationships between statements. Evaluated on the Microtext Argumentative Corpus, the approach demonstrates significant advancements in handling enthymemes, which are often overlooked in traditional argument analysis methods.
A neuro-symbolic approach reveals how LLMs can effectively generate implicit premises, transforming the landscape of argument reconstruction.
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.