Work

A many-valued multi-preferential propositional typicality logic and a conditional interpretation for gradual argumentation

Year: 2025

Type: article

Abstract: In this paper we develop a many-valued and multi-preferential conditional logic with typicality, based on a multi-preferential semantics, which generalizes KLM preferential semantics. We then exploit the multi-preferential semantics to provide preferential interpretation of gradual argumentation. The approach allows for conditional reasoning over arguments and boolean combination of arguments, with respect to some chosen gradual semantics, through the verification of graded (strict or defeasible) implications over an argumentation graph. The paper also develops a probabilistic semantics for gradual argumentation, which builds on the many-valued semantics.

Source: Journal of Logic and Computation

DOI: 10.1093/logcom/exaf063

Authors: Mario Alviano, Laura Giordano, Daniele Theseider Dupré

Institutions: University of Calabria, Università degli Studi del Piemonte Orientale “Amedeo Avogadro”

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

Estimated APC paid: $4,533

Funder: Gruppo Nazionale per il Calcolo Scientifico