English   español  
Por favor, use este identificador para citar o enlazar a este item: http://hdl.handle.net/10261/159961
logo share SHARE logo core CORE   Add this article to your Mendeley library MendeleyBASE

Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL
Exportar a otros formatos:

A logic programming framework for possibilistic argumentation: Formalization and logical properties

AutorAlsinet, Teresa; Chesñevar, Carlos I.; Godo, Lluis ; Simari, Guillermo R.
Palabras claveIntelligent systems
Possibilistic logic
Vague knowledge
Defeasible argumentation
Fecha de publicación2008
CitaciónFuzzy Sets and Systems 159: 1208- 1228 (2008)
ResumenIn the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has shown to be particularly useful for developing different argument-based frameworks on the basis of different variants of logic programming which incorporate defeasible rules. Most of such frameworks, however, are unable to deal with both explicit uncertainty and vague knowledge, as defeasibility is directly encoded in the object language. This paper presents possibilistic defeasible logic programming (P-DeLP), a new logic programming language which combines features from argumentation theory and logic programming, incorporating as well the treatment of possibilistic uncertainty. Such features are formalized on the basis of PGL, a possibilistic logic based on Gödel fuzzy logic. One of the applications of P-DeLP is providing an intelligent agent with non-monotonic, argumentative inference capabilities. In this paper we also provide a better understanding of such capabilities by defining two non-monotonic operators which model the expansion of a given program by adding new weighed facts associated with argument conclusions and warranted literals, respectively. Different logical properties for the proposed operators are studied. © 2008 Elsevier B.V. All rights reserved.
Identificadoresdoi: 10.1016/j.fss.2007.12.013
issn: 0165-0114
Aparece en las colecciones: (IIIA) Artículos
Ficheros en este ítem:
Fichero Descripción Tamaño Formato  
FSS159(2008)_1208-28.pdf297,3 kBAdobe PDFVista previa
Mostrar el registro completo

NOTA: Los ítems de Digital.CSIC están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.