Abduction and Dialogical Proof in Argumentation and Logic Programming - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Communication Dans Un Congrès Année : 2014

Abduction and Dialogical Proof in Argumentation and Logic Programming

Résumé

We develop a model of abduction in abstract argumentation, where changes to an argumentation framework act as hypotheses to explain the support of an observation. We present dialogical proof theories for the main decision problems (i.e., finding hypothe- ses that explain skeptical/credulous support) and we show that our model can be instantiated on the basis of abductive logic programs.

Domaines

Intelligence artificielle [cs.AI]
Fichier principal
Vignette du fichier
Abduction_and_Dialogical_Proof_in_Argumentation_an.pdf (204.45 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Souhila Kaci  : Connectez-vous pour contacter le contributeur

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01082080

Soumis le : samedi 29 juin 2019-19:07:55

Dernière modification le : jeudi 14 novembre 2024-16:18:04

Télécharger pour visualiser

Dates et versions

lirmm-01082080 , version 1 (29-06-2019)

Identifiants

Citer

Richard Booth, Dov M. Gabbay, Souhila Kaci, Tjitze Rienstra, Leendert van Der Torre. Abduction and Dialogical Proof in Argumentation and Logic Programming. ECAI: European Conference on Artificial Intelligence, Aug 2014, Prague, Czech Republic. pp.117-122, ⟨10.3233/978-1-61499-419-0-117⟩. ⟨lirmm-01082080⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA GRAPHIK LIRMM INRIA2 MIPS UNIV-MONTPELLIER
329 Consultations
75 Téléchargements

Altmetric

Partager

More