On influence and contractions in defeasible logic programming

Authors:
Diego R. García;Sebastián Gottifredi;Patrick Krümpelmann;Matthias Thimm;Gabriele Kern-Isberner;Marcelo A. Falappa;Alejandro J. García
Affiliations:
Universidad Nacional del Sur, Bahía Blanca, Argentina;Universidad Nacional del Sur, Bahía Blanca, Argentina;Technische Universität Dortmund, Germany;Technische Universität Dortmund, Germany;Technische Universität Dortmund, Germany;Universidad Nacional del Sur, Bahía Blanca, Argentina;Universidad Nacional del Sur, Bahía Blanca, Argentina
Venue:
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Year:
2011

Citing 4
Cited 0

Kernel contraction

Journal of Symbolic Logic
Revising Nonmonotonic Theories: The Case of Defeasible Logic

KI '99 Proceedings of the 23rd Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Defeasible logic programming: an argumentative approach

Theory and Practice of Logic Programming
On the Relationship of Defeasible Argumentation and Answer Set Programming

Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 of influence in this matter.