Abduction and Dialogical Proof in Argumentation and Logic Programming
This work addresses a specific problem in computational argumentation and logic programming, offering an incremental contribution to existing methods.
The paper tackles the problem of modeling abduction in abstract argumentation by using changes to argumentation frameworks as hypotheses to explain observations, and it presents dialogical proof theories for key decision problems while showing the model can be instantiated with abductive logic programs.
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.