Por favor, use este identificador para citar o enlazar a este item:
http://hdl.handle.net/10261/136842
COMPARTIR / EXPORTAR:
SHARE CORE BASE | |
Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL | DATACITE | |
Título: | Formalisation and logical properties of the maximal ideal recursive semantics for weighted defeasible logic programming |
Autor: | Alsinet, Teresa; Bejar, Ramon; Godo, Lluis CSIC ORCID ; Guitart, Francesc | Palabras clave: | Argumentation Defeasible reasoning Dialectical semantics Non-monotonic inference Recursive semantics |
Fecha de publicación: | 2016 | Editor: | Taylor & Francis | Citación: | Journal of Experimental and Theoretical Artificial Intelligence 28: 275- 294 (2016) | Resumen: | Possibilistic defeasible logic programming (P-DeLP) is a logic programming framework which combines features from argumentation theory and logic programming, in which defeasible rules are attached with weights expressing their relative belief or preference strength. In P-DeLP,a conclusion succeeds if there exists an argument that entails the conclusion and this argument is found to be undefeated by a warrant procedure that systematically explores the universe of arguments in order to present an exhaustive synthesis of the relevant chains of pros and cons for the given conclusion. Recently, we have proposed a new warrant recursive semantics for P-DeLP, called Recursive P-DeLP (RP-DeLP for short), based on the claim that the acceptance of an argument should imply also the acceptance of all its sub-arguments which reflect the different premises on which the argument is based. This paper explores the relationship between the exhaustive dialectical analysis-based semantics of P-DeLP and the recursive-based semantics of RP-DeLP, and analyses a non-monotonic inference operator for RP-DeLP which models the expansion of a given program by adding new weighted facts associated with warranted conclusions. Given the recursive-based semantics of RP-DeLP, we have also implemented an argumentation framework for RP-DeLP that is able to compute not only the output of warranted and blocked conclusions, but also explain the reasons behind the status of each conclusion. We have developed this framework as a stand-alone application with a simple text-based input/output interface to be able to use it as part of other artificial intelligence systems. | URI: | http://hdl.handle.net/10261/136842 | DOI: | 10.1080/0952813X.2015.1024490 | Identificadores: | doi: 10.1080/0952813X.2015.1024490 issn: 1362-3079 |
Aparece en las colecciones: | (IIIA) Artículos |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | |
---|---|---|---|---|
accesoRestringido.pdf | 15,38 kB | Adobe PDF | Visualizar/Abrir |
CORE Recommender
Page view(s)
179
checked on 19-abr-2024
Download(s)
82
checked on 19-abr-2024
Google ScholarTM
Check
Altmetric
Altmetric
NOTA: Los ítems de Digital.CSIC están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.