Strong admissibility for abstract dialectical frameworks

A.K. Zafarghandi, R. Verbrugge, B. Verheij

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Abstract

© 2021 ACM.Abstract dialectical frameworks (ADFs) have been introduced as a formalism for modeling and evaluating argumentation allowing general logical satisfaction conditions. Different criteria used to settle the acceptance of arguments are called semantics. Semantics of ADFs have so far mainly been defined based on the concept of admissibility. However, the notion of strongly admissible semantics studied for abstract argumentation frameworks has not yet been introduced for ADFs. In the current work we present the concept of strong admissibility of interpretations for ADFs. Further, we show that strongly admissible interpretations of ADFs form a lattice with the grounded interpretation as top element.
Original languageEnglish
Title of host publicationProceedings of the 36th Annual ACM Symposium on Applied Computing, SAC 2021
PublisherAssociation for Computing Machinery
Pages873-880
ISBN (Electronic)9781450381048
DOIs
Publication statusPublished - 22 Mar 2021
Externally publishedYes
Event36th Annual ACM Symposium on Applied Computing, SAC 2021 - Virtual, Online, Korea, Republic of
Duration: 22 Mar 202126 Mar 2021

Conference

Conference36th Annual ACM Symposium on Applied Computing, SAC 2021
Country/TerritoryKorea, Republic of
CityVirtual, Online
Period22/03/2126/03/21

Funding

The authors would like to thank Dr. M. Caminada and Prof. dr. S. Woltran for their recommendations for presenting the notion of strongly admissible semantics for ADFs. The work is supported by the Center of Data Science & Systems Complexity (DSSC) Doctoral Programme, at the University of Groningen.

FundersFunder number
Center of Data Science & Systems Complexity
DSSC
Rijksuniversiteit Groningen

    Fingerprint

    Dive into the research topics of 'Strong admissibility for abstract dialectical frameworks'. Together they form a unique fingerprint.

    Cite this