TY - JOUR
T1 - Preferential Reasoning with Typicality in ASP over Weighted Argumentation Graphs in a Gradual Semantics
AU - Alviano, Mario
AU - Giordano, Laura
AU - Dupré, Daniele Theseider
N1 - Publisher Copyright:
2023 Copyright for this paper by its authors.
PY - 2023
Y1 - 2023
N2 - Recently some new gradual argumentation semantics have been proposed inspired by a fuzzy multipreferential semantics for weighted conditional knowledge bases with typicality. In this paper we extend these semantics to the finitely-valued case, and develop an ASP approach for conditional reasoning over a weighted argumentation graph, through the verification of graded conditional implications over arguments and over boolean combination of arguments. The semantics defined in the paper is enforced via a custom propagator. The paper also develops a probabilistic semantics for gradual argumentation, which builds on the many-valued conditional semantics.
AB - Recently some new gradual argumentation semantics have been proposed inspired by a fuzzy multipreferential semantics for weighted conditional knowledge bases with typicality. In this paper we extend these semantics to the finitely-valued case, and develop an ASP approach for conditional reasoning over a weighted argumentation graph, through the verification of graded conditional implications over arguments and over boolean combination of arguments. The semantics defined in the paper is enforced via a custom propagator. The paper also develops a probabilistic semantics for gradual argumentation, which builds on the many-valued conditional semantics.
UR - http://www.scopus.com/inward/record.url?scp=85166934134&partnerID=8YFLogxK
M3 - Conference article
AN - SCOPUS:85166934134
SN - 1613-0073
VL - 3437
JO - CEUR Workshop Proceedings
JF - CEUR Workshop Proceedings
T2 - 39th International Conference on Logic Programming Workshops, ICLP Workshops 2023
Y2 - 9 July 2023 through 10 July 2023
ER -