Abstract Dialectical Frameworks. An Overview

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

Abstract Dialectical Frameworks. An Overview

Gerhard BrewkaGerhard Brewka,  Stefan EllmauthalerStefan Ellmauthaler,  Hannes StrassHannes Strass,  Johannes Peter WallnerJohannes Peter Wallner,  Stefan WoltranStefan Woltran
Abstract Dialectical Frameworks. An Overview


  • ISBN: 1848902530
Gerhard Brewka, Stefan Ellmauthaler, Hannes Strass, Johannes Peter Wallner, Stefan Woltran
Abstract Dialectical Frameworks. An Overview
IfCoLog Journal of Logics and their Applications, 4(8):2263-2317, October 2017
  • KurzfassungAbstract
    This article describes abstract dialectical frameworks, or adfs for short.

    adfs are generalizations of the widely used Dung argumentation frameworks. Whereas the latter focus on a single relation among abstract arguments, namely attack, adfs allow arbitrary relationships among arguments to be expressed. For instance, arguments may support each other, or a group of arguments may jointly attack another one while each single member of the group is not strong enough to do so. This additional expressiveness is achieved by handling acceptance conditions for each argument explicitly.

    The semantics of adfs are inspired by approximation fixpoint theory (AFT), a general algebraic theory for approximation based semantics developed by Denecker, Marek and Truszczyski. We briefly introduce AFT and discuss its role in argumentation. This puts us in a position to formally introduce adfs and their semantics. In particular, we show how the most important Dung semantics can be generalized to adfs. Furthermore, we illustrate the use of adfs as semantical tool in various modelling scenarios, demonstrating how typical representations in argumentation can be equipped with precise semantics via translations to adfs. We also present grappa, a related approach where the semantics of arbitrary labelled argument graphs can be directly defined in an adf-like manner, circumventing the need for explicit translations.

    Finally, we address various computational aspects of adfs, like complexity, expressiveness and realizability, and present several implemented systems.
  • Weitere Informationen unter:Further Information: Link
  • Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems
@article{BESWW2017,
  author    = {Gerhard Brewka and Stefan Ellmauthaler and Hannes Strass and
               Johannes Peter Wallner and Stefan Woltran},
  title     = {Abstract Dialectical Frameworks. An Overview},
  journal   = {IfCoLog Journal of Logics and their Applications},
  volume    = {4},
  number    = {8},
  publisher = {College Publications},
  year      = {2017},
  month     = {October},
  pages     = {2263-2317}
}