2000 character limit reached
Abduction and Dialogical Proof in Argumentation and Logic Programming (1407.3896v1)
Published 15 Jul 2014 in cs.AI and cs.LO
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.
Collections
Sign up for free to add this paper to one or more collections.
