Strong admissibility for abstract dialectical frameworks

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

doi:10.1145/3412841.3441962

Strong admissibility for abstract dialectical frameworks

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

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

Abstract

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 language	English
Title of host publication	SAC 2021
Subtitle of host publication	Proceedings of the 36th Annual ACM Symposium on Applied Computing
Publisher	Association for Computing Machinery
Pages	873-880
Number of pages	8
ISBN (Electronic)	9781450381048
DOIs	https://doi.org/10.1145/3412841.3441962
Publication status	Published - 2021
Externally published	Yes
Event	36th Annual ACM Symposium on Applied Computing, SAC 2021 - Virtual, Online, Korea, Republic of Duration: 22 Mar 2021 → 26 Mar 2021

Publication series

Name	Proceedings of the ACM Symposium on Applied Computing

Conference

Conference	36th Annual ACM Symposium on Applied Computing, SAC 2021
Country/Territory	Korea, Republic of
City	Virtual, Online
Period	22/03/21 → 26/03/21

Bibliographical note

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.

Funders
Center of Data Science & Systems Complexity
DSSC
Rijksuniversiteit Groningen

Access to Document

10.1145/3412841.3441962

Persistent URL (handle)

Persistent link

Cite this

@inproceedings{e70b850c79cd4f0ebfc2a8cac7c4598c,

title = "Strong admissibility for abstract dialectical frameworks",

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

author = "A.K. Zafarghandi and R. Verbrugge and B. Verheij",

note = "{\textcopyright} 2021 ACM.; 36th Annual ACM Symposium on Applied Computing, SAC 2021 ; Conference date: 22-03-2021 Through 26-03-2021",

year = "2021",

doi = "10.1145/3412841.3441962",

language = "English",

series = "Proceedings of the ACM Symposium on Applied Computing",

publisher = "Association for Computing Machinery",

pages = "873--880",

booktitle = "SAC 2021",

}

Zafarghandi, AK, Verbrugge, R & Verheij, B 2021, Strong admissibility for abstract dialectical frameworks. in SAC 2021: Proceedings of the 36th Annual ACM Symposium on Applied Computing. Proceedings of the ACM Symposium on Applied Computing, Association for Computing Machinery, pp. 873-880, 36th Annual ACM Symposium on Applied Computing, SAC 2021, Virtual, Online, Korea, Republic of, 22/03/21. https://doi.org/10.1145/3412841.3441962

Strong admissibility for abstract dialectical frameworks. / Zafarghandi, A.K.; Verbrugge, R.; Verheij, B.
SAC 2021: Proceedings of the 36th Annual ACM Symposium on Applied Computing. Association for Computing Machinery, 2021. p. 873-880 (Proceedings of the ACM Symposium on Applied Computing).

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

TY - GEN

T1 - Strong admissibility for abstract dialectical frameworks

AU - Zafarghandi, A.K.

AU - Verbrugge, R.

AU - Verheij, B.

PY - 2021

Y1 - 2021

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/85105010984

U2 - 10.1145/3412841.3441962

DO - 10.1145/3412841.3441962

M3 - Conference contribution

T3 - Proceedings of the ACM Symposium on Applied Computing

SP - 873

EP - 880

BT - SAC 2021

PB - Association for Computing Machinery

T2 - 36th Annual ACM Symposium on Applied Computing, SAC 2021

Y2 - 22 March 2021 through 26 March 2021

ER -

Strong admissibility for abstract dialectical frameworks

Abstract

Publication series

Conference

Bibliographical note

Funding

Access to Document

Persistent URL (handle)

Other files and links

Fingerprint

Cite this