Progressive Defeat Paths in Abstract Argumentation Frameworks.

DIEGO C. MARTINEZ; ALEJANDRO J. GARCÍA; GUILLERMO R. SIMARI

Conferencia; 19th Conference of the Canadian Society for Computational Studies of Intelligence,; 2006

 Abstract argumentation systems are formalisms for defeasi-ble reasoning where some components remain unspecified, the structureof arguments being the main abstraction. In the dialectical process car-ried out to identify accepted arguments in the system some controver-sial situations may appear. These relate to the reintroduction of argu-ments into the process which cause the onset of circularity. This must beavoided in order to prevent an infinite analysis. Some systems apply thesole restriction of not allowing the introduction of previously consideredarguments in an argumentation line. However, repeating an argument isnot the only possible cause for the risk mentioned. A more specific re-striction needs to be applied considering the existence of subarguments.In this work, we introduce an extended argumentation framework wheretwo kinds of defeat relation are present, and a definition for progressivedefeat path.