Foundations for a Logic of Arguments

Leila Amgoud (1, 2) , Philippe Besnard (3, 2) , Anthony Hunter (4)

1 IRIT-ADRIA - Argumentation, Décision, Raisonnement, Incertitude et Apprentissage
2 CNRS - Centre National de la Recherche Scientifique
3 IRIT-LILaC - Logique, Interaction, Langue et Calcul
4 Department of Computer Science

This paper aims at laying some foundations of a logic of argumentation in which arguments, as well as attacks and supports among arguments are all defined in a unifying formalism. In the latter, an argument is denoted as a pair displaying a reason and a conclusion but no condition is required to hold relating the reason to the conclusion. We introduce a series of inference rules relating arguments and show how the resulting system captures important features of argumentation that hitherto have not been captured by existing formalisms. Abstract. This paper aims at laying some foundations of a logic of argumenta-tion in which arguments, as well as attacks and supports among arguments are all defined in a unifying formalism. In the latter, an argument is denoted as a pair displaying a reason and a conclusion but no condition is required to hold relating the reason to the conclusion. We introduce a series of inference rules relating arguments and show how the resulting system captures important features of argumentation that hitherto have not been captured by existing formalisms. 1

Mots clés: rejections; reasons; Argumentation; claims; claims Keywords Argumentation; arguments

Domaines: Intelligence artificielle [cs.AI]

Leila Amgoud, Philippe Besnard, Anthony Hunter. Foundations for a Logic of Arguments. Journal of Applied Non-Classical Logics, 2017. ⟨hal-02325968⟩