cs.AIOct 1, 2026

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

Authors: Shawn Bowers, Martin Caminada, Haoyang Liu, Bertram Ludäscher

Organizations: Gonzaga University, Washington, USA · Cardiff University, Wales, UK · University of Illinois Urbana-Champaign, USA

Abstract

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.

Figures & tables

Explore similar work

CardsList
  1. DeFAb: A Verifiable Benchmark for Defeasible Abduction in Foundation Models

    Jun 17, 2026Patrick Cooper, Alvaro VelasquezAbductive ReasoningFoundation Model

  2. Don't Let Me Ask for It: LLMs Show Deficiencies in Active Multi-Turn Information Acquisition for Abductive Inference

    Aug 4, 2026Shahrukh Mohiuddin, Chalamalasetti Kranti, Sherzod Hakimov +1Abductive ReasoningLarge Language Models Fail