ABDA-NL Natural Language Interface for Argument-Based Reasoning
October 2, 2026
ABDA-NL uses an LLM to bridge natural language and ASPIC-based knowledge bases, allowing users to query and edit formal arguments via plain English. The system maintains a deterministic reasoning engine to ensure all model-generated rules and assumptions are validated by the user before execution.
HOW THIS AFFECTS YOU
●
builderYou can build conversational interfaces for formal logic systems using LLMs as translation layers.
●
researcherThis provides a method for testing argument-based reasoning via natural language manipulation.