Abduction and Dialogical Proof in Argumentation and Logic Programming

Richard Booth; Dov M. Gabbay; Souhila Kaci; Tjitze Rienstra; Leendert Van Der Torre

Abduction and Dialogical Proof in Argumentation and Logic Programming

Richard Booth ^{1, 2} Dov M. Gabbay ³ Souhila Kaci ⁴ Tjitze Rienstra ^{5, 4} Leendert Van Der Torre ⁵

1 FSTC - Faculty of Science, Technology and Communication [Luxembourg]

2 SnT - Interdisciplinary Centre for Security, Reliability and Trust [Luxembourg]

3 King‘s College London

4 GRAPHIK - Graphs for Inferences on Knowledge

LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, CRISAM - Inria Sophia Antipolis - Méditerranée

5 ICR - Individual and Collective Reasoning

Abstract : 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.

Type de document :

Communication dans un congrès

ECAI: European Conference on Artificial Intelligence, Aug 2014, Prague, Czech Republic. 21st European Conference on Artificial Intelligence, pp.117-122, 2014

Domaine :

Informatique [cs] / Intelligence artificielle [cs.AI]

Liste complète des métadonnées

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01082080
Contributeur : Souhila Kaci <>
Soumis le : mercredi 12 novembre 2014 - 15:29:22
Dernière modification le : jeudi 24 mai 2018 - 15:59:22

Abduction and Dialogical Proof in Argumentation and Logic Programming

Lien texte intégral

Identifiants

Collections

Citation

Exporter

Métriques

240

Contact

Abduction and Dialogical Proof in Argumentation and Logic Programming

Lien texte intégral

Identifiants

Collections

Citation

Exporter

Partager

Métriques

240

Contact