Formal Bipolar Weighted Semantics for Generalized Argumentation Frameworks
- 1Department of Computer Science, University of Bari “Aldo Moro”, 70100 Bari, Italy
Abstract
Argumentation is the inferential strategy aimed at coping with inconsistent knowledge within a logic theory. Abstract argumentation is based on a graph model where nodes are uninterpreted claims and arcs denote relationships between pairs of claims. Different frameworks provide different expressive power and different strategies (‘semantics’) to decide which arguments are justified. The Generalized Argumentation Framework was proposed as a unifying model that can simulate major pre-existing frameworks in the literature and combine them into a single, seamless model. It also provides additional power. This paper discusses its formal properties and proposes and investigates different evaluation strategies and semantics that can leverage its specific features and full power.
Related
- Higher-Order Quadripolar Argumentation Framework and Encoded Semantics
- Generalized Stević–Sharma operators on weighted Dirichlet spaces
- Norm of the generalized Hilbert operator on weighted Bergman spaces
- Nadler Theorem on Generalized Metric Spaces with Weighted Graphs
- On weighted Schatten p-numerical radii via generalized Aluthge transformation
BibTeX
@article{ferilli2026formal,
title = {{Formal Bipolar Weighted Semantics for Generalized Argumentation Frameworks}},
author = {Stefano Ferilli},
journal = {Mathematics},
year = {2026},
month = oct,
doi = {10.3390/math14213901},
url = {https://www.mdpi.com/2227-7390/14/21/3901},
note = {CC BY 4.0},
}
RIS
TY - JOUR
TI - Formal Bipolar Weighted Semantics for Generalized Argumentation Frameworks
AU - Stefano Ferilli
PY - 2026
DA - 2026/10/26
JO - Mathematics
DO - 10.3390/math14213901
UR - https://www.mdpi.com/2227-7390/14/21/3901
AB - Argumentation is the inferential strategy aimed at coping with inconsistent knowledge within a logic theory. Abstract argumentation is based on a graph model where nodes are uninterpreted claims and arcs denote relationships between pairs of claims. Different frameworks provide different expressive power and different strategies (‘semantics’) to decide which arguments are justified. The Generalized Argumentation Framework was proposed as a unifying model that can simulate major pre-existing frameworks in the literature and combine them into a single, seamless model. It also provides additional power. This paper discusses its formal properties and proposes and investigates different evaluation strategies and semantics that can leverage its specific features and full power.
SN - 2227-7390
ER -