In a recent important paper, Dung (1995) has studied the relations of (unstructured) arguments and their counterarguments in terms of admissible sets. He has investigated the relations between several types of extensions of argumentation theories.
In this paper, we propose a model of the stages of argumentation, related to that of Verheij (WOCFAI 95, EPIA '95). Each stage is characterized by the arguments that have been taken into account and by the status of these arguments, either undefeated or defeated. This stage approach provides additional understanding of the process of argumentation, and gives naturally rise to two new types of extensions. Their definitions formalize the idea that as many arguments are taken into account as possible.
We show the connections with Dung's work and give a number of examples. It turns out that the argumentation stage approach generalizes the admissible set approach. The main conclusion of the paper is that the argumentation stage approach can give more insight in the procedural nature of dialectical argumentation than the admissible set approach.
Verheij, Bart (1996). Two approaches to dialectical argumentation: admissible sets and argumentation stages. NAIC'96. Proceedings of the Eighth Dutch Conference on Artificial Intelligence (eds. J.-J.Ch. Meyer and L.C. van der Gaag), pp. 357-368. Utrecht University, Utrecht. A preliminary version was presented at the Computational Dialectics Workshop at FAPR-96. June 3-7, 1996, Bonn. Also published as report SKBS/B3.A/96-01.
Download the manuscript (NAIC '96 version) (in PDF-format) or view the CD '96 version (in HTML).