Search
 
loader loading subjects...
cover
Abduction and Dialogical Proof in Argumentation and Logic Programming
Richard Booth, Dov Gabbay, Souhila Kaci, Tjitze Rienstra, Leendert van der Torre
117 - 122
10.3233/978-1-61499-419-0-117
Frontiers in Artificial Intelligence and Applications
Volume 263: ECAI 2014
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 hypotheses that explain skeptical/credulous support) and we show that our model can be instantiated on the basis of abductive logic programs.

Download
Creative Commons License