A Labeling Approach to the Computation of Credulous Acceptance in Argumentation

Bart Verheij

In recent years, the combinatorics of argumentation with arguments that can attack each other has been studied extensively. Especially, attack graphs (put in the focus of attention by Dung's seminal work 1995) have proven to be a productive tool of analysis. In this paper a new style of algorithm is presented that computes the minimal admissible sets containing or attacking the argument. It is a breadth-first algorithm using labelings. The algorithm is applied to the computation of the preferred and stable extensions of a given attack graph.

Download manuscript (in PDF-format)

Go to the software implementing the algorithm (with download option)

Reference:
Verheij, Bart (2007). A Labeling Approach to the Computation of Credulous Acceptance in Argumentation. IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007 (ed. Manuela M. Veloso), pp. 623-628. http://www.ijcai.org/proceedings07.php.

Bart Verheij's home page - research - publications