Arguing about Complex Formulas: Generalizing Abstract Dialectical Frameworks

Heyninck, Jesse and Thimm, Matthias and Kern-Isberner, Gabriele and Riesntra, Tjitze and Skiba, Kenneth (2021) Arguing about Complex Formulas: Generalizing Abstract Dialectical Frameworks, Proceedings of Proceedings of 19th International Workshop on Non-Monotonic Reasoning, 3-5 November 2021, Online.

[thumbnail of CADFs (3).pdf] Text
CADFs (3).pdf - Published Version

Download (287kB)


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.

Item Type: Conference paper
Subjects: Computing methodologies > Artificial intelligence > Knowledge representation and reasoning
Date Deposited: 08 Dec 2021 06:18
Last Modified: 08 Dec 2021 06:18

Actions (login required)

View Item View Item