Deductive ASPIC$^{\ominus}$ Framework Satisfies All Five Rationality Postulates
A new technical report introduces Deductive ASPIC$^{\ominus}$, a structured argumentation framework that satisfies all five critical rationality postulates—closure, direct consistency, indirect consistency, non-interference, and crash-resistance—under credulous semantics in the presence of undercuts. Previous frameworks like ASPIC$^{\ominus}$ and Deductive ASPIC$^{-}$ failed to meet all postulates simultaneously. Deductive ASPIC$^{\ominus}$ integrates gen-rebuttals from ASPIC$^{\ominus}$ with Joint Support Bipolar Argumentation Frameworks (JSBAFs) from Deductive ASPIC$^{-}$, incorporating preferences. The paper demonstrates that this novel approach achieves full compliance, addressing a key challenge in ASPIC-style structured argumentation for artificial intelligence.
Key facts
- Deductive ASPIC$^{\ominus}$ satisfies all five rationality postulates.
- Previous frameworks ASPIC$^{\ominus}$ and Deductive ASPIC$^{-}$ fell short.
- The framework integrates gen-rebuttals from ASPIC$^{\ominus}$ with JSBAFs from Deductive ASPIC$^{-}$.
- It incorporates preferences.
- Compliance is achieved under credulous semantics (e.g., preferred).
- The work addresses undercuts in structured argumentation.
- The report is a technical paper on arXiv.
- The arXiv ID is 2604.21515.
Entities
Institutions
- arXiv