AAAI

Association for the Advancement of Artificial Intelligence

Home > Proceedings / Proceedings of the AAAI Conference on Artificial Intelligence, 36 > No. 5: AAAI-22 Technical Tracks 5

Conditional Abstract Dialectical Frameworks

Authors

Jesse Heyninck

Technische Universität Dortmund, Germany University of Cape Town and CAIR, South Africa Vrije Universiteit Brussel, Belgium


Matthias Thimm

University of Hagen, Germany


Gabriele Kern-Isberner

Technische Universität Dortmund, Germany


Tjitze Rienstra

Maastricht University, The Netherlands


Kenneth Skiba

University of Hagen, Germany


Proceedings:

No. 5: AAAI-22 Technical Tracks 5

Volume

Issue:

Proceedings of the AAAI Conference on Artificial Intelligence, 36

Track:

AAAI Technical Track on Knowledge Representation and Reasoning

Downloads:

Download PDF

Abstract:

Abstract dialectical frameworks (in short, ADFs) are a unifying model of formal argumentation, where argumentative relations between arguments are represented by assigning acceptance conditions to atomic arguments. This idea is generalized by letting acceptance conditions being assigned to complex formulas, resulting in conditional abstract dialectical frameworks (in short, cADFs). We define the semantics of cADFs in terms of a non-truth-functional four-valued logic, and study the semantics in-depth, by showing existence results and proving that all semantics are generalizations of the corresponding semantics for ADFs.

DOI:

10.1609/aaai.v36i5.20511


AAAI

Proceedings of the AAAI Conference on Artificial Intelligence, 36