# Satisfying Rationality Postulates of Structured Argumentation Through Deductive Support -- Technical Report

arXiv: https://arxiv.org/abs/2604.21515 · HTML: https://mlsanity.com/paper/2604.21515/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- Builds on 0 of its 19 references that are in the map.
- First posted on arXiv 23 Apr 2026.

## Built on by (most cited first, 1 of 1)

- [Beyond Natural Language: An Agent-Native Language for Autonomous Science](https://mlsanity.com/paper/2609.25421/) (2026)

## Abstract (arXiv)

ASPIC-style structured argumentation frameworks provide a formal basis for reasoning in artificial intelligence by combining internal argument structure with abstract argumentation semantics. A key challenge in these frameworks is ensuring compliance with five critical rationality postulates: closure, direct consistency, indirect consistency, non-interference, and crash-resistance. Recent approaches, including ASPICominus and Deductive ASPIC-, have made significant progress but fall short of meeting all postulates simultaneously under a credulous semantics (e.g. preferred) in the presence of undercuts. This paper introduces Deductive ASPICominus, a novel framework that integrates gen-rebuttals from ASPICominus with the Joint Support Bipolar Argumentation Frameworks (JSBAFs) of Deductive ASPIC-, incorporating preferences. We show that Deductive ASPICominus satisfies all five rationality postulates under a version of preferred semantics. This work opens new avenues for further research on robust and logically sound structured argumentation systems.