RP-DeLP swMATH ID: 19192 Software Authors: Alsinet, Teresa; Béjar, Ramón; Godo, Lluís; Guitart, Francesc Description: RP-DeLP: a weighted defeasible argumentation framework based on a recursive semantics. In this article, we propose a recursive semantics for warranted formulas in a general defeasible logic argumentation framework by formalizing a notion of collective (non-binary) conflict among arguments. The recursive semantics for warranted formulas is based on the intuitive grounds that if an argument is rejected, then further arguments built on top of it should also be rejected. The main characteristic of our recursive semantics is that an output (or extension) of a knowledge base is a pair consisting of a set of warranted and a set of blocked formulas. Arguments for both warranted and blocked formulas are recursively based on warranted formulas but, while warranted formulas do not generate any collective conflict, blocked conclusions do. Formulas that are neither warranted nor blocked correspond to rejected formulas. Then we extend the framework by attaching levels of preference to defeasible knowledge items and by providing a level-wise definition of warranted and blocked formulas. After we consider the warrant recursive semantics for the particular framework of Possibilistic Defeasible Logic Programming (RP-DeLP for short). Since RP-DeLP programmes may have multiple outputs, we define the {it maximal ideal output} of an RP-DeLP programme as the set of conclusions which are ultimately warranted, and we present an algorithm for computing it in polynomial space and with an upper bound on complexity equal to \(mathrm{P}^{mathrm{NP}}\). Finally, we propose an efficient and scalable implementation of this algorithm using SAT encodings, and we provide an experimental evaluation when solving test sets of instances with single and multiple preference levels for defeasible knowledge. Homepage: https://academic.oup.com/logcom/article-abstract/26/4/1315/2579281 Keywords: defeasible reasoning; recursive semantics; collective conflict; rationality postulates; SAT encoding; efficient implementation Related Software: EDITS; dynPARTIX; ASPARTIX; NLTK Cited in: 5 Publications all top 5 Cited by 15 Authors 4 Godo, Lluís 2 Alsinet, Teresa 2 Béjar, Ramón 1 Argelich, Josep 1 Dubois, Didier 1 Fernández, César C. 1 Guitart, Francesc 1 López de Mántaras, Ramon 1 Mateu, Carles 1 Planes, Jordi 1 Plaza, Enric 1 Prade, Henri M. 1 Sierra, Carles 1 Simari, Gerardo I. 1 Teze, Juan Carlos L. Cited in 2 Serials 3 International Journal of Approximate Reasoning 1 Journal of Logic and Computation Cited in 5 Fields 5 Computer science (68-XX) 2 Mathematical logic and foundations (03-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year