Return
A many-valued multi-preferential propositional typicality logic and a conditional interpretation for gradual argumentation
M
G
D
DOI:10.1093/logcom/exaf063.png)
Abstract
En 中文
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.
Keywords:
argumentation
preferential and conditional reasoning
answer set programming
Journal
J
IF:
0
Papers:
44
Citations:
0
