Dynamics of Knowledge in DeLP through Argument Theory Change

Martìn O. Moguillansky, Nicolàs D. Rotstein, Marcelo A. Falappa, Alejandro J. Garcìa, and Guillermo R. Simari (Universidad Nacional del Sur (UNS), Argentina)

Bibtex to be used for citation.


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 a 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.

Bibtex (Use it for references)

journal = {Theory and Practice of Logic Programming},
publisher = {Cambridge University Press},
author = {Mart\'{\i}n O. Moguillansky and Nicol{\’a}s D. Rotstein and
Marcelo A. Falappa and Alejandro Javier Garc\'{\i}a and
Guillermo Ricardo Simari},
title = {Dynamics of knowledge in {\it DeLP} through Argument Theory Change},
volume = {13},
number = {6},
year = {2013},
pages = {893-957}

Full Text