Un cadre formel issu de la théorie de la démonstration pour la théorie de l'argumentation

International audienceIn this paper, we are interested in argumentative dialogues, we continue the approach introduced by Lecomte & Quatrini [2010], who proposed a formalization of dialogues into the framework of Ludics. We illustrate our proposal in two very different cases : the controversies exemplifying the Schopenhauer's stratagems in [Schopenhauer 1830] and an adjudication dialogue studied by Prakken [2008].Dans cet article nous nous intéressons aux dialogues argumentatifs, en poursuivant l'approche initiée par Lecomte & Quatrini [2010] d'une formalisation des dialogues dans le cadre de la Ludique. Nous illustrons notre proposition dans deux cas extrêmes : les controverses qui illustrent les stratagèmes de Schopenhauer dans [Schopenhauer 1830] et un dialogue juridique à partir d'un exemple étudié par Prakken [2008]