On the connection between default logic and DELP

Authors
Delladio, Telma; Simari, Guillermo Ricardo
Publication Year
2006
Language
English
Format
conference paper
Status
Published version
Description
In this paper, we establish a relation between an argumentation based system: Defeasible Logic Programming (DELP), and a nonmonotonic system: Reiter’s Default Logic. This relation is achieved by introducing a variant of DELP and a transformation that maps default theories to defeasible logic programs. The transformation allows to associate the answers of a DELP Interpreter with the consequences, credulous and skeptical, of the default theory. Thus, this work establishes a link between a well understood nonmonotonic system and a argumentation based system. This link could be studied separately and could be exploited for the development of the latter system.
Red de Universidades con Carreras en Informática (RedUNCI)
Subject
Ciencias Informáticas
Nonmonotonic reasoning and belief revision
Knowledge Representation Formalisms and Methods
Logic Programming
Access level
Open access
License
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
Repository
SEDICI (UNLP)
Institution
Universidad Nacional de La Plata
OAI Identifier
oai:sedici.unlp.edu.ar:10915/22669