Argument Theory Change Applied to Defeasible Logic Programming.

MARTIN O. MOGUILLANSKY; NICOLÁS D. ROTSTEIN; MARCELO A. FALAPPA; ALEJANDRO J. GARCÍA; GUILLERMO R. SIMARI

Chicago, USA

Conferencia; Conference on Artificial Intelligence (AAAI-08); 2008

In this article we work on certain aspects of the belief change theory in order to make them suitable for argumentation systems. This approach is based on Defeasible Logic Programming as the argumentation formalism from which we ground the definitions. The objective of our proposal is to define an argument revision operator that inserts a new argument into a defeasible logic program in such a way that this argument ends up undefeated after the revision, thus warranting its conclusion. In order to ensure this warrant, the defeasible logic program has to be changed in concordance with a minimalchange principle. Finally, we present an algorithm that implements the argument revision operation.