Modelling Well-structured Argumentation Lines

Diego C. Martínez, Alejandro J. García, Guillermo R. Simari

Abstract argumentation systems are formalisms for defeasible reasoning where some components remain unspecified, the structure of arguments being the main abstraction. In the dialectical process carried out to identify accepted arguments in the system some controversial situations may appear. These relate to the reintroduction of arguments into the process which cause the onset of circularity. This must be avoided in order to prevent an infinite analysis. Some systems apply the sole restriction of not allowing the introduction of previously considered arguments in an argumentation line. However, repeating an argument is not the only possible cause for the risk mentioned, as subarguments must be taken into account. In this work, we introduce an extended argumentation framework and a definition for progressive defeat path. A credulous extension is also presented.

Subjects: 3.3 Nonmonotonic Reasoning; 11. Knowledge Representation

Submitted: Oct 11, 2006

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.