mlsanityData to 14 Oct 2026

ABDA-NL: A Natural-Language Scenario Explorer for Argument-Based Reasoning

arXiv 2610.00947 ↗First posted 1 Oct 2026cs.AI cs.HCcited by 0

On the map: LLM reasoning → Reasoning for agents, planning and code also fits: Reasoning benchmarks and evaluation

Abstract (arXiv)

ABDA-NL adds a natural-language interface to ABDA, a system for argument-based discussion using ASPIC- knowledge bases under grounded semantics. Users see which conclusions are accepted, rejected, or undecided, open an interactive rendering of the grounded discussion game to learn why, explore what-if alternatives by suspending assumptions and rules or changing preferences, ask questions that are answered from a scenario's reference documents, and author new facts, assumptions, and rules in plain English. A large language model provides the bridge between language and formalism: it answers questions from the documents and the current state of the scenario, and it translates plain-English edits into candidate formal statements. The deterministic ABDA engine remains the sole source of arguments, attacks, and acceptance labels, and every proposal of the model is validated and confirmed by the user before it takes effect.

Key facts. No citing papers in the map yet (data through 14 Oct 2026). Placed in Reasoning for agents, planning and code, one of 17 directions in LLM reasoning. Builds on 0 of its 14 references that are in the map. First posted on arXiv 1 Oct 2026.

Builds on

0 of 14 references.

No references here yet.

Built on by

Not cited yet.

Similar, not cited

Close in wording, no citation either way

  1. 2026ARGORA: Orchestrated Argumentation for Causally Grounded LLM Reasoning and Decision Making
  2. 2026ArgLLM-App: An Interactive System for Argumentative Reasoning with Large Language Models
  3. 2024Critical-Questions-of-Thought: Steering LLM reasoning with Argumentative Querying
  4. 2025Do Language Models Follow Occam's Razor? An Evaluation of Parsimony in Inductive and Abductive Reasoning
  5. 2026Abductive Reasoning with Probabilistic Commonsense
  6. 2024"Let's Argue Both Sides": Argument Generation Can Force Small Models to Utilize Previously Inaccessible Reasoning Capabilities
  7. 2024Argumentative Large Language Models for Explainable and Contestable Claim Verification
  8. 2025GEAR: A General Evaluation Framework for Abductive Reasoning