Semi-Stable Semantics for Abstract Dialectical Frameworks

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

Semi-Stable Semantics 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

Copyright © 2021, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved.dialectical frameworks (ADFs) have been introduced as a formalism for modeling and evaluating argumentation allowing general logical satisfaction conditions. Different criteria that have been used to settle the acceptance of arguments are called semantics. However, the notion of semi-stable semantics as studied for abstract argumentation frameworks has received little attention for ADFs. In the current work, we present the concepts of semi-two-valued models and semi-stable models for ADFs. We show that these two notions satisfy a set of plausible properties required for semi-stable semantics of ADFs. Moreover, we show that semi-two-valued and semi-stable semantics of ADFs form a proper generalization of the semi-stable semantics of AFs, just like two-valued model and stable semantics for ADFs are generalizations of stable semantics for AFs.

Original language	English
Title of host publication	Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021
Editors	M. Bienvenu, G. Lakemeyer, E. Erdem
Publisher	International Joint Conferences on Artificial Intelligence Organization (IJCAI Organization)
Pages	422-431
ISBN (Electronic)	9781956792997
Publication status	Published - 2021
Externally published	Yes
Event	18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021 - Virtual, Online Duration: 3 Nov 2021 → 12 Nov 2021

Conference

Conference	18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021
City	Virtual, Online
Period	3/11/21 → 12/11/21

Funding

This research is supported by the Center of Data Science & Systems Complexity (DSSC) Doctoral Programme, at Bernoulli Institute of the University of Groningen.

Funders	Funder number
Center of Data Science & Systems Complexity
DSSC
Rijksuniversiteit Groningen

Persistent URL (handle)

Copy link address

Cite this

Zafarghandi, A. K., Verbrugge, R., & Verheij, B. (2021). Semi-Stable Semantics for Abstract Dialectical Frameworks. In M. Bienvenu, G. Lakemeyer, & E. Erdem (Eds.), Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021 (pp. 422-431). International Joint Conferences on Artificial Intelligence Organization (IJCAI Organization).

Zafarghandi, A.K. ; Verbrugge, R. ; Verheij, B. / Semi-Stable Semantics for Abstract Dialectical Frameworks. Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021. editor / M. Bienvenu ; G. Lakemeyer ; E. Erdem. International Joint Conferences on Artificial Intelligence Organization (IJCAI Organization), 2021. pp. 422-431

@inproceedings{992608089d3f46359e2612d827e7918c,

title = "Semi-Stable Semantics for Abstract Dialectical Frameworks",

abstract = "Copyright {\textcopyright} 2021, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved.dialectical frameworks (ADFs) have been introduced as a formalism for modeling and evaluating argumentation allowing general logical satisfaction conditions. Different criteria that have been used to settle the acceptance of arguments are called semantics. However, the notion of semi-stable semantics as studied for abstract argumentation frameworks has received little attention for ADFs. In the current work, we present the concepts of semi-two-valued models and semi-stable models for ADFs. We show that these two notions satisfy a set of plausible properties required for semi-stable semantics of ADFs. Moreover, we show that semi-two-valued and semi-stable semantics of ADFs form a proper generalization of the semi-stable semantics of AFs, just like two-valued model and stable semantics for ADFs are generalizations of stable semantics for AFs.",

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

year = "2021",

language = "English",

pages = "422--431",

editor = "M. Bienvenu and G. Lakemeyer and E. Erdem",

booktitle = "Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021",

publisher = "International Joint Conferences on Artificial Intelligence Organization (IJCAI Organization)",

note = "18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021 ; Conference date: 03-11-2021 Through 12-11-2021",

}

Zafarghandi, AK, Verbrugge, R & Verheij, B 2021, Semi-Stable Semantics for Abstract Dialectical Frameworks. in M Bienvenu, G Lakemeyer & E Erdem (eds), Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021. International Joint Conferences on Artificial Intelligence Organization (IJCAI Organization), pp. 422-431, 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Virtual, Online, 3/11/21.

Semi-Stable Semantics for Abstract Dialectical Frameworks. / Zafarghandi, A.K.; Verbrugge, R.; Verheij, B.
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021. ed. / M. Bienvenu; G. Lakemeyer; E. Erdem. International Joint Conferences on Artificial Intelligence Organization (IJCAI Organization), 2021. p. 422-431.

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

TY - GEN

T1 - Semi-Stable Semantics for Abstract Dialectical Frameworks

AU - Zafarghandi, A.K.

AU - Verbrugge, R.

AU - Verheij, B.

PY - 2021

Y1 - 2021

N2 - Copyright © 2021, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved.dialectical frameworks (ADFs) have been introduced as a formalism for modeling and evaluating argumentation allowing general logical satisfaction conditions. Different criteria that have been used to settle the acceptance of arguments are called semantics. However, the notion of semi-stable semantics as studied for abstract argumentation frameworks has received little attention for ADFs. In the current work, we present the concepts of semi-two-valued models and semi-stable models for ADFs. We show that these two notions satisfy a set of plausible properties required for semi-stable semantics of ADFs. Moreover, we show that semi-two-valued and semi-stable semantics of ADFs form a proper generalization of the semi-stable semantics of AFs, just like two-valued model and stable semantics for ADFs are generalizations of stable semantics for AFs.

AB - Copyright © 2021, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved.dialectical frameworks (ADFs) have been introduced as a formalism for modeling and evaluating argumentation allowing general logical satisfaction conditions. Different criteria that have been used to settle the acceptance of arguments are called semantics. However, the notion of semi-stable semantics as studied for abstract argumentation frameworks has received little attention for ADFs. In the current work, we present the concepts of semi-two-valued models and semi-stable models for ADFs. We show that these two notions satisfy a set of plausible properties required for semi-stable semantics of ADFs. Moreover, we show that semi-two-valued and semi-stable semantics of ADFs form a proper generalization of the semi-stable semantics of AFs, just like two-valued model and stable semantics for ADFs are generalizations of stable semantics for AFs.

UR - http://www.scopus.com/inward/record.url?scp=85126206055&partnerID=8YFLogxK

M3 - Conference contribution

SP - 422

EP - 431

BT - Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021

A2 - Bienvenu, M.

A2 - Lakemeyer, G.

A2 - Erdem, E.

PB - International Joint Conferences on Artificial Intelligence Organization (IJCAI Organization)

T2 - 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021

Y2 - 3 November 2021 through 12 November 2021

ER -

Zafarghandi AK, Verbrugge R, Verheij B. Semi-Stable Semantics for Abstract Dialectical Frameworks. In Bienvenu M, Lakemeyer G, Erdem E, editors, Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021. International Joint Conferences on Artificial Intelligence Organization (IJCAI Organization). 2021. p. 422-431

Semi-Stable Semantics for Abstract Dialectical Frameworks

Abstract

Conference

Funding

Persistent URL (handle)

Other files and links

Fingerprint

Cite this