A Preliminary Investigation on a Revision-Based Approach to the Status of Warrant

MARTÍN O. MOGUILLANSKY; NICOLÁS D. ROTSTEIN; MARCELO A. FALAPPA; GUILLERMO R. SIMARI

Corrientes y Resistencia, Argentina

Congreso; XIII Congreso Argentino de Ciencias de la Computación, CACIC'2007; 2007

Universidad Nacional del Nordeste, Universidad Tecnológica Nacional (Facultad Resistencia)

In this article we are presenting a new perspective on the matter of belief revision by its relationto argumentation systems. Our approach is based on the argumentative formalism DefeasibleLogic Programming, and therefore we propose a revision of a defeasible logic program by anargument. The revision operators here introduced are defined as prioritized, since they ensurewarrant of the conclusion of the argument being added to the program following a particularminimal change principle. To achieve this, we give two different approaches: one regardingarguments in the classical sense, whereas the other considers the revision by arguments that alsoinclude strict rules and facts. Finally, a brief discussion about the relation between our approachand the basic theory of belief revision is exposed, along with a description of other possibleminimal change principles.