Système d'argumentation
Un système d'argumentation est un moyen pour un agent de gérer des informations conflictuelles et d'en tirer des conséquences.
Dans un système d'argumentation abstrait, l'information de base est un ensemble d'arguments abstraits (qui peuvent par exemple représenter une donnée, une proposition), et les conflits entre arguments sont représentés au moyen d'une relation binaire sur l'ensemble d'arguments. Concrètement, on représente un système d'argumentation au moyen d'un graphe orienté tel que les nœuds représentent les arguments et les arcs représentent la relation d'attaque. On appelle ce cadre abstrait « cadre de Dung » ou « systèmes d'argumentation à la Dung », du nom de l'auteur de l'article de référence sur le sujet. Il existe des extensions du cadre de Dung, comme les systèmes d'argumentation à base logique ou les systèmes d'argumentation valués.