On Influence and Contractions in Defeasible Logic Programming

DIEGO R. GARCÍA; SEBASTIÁN GOTTIFREDI; PATRICK KRÜMPELMANN; MATTHIAS THIMM; GABRIELE KERN-ISBERNER; MARCELO A. FALAPPA; ALEJANDRO J. GARCÍA

Conferencia; 11th Conference in Logic Programming and Non-Monotonic Reasoning; 2011

 In this paper, we investigate the problem of contraction in Defeasible Logic Programming (DeLP), a logic-based approach for defeasible argumentation. We develop different notions of contraction based on both, the different forms of entailment implicitly existent in argumentation-based formalisms and the influence literals exhibit in the reasoning process. We give translations of widely accepted rationality postulates for belief contraction to our framework. Moreover we discuss on the applicability of contraction for defeasible argumentation and the role ofinfluence in this matter.