Preuve Dialectique dans les Systèmes d’Argumentation à Contrainte
Résumé
Le système d’argumentation à contrainte généralise le cadre du système d’argumentation classique de Dung, et permet de capturer les sémantiques d’acceptabilité existantes dans ce cadre et dans ses extensions. Nous cherchons dans cet article à déterminer si un argument donné appartient à au moins un ensemble d’arguments acceptable sous la sémantique dite préférée, étendue au cadre du système d’argumentation à contrainte. La réponse que nous apportons prend la forme d’un dialogue qui explique pourquoi l’argument est ou n’est pas acceptable.Ce dialogue, pour les systèmes d’argumentation à contrainte, s’inscrit dans une généralisation d’un cadre dialectique défini pour les systèmes d’argumentation classique.
Domaines
Informatique [cs]
Origine : Fichiers produits par l'(les) auteur(s)