TitleA characterization of collective conflict for defeasible argumentation
Publication TypeConference Paper
Year of Publication2010
AuthorsAlsinet T, Bejar R, Godo L
Conference NameThird International Conference on Computational Models of Argument, COMMA 2010
EditionPietro Baroni, Federico Cerutti, Massimiliano Giacomin, Guillermo R. Simari
PublisherIOS Press
Conference LocationDesenzano del Garda, Italy
Date Published08/09/2010
ISBN Number978-1-60750-618-8

In this paper we define a recursive semantics for warrant in a general defeasible argumentation framework by formalizing a notion of collective (non-binary) con- flict among arguments. This allows us to ensure direct and indirect consistency (in the sense of Caminada and Amgoud) without distinguishing between direct and in- direct conflicts. Then, the general defeasible argumentation framework is extended by allowing to attach levels of preference to defeasible knowledge items and by providing a level-wise definition of warranted and blocked conclusions. Finally, we formalize the warrant recursive semantics for the particular framework of Pos- sibilistic Defeasible Logic Programming, characterize the unique output program property and design an efficient algorithm for computing warranted conclusions in polynomial space.