Dynamics of Knowledge in DeLP through Argument Theory Change

Authors
Moguillansky, Martin Oscar; Rotstein, Nicolas Daniel; Falappa, Marcelo Alejandro; Garcia, Alejandro Javier; Simari, Guillermo Ricardo
Publication Year
2013
Language
English
Format
article
Status
Published version
Description
This article is devoted to the study of methods to change defeasible logic programs (de.l.p.s) which are the knowledge bases used by the Defeasible Logic Programming (DeLP) interpreter. DeLP is an argumentation formalism that allows to reason over potentially inconsistent de.l.p.s. Argument Theory Change (ATC) studies certain aspects of belief revision in order to make them suitable for abstract argumentation systems. In this article, abstract arguments are rendered concrete by using the particular rule-based defeasible logic adopted by DeLP. The objective of our proposal is to define prioritized argument revision operators à la ATC for de.l.p.s, in such a way that the newly inserted argument ends up undefeated after the revision, thus warranting its conclusion. In order to ensure this warrant, the de.l.p. has to be changed in concordance with a minimal change principle. To this end, we discuss different minimal change criteria that could be adopted. Finally, an algorithm is presented, implementing the argument revision operations.
Fil: Moguillansky, Martin Oscar. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computacion; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
Fil: Rotstein, Nicolas Daniel. Universidad Nacional del Sur. Departamento de Ciencias e Ingenieria de la Computacion. Instituto de Ciencias e Ingenieria de la Computacion; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
Fil: Falappa, Marcelo Alejandro. Universidad Nacional del Sur. Departamento de Ciencias e Ingenieria de la Computacion. Instituto de Ciencias e Ingenieria de la Computacion; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
Fil: Garcia, Alejandro Javier. Universidad Nacional del Sur. Departamento de Ciencias e Ingenieria de la Computacion. Instituto de Ciencias e Ingenieria de la Computacion; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
Fil: Simari, Guillermo Ricardo. Universidad Nacional del Sur. Departamento de Ciencias e Ingenieria de la Computacion. Instituto de Ciencias e Ingenieria de la Computacion; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
Subject
Knowledge Representation and Reasoning
Logic Programming
Belief revision
ArgumentationNon-monotonic reasoning
Ciencias de la Computación
Ciencias de la Computación e Información
CIENCIAS NATURALES Y EXACTAS
Access level
Restricted access
License
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repository
CONICET Digital (CONICET)
Institution
Consejo Nacional de Investigaciones Científicas y Técnicas
OAI Identifier
oai:ri.conicet.gov.ar:11336/12414