Preuve Dialectique dans les Systèmes d’Argumentation à Contrainte - Université d'Angers Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

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.
Fichier principal
Vignette du fichier
devred-doutre.pdf (163.17 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03256211 , version 1 (10-06-2021)

Identifiants

  • HAL Id : hal-03256211 , version 1
  • OKINA : ua4543

Citer

Caroline Devred, Sylvie Doutre. Preuve Dialectique dans les Systèmes d’Argumentation à Contrainte. Journées Nationales de l'IA Fondamentale 2008, 2008, Paris, France. ⟨hal-03256211⟩
44 Consultations
12 Téléchargements

Partager

Gmail Facebook X LinkedIn More