Conditional Abstract Dialectical Frameworks

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

doi:10.1609/aaai.v36i5.20511

Conditional Abstract Dialectical Frameworks

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

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

20 Downloads (Pure)

Abstract

The 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.

Original language	English
Title of host publication	Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI'22)
Subtitle of host publication	AAAI Technical Track on Knowledge Representation and Reasoning
Publisher	The Association for the Advancement of Artificial Intelligence
Pages	5692-5699
Number of pages	8
Volume	36
Edition	5
ISBN (Print)	9781577358763
DOIs	https://doi.org/10.1609/aaai.v36i5.20511
Publication status	Published - 2022
Event	36th AAAI Conference on Artificial Intelligence - Online, United States Duration: 22 Feb 2022 → 1 Mar 2022 Conference number: 36 https://aaai.org/Conferences/AAAI-22/

Publication series

Series	AAAI Conference on Artificial Intelligence
ISSN	2159-5399

Conference

Conference	36th AAAI Conference on Artificial Intelligence
Abbreviated title	AAAI-22
Country/Territory	United States
Period	22/02/22 → 1/03/22
Internet address	https://aaai.org/Conferences/AAAI-22/

Access to Document

10.1609/aaai.v36i5.20511

Full TextFinal published version, 142 KBLicence: Taverne

https://aaai-2022.virtualchair.net/poster_aaai7429

Cite this

Heyninck, J., Thimm, M., Kern-Isberner, G., Rienstra, T., & Skiba, K. (2022). Conditional Abstract Dialectical Frameworks. In Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI'22): AAAI Technical Track on Knowledge Representation and Reasoning (5 ed., Vol. 36, pp. 5692-5699). The Association for the Advancement of Artificial Intelligence . https://doi.org/10.1609/aaai.v36i5.20511

Heyninck, Jesse ; Thimm, Matthias ; Kern-Isberner, Gabriele et al. / Conditional Abstract Dialectical Frameworks. Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI'22): AAAI Technical Track on Knowledge Representation and Reasoning. Vol. 36 5. ed. The Association for the Advancement of Artificial Intelligence , 2022. pp. 5692-5699 (AAAI Conference on Artificial Intelligence).

@inproceedings{7f13d784567f4f07887ee889696aefb5,

title = "Conditional Abstract Dialectical Frameworks",

abstract = "The 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.",

author = "Jesse Heyninck and Matthias Thimm and Gabriele Kern-Isberner and Tjitze Rienstra and Kenneth Skiba",

note = "Funding Information: The research reported here was supported by the Deutsche Forschungsgemeinschaft under grant KE 1413/11-1. Publisher Copyright: {\textcopyright} 2022, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved.; 36th AAAI Conference on Artificial Intelligence, AAAI-22 ; Conference date: 22-02-2022 Through 01-03-2022",

year = "2022",

doi = "10.1609/aaai.v36i5.20511",

language = "English",

isbn = "9781577358763",

volume = "36",

series = "AAAI Conference on Artificial Intelligence",

publisher = " The Association for the Advancement of Artificial Intelligence ",

pages = "5692--5699",

booktitle = "Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI'22)",

address = "United States",

edition = "5",

url = "https://aaai.org/Conferences/AAAI-22/",

}

Heyninck, J, Thimm, M, Kern-Isberner, G, Rienstra, T & Skiba, K 2022, Conditional Abstract Dialectical Frameworks. in Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI'22): AAAI Technical Track on Knowledge Representation and Reasoning. 5 edn, vol. 36, The Association for the Advancement of Artificial Intelligence , AAAI Conference on Artificial Intelligence, pp. 5692-5699, 36th AAAI Conference on Artificial Intelligence, California, United States, 22/02/22. https://doi.org/10.1609/aaai.v36i5.20511

Conditional Abstract Dialectical Frameworks. / Heyninck, Jesse; Thimm, Matthias; Kern-Isberner, Gabriele et al.
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI'22): AAAI Technical Track on Knowledge Representation and Reasoning. Vol. 36 5. ed. The Association for the Advancement of Artificial Intelligence , 2022. p. 5692-5699 (AAAI Conference on Artificial Intelligence).

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

TY - GEN

T1 - Conditional Abstract Dialectical Frameworks

AU - Heyninck, Jesse

AU - Thimm, Matthias

AU - Kern-Isberner, Gabriele

AU - Rienstra, Tjitze

AU - Skiba, Kenneth

N1 - Conference code: 36

PY - 2022

Y1 - 2022

N2 - The 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.

AB - The 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.

U2 - 10.1609/aaai.v36i5.20511

DO - 10.1609/aaai.v36i5.20511

M3 - Conference article in proceeding

SN - 9781577358763

VL - 36

T3 - AAAI Conference on Artificial Intelligence

SP - 5692

EP - 5699

BT - Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI'22)

PB - The Association for the Advancement of Artificial Intelligence

T2 - 36th AAAI Conference on Artificial Intelligence

Y2 - 22 February 2022 through 1 March 2022

ER -

Heyninck J, Thimm M, Kern-Isberner G, Rienstra T, Skiba K. Conditional Abstract Dialectical Frameworks. In Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI'22): AAAI Technical Track on Knowledge Representation and Reasoning. 5 ed. Vol. 36. The Association for the Advancement of Artificial Intelligence . 2022. p. 5692-5699. (AAAI Conference on Artificial Intelligence). doi: 10.1609/aaai.v36i5.20511