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

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

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.

Original language	English
Title of host publication	Proceedings of the 36th AAAI Conference on Artificial Intelligence
Place of Publication	California
Publisher	AAAI Press
Pages	5692-5699
Number of pages	8
Volume	36
Edition	5
ISBN (Print)	1-57735-876-7, 978-1-57735-876-3
DOIs	https://doi.org/10.1609/aaai.v36i5.20511
Publication status	Published - 30 Jun 2022
Externally published	Yes
Event	The 36th AAAI Conference on Artificial Intelligence - Online, United States Duration: 22 Feb 2022 → 1 Mar 2022 https://aaai.org/conference/aaai/aaai-22/

Conference

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

Access to Document

10.1609/aaai.v36i5.20511

Cite this

@inproceedings{5702313cb45946d295d40d0dff790e70,

title = "Conditional Abstract Dialectical Frameworks",

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.",

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

year = "2022",

month = jun,

day = "30",

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

language = "English",

isbn = "1-57735-876-7",

volume = "36",

pages = "5692--5699",

booktitle = "Proceedings of the 36th AAAI Conference on Artificial Intelligence",

publisher = "AAAI Press",

address = "United States",

edition = "5",

note = "The 36th AAAI Conference on Artificial Intelligence ; Conference date: 22-02-2022 Through 01-03-2022",

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

}

TY - GEN

T1 - Conditional Abstract Dialectical Frameworks

AU - Heyninck, Jesse

AU - Thimm, Matthias

AU - Kern-Isberner, Gabriele

AU - Rienstra, Tjitze

AU - Skiba, Kenneth

PY - 2022/6/30

Y1 - 2022/6/30

N2 - 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 - 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 - 1-57735-876-7

SN - 978-1-57735-876-3

VL - 36

SP - 5692

EP - 5699

BT - Proceedings of the 36th AAAI Conference on Artificial Intelligence

PB - AAAI Press

CY - California

T2 - The 36th AAAI Conference on Artificial Intelligence

Y2 - 22 February 2022 through 1 March 2022

ER -

Conditional Abstract Dialectical Frameworks

Abstract

Conference

Access to Document

Fingerprint

Cite this