Conditional Abstract Dialectical Frameworks

Jesse Heyninck, Matthias Thimm, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba

AAAI 2022 pp. 5692-5699

doi:10.1609/AAAI.V36I5.20511 /aaai/2022/heyninck2022aaai-conditional/

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.

PDF AAAI Semantic Scholar

Cite

Text

Heyninck et al. "Conditional Abstract Dialectical Frameworks." AAAI Conference on Artificial Intelligence, 2022. doi:10.1609/AAAI.V36I5.20511

Markdown

[Heyninck et al. "Conditional Abstract Dialectical Frameworks." AAAI Conference on Artificial Intelligence, 2022.](https://mlanthology.org/aaai/2022/heyninck2022aaai-conditional/) doi:10.1609/AAAI.V36I5.20511

BibTeX

@inproceedings{heyninck2022aaai-conditional,
  title     = {{Conditional Abstract Dialectical Frameworks}},
  author    = {Heyninck, Jesse and Thimm, Matthias and Kern-Isberner, Gabriele and Rienstra, Tjitze and Skiba, Kenneth},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2022},
  pages     = {5692-5699},
  doi       = {10.1609/AAAI.V36I5.20511},
  url       = {https://mlanthology.org/aaai/2022/heyninck2022aaai-conditional/}
}