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

DOI:

https://doi.org/10.1609/aaai.v36i5.20511

Keywords:

Knowledge Representation And Reasoning (KRR)

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.
AAAI-22 Proceedings Cover

Downloads

Published

2022-06-28

How to Cite

Heyninck, J., Thimm, M., Kern-Isberner, G., Rienstra, T., & Skiba, K. (2022). Conditional Abstract Dialectical Frameworks. Proceedings of the AAAI Conference on Artificial Intelligence, 36(5), 5692-5699. https://doi.org/10.1609/aaai.v36i5.20511

Issue

Vol. 36 No. 5: AAAI-22 Technical Tracks 5

Section

AAAI Technical Track on Knowledge Representation and Reasoning