Affiliation:
1. Dipartimento di Matematica e Informatica (DEMACS), University of Calabria, Rende, Italy
2. Dipartimento di Scienze e Innovazione Tecnologica (DISIT), University of Piemonte Orientale, Alessandria, Italy
Abstract
Weighted knowledge bases for description logics with typicality provide a logical interpretation of MultiLayer Perceptrons, based on a “concept-wise” multi-preferential semantics. On the one hand, in the finitely many-valued case, Answer Set Programming (ASP) has been shown to be suitable for addressing defeasible reasoning from weighted knowledge bases for the boolean fragment of ALC . On the other hand, the semantics of weighted knowledge bases with typicality, in their different variants, have suggested some new gradual argumentation semantics, as well as an approach for defeasible reasoning over a weighted argumentation graph, building on the gradual semantics and, specifically on the φ-coherent semantics. In this paper, we explore the relationships between weighted knowledge bases and weighted argumentation graphs, to develop proof methods for defeasible reasoning over an argumentation graph under the φ-coherent semantics, in the finitely-valued case. We establish a mapping from a weighted argumentation graph to a weighted knowledge base as well as a lower bound on the complexity of the problem of verifying graded implications over an argumentation graph in the φ-coherent semantics. We also consider a mapping from weighted knowledge bases to weighted argumentation graphs, and provide an ASP implementation and some experimental results.
Reference67 articles.
1. Alviano M. , Giordano L. and Theseider Dupre D. , Typicality, conditionals and a probabilistic semantics for gradual argumentation. In Proc. 21st International Workshop on Non-Monotonic Reasoning (NMR 2023), Rhodes, Greece, September 2-4, 2023, volume 3464 of CEUR Workshop Proceedings, (2023), pp. 4–13. CEUR-WS.org.
2. Complexity and scalability of defeasible reasoning in many-valued weighted knowledge bases;Alviano;Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Dresden, Germany,2023
3. Alviano M. , Bartoli F. , Botta M. , Esposito R. , Giordano L. and Theseider Dupre D. , A preferential interpretation of multilayer perceptrons in a conditional logic with typicality, Int. Journal of Approximate Reasoning (2024), 164. URL https://doi.org/10.1016/j.ijar.2023.109065.
4. Amgoud L. and Ben-Naim J. , Evaluation of arguments in weighted bipolar graphs. In Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings, volume 10369 of Lecture Notes in Computer Science, (2017), pp. 25–35. Springer.
5. Gradual semantics accounting for varied-strength attacks;Amgoud;Proceedings AAMAS ’19, Montreal, QC, Canada,2019