Satisfying Rationality Postulates of Structured Argumentation through Deductive Support
Aus International Center for Computational Logic
Satisfying Rationality Postulates of Structured Argumentation through Deductive Support
Vortrag von Tom Friese
- Veranstaltungsort: APB 3027
- Beginn: 24. Juli 2025 um 11:00
- Ende: 24. Juli 2025 um 12:00
- Forschungsgruppe: Wissensbasierte Systeme
- Event series: Research Seminar Logic and AI
- iCal
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 ASPIC⊖ 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. We introduce Deductive ASPIC⊖, a novel framework that integrates gen-rebuttals from ASPIC⊖ with the Joint Support Bipolar Argumentation Frameworks (JSBAFs) of Deductive ASPIC-, incorporating preferences. We show that Deductive ASPIC⊖ satisfies all five rationality postulates under a version of preferred semantics.
