Un cadre formel issu de la théorie de la démonstration pour la théorie de l’argumentation
Résumés
Dans cet article nous nous intéressons aux dialogues argumentatifs, en poursuivant l’approche initiée par Lecomte et 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].
A proof theoretical framework for argumentation modeling
In this paper, we are interested in argumentative dialogues, we continue the approach introduced by Lecomte et Quatrini [2010], who proposed a formalization of dialogues within the framework of Ludics. We illustrate our proposal in two very different cases: the controversies exemplifying Schopenhauer’s stratagems in [Schopenhauer 1830] and an adjudication dialogue studied by Prakken [2008].
Entrées d'index
Mots-clés :
ludique, actes de dialogues, argumentation, formalisation des dialogues, logique linéairePour citer cet article
Référence électronique
Christophe Fouqueré et Myriam Quatrini, « Un cadre formel issu de la théorie de la démonstration pour la théorie de l’argumentation », Mathématiques et sciences humaines [En ligne], 198 | Eté 2012, mis en ligne le 13 juillet 2012, consulté le 20 mai 2013. URL : http://msh.revues.org/12242
Haut de page