Logo image
Se connecter
Abduction and Dialogical Proof in Argumentation and Logic Programming
Acte de colloque   Open Access

Abduction and Dialogical Proof in Argumentation and Logic Programming

Richard Booth, Dov M. Gabbay, Souhila Kaci, Tjitze Rienstra et Leendert van Der Torre
21st European Conference on Artificial Intelligence, Vol.Frontiers in Artificial Intelligence and Applications(263), pp.117-122
ECAI: European Conference on Artificial Intelligence (Prague, Czech Republic, 18/08/2014–22/08/2014)
18/08/2014

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.

Fichiers et liens (2)

url
Find in HALAfficher
url
https://doi.org/10.3233/978-1-61499-419-0-117Afficher
Published (Version of record) Ouvrir

Indicateurs

1 Consultations de la notice

Détails

Logo image