arXiv AI
Jul 31
Making Implicit Premises Explicit in Logical Understanding of Enthymemes
arXiv:2603. 06114v2 Announce Type: replace-cross Abstract: Real-world arguments in text and dialogues are normally enthymemes (i.
Identifying Implicit Premises for Logical Reconstruction of Argument Graphs
The paper tackles the challenge of reconstructing argument graphs from natural language by addressing enthymemes—arguments with implicit premises. It proposes a neuro‑symbolic pipeline that employs large language models to generate intermediate implicit premises, translates them into logical formulas, and combines them with explicit premises and claims to determine entailment, contradiction, or neutrality. The method is evaluated on the Microtext Argumentative Corpus.
Related stories
arXiv AI
Oct 15
Identification of Entailment and Contradiction Relations for Natural Language Argumentation: A Neurosymbolic Approach
arXiv:2405.01259v2 Announce Type: replace Abstract: Argumentation is an important cognitive activity that involves the scrutiny of arguments and counterarguments. When given an argument, it is desira...
arXiv AI
Jun 16
VeriGraph: Towards Verifiable Data-Analytic Agents
arXiv:2606. 16603v1 Announce Type: cross Abstract: LLM-based agents have demonstrated strong capabilities in data-intensive analytical tasks, yet their outputs are rarely verifiable: a reliance on linear text trajectories makes their reasoning difficult to audit.
arXiv AI
Jun 8
CAF-Gen: A Multi-Agent System for Enriching Argumentation Structures
arXiv:2606. 06646v1 Announce Type: cross Abstract: Formalizing complex reasoning from natural text is one of the central challenges in computational linguistics.
arXiv AI
Jun 9
Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations
arXiv:2507. 09751v3 Announce Type: replace Abstract: Large language models (LLMs) have demonstrated impressive capabilities in natural language understanding and generation, but exhibit problems with logical consistency in their output.
arXiv AI
Jul 15
A Neurosymbolic Approach to Natural Language Formalization and Verification
arXiv:2511. 09008v2 Announce Type: replace-cross Abstract: Large Language Models perform well at natural language interpretation and reasoning, but their lack of formal correctness guarantees limits their adoption in regulated industries like finance and health-care that operate under strict policies.
arXiv Computation and Language
Oct 1
Argument Structure Prediction in Online Conversations: A Comparative Study of Modeling Paradigms and Task Architectures
arXiv:2609.39225v1 Announce Type: new Abstract: Argument structure prediction (ASP) constructs complete argument structures from discourse by identifying argumentative units and their relations. Whil...
arXiv AI
Oct 15
Have You Been Convinced? A Neuro-symbolic Argumentation Reasoning Approach to Detecting Persuasiveness in ChangeMyView Discussions
arXiv:2610.15091v1 Announce Type: cross Abstract: Argument structures represent how individual arguments interact within a discourse. However, leveraging these structures to infer meaningful knowledg...
arXiv Computation and Language
Oct 15
Learning Proposition-Level Links from Sentence-Level Supervision for Neuro-Symbolic NLI
arXiv:2610.15158v2 Announce Type: replace Abstract: We study neuro-symbolic natural language inference (NLI) with independently translated propositional representations of the premise and hypothesis....
arXiv Computation and Language
4d ago
On the LLM Verification for Argument Graph Generation
The paper proposes a layered verification approach for argument graphs generated by large language models (LLMs). It suggests starting with deterministic checks, then using solver-based methods, followed by LLM reviews, and resorting to debate only when uncertainty remains, reserving human judgment for cases no other instrument can resolve. A study on human-annotated graphs with injected defects shows that while LLM reviewers can detect structural issues with high recall, they also produce false positives, exhibit inconsistent verdicts, and are slower than exact checks, underscoring the need for deterministic verification gates.
arXiv AI
Aug 20
Pairwise Logical Selection of Enthymeme Completions under Semantic-Link Uncertainty
The paper presents a neuro‑symbolic approach for selecting the correct omitted component in enthymemes, extending prior work from missing‑premise to missing‑claim selection. It replaces binary entailment with logical‑resistance scores and introduces the Possible‑World Atom‑Link Formalization (PWAL), which marginalizes over alternative semantic‑link configurations while keeping translated formulae fixed. Experiments on five tasks show that PWAL improves strict accuracy by up to 30.86 percentage points and reduces tie rates significantly, while also providing a transparent trace of each comparison.
arXiv Computation and Language
Sep 23
Semantic Abstraction for Natural Language Inference: a Methodological Framework for Discovering and Compensating Semantic Knowledge and Reasoning Gaps in Large Language Models
arXiv:2609.26610v1 Announce Type: new Abstract: Despite their outstanding performance on many NLP tasks, LLMs face serious challenges related to semantic abstraction. In this study, we are interested...