DeepAI AI Chat
Log In Sign Up

Weighted Abstract Dialectical Frameworks: Extended and Revised Report

by   Gerhard Brewka, et al.
TU Wien
Google Inc

Abstract Dialectical Frameworks (ADFs) generalize Dung's argumentation frameworks allowing various relationships among arguments to be expressed in a systematic way. We further generalize ADFs so as to accommodate arbitrary acceptance degrees for the arguments. This makes ADFs applicable in domains where both the initial status of arguments and their relationship are only insufficiently specified by Boolean functions. We define all standard ADF semantics for the weighted case, including grounded, preferred and stable semantics. We illustrate our approach using acceptance degrees from the unit interval and show how other valuation structures can be integrated. In each case it is sufficient to specify how the generalized acceptance conditions are represented by formulas, and to specify the information ordering underlying the characteristic ADF operator. We also present complexity results for problems related to weighted ADFs.


page 1

page 2

page 3

page 4


Strong Admissibility for Abstract Dialectical Frameworks

Abstract dialectical frameworks (ADFs) have been introduced as a formali...

Expressiveness of SETAFs and Support-Free ADFs under 3-valued Semantics

Generalizing the attack structure in argumentation frameworks (AFs) has ...

Extension-based Semantics of Abstract Dialectical Frameworks

One of the most prominent tools for abstract argumentation is the Dung's...

On the Equivalence Between Abstract Dialectical Frameworks and Logic Programs

Abstract Dialectical Frameworks (ADFs) are argumentation frameworks wher...

Solving Advanced Argumentation Problems with Answer Set Programming

Powerful formalisms for abstract argumentation have been proposed, among...

ConArg: a Tool to Solve (Weighted) Abstract Argumentation Frameworks with (Soft) Constraints

ConArg is a Constraint Programming-based tool that can be used to model ...

Augmenting Tractable Fragments of Abstract Argumentation

We present a new and compelling approach to the efficient solution of im...