Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

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.
Type de document :
Communication dans un congrès
Liste complète des métadonnées

https://hal.univ-angers.fr/hal-03256211
Contributeur : Okina Université d'Angers <>
Soumis le : jeudi 10 juin 2021 - 12:16:07
Dernière modification le : lundi 21 juin 2021 - 12:07:07

Fichier

devred-doutre.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

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

Citation

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⟩

Partager

Métriques

Consultations de la notice

14