Abduction and Dialogical Proof in Argumentation and Logic Programming

Richard Booth; Dov Gabbay; Souhila Kaci; Tjitze Rienstra; Leendert van der Torre

Abduction and Dialogical Proof in Argumentation and Logic Programming

Artificial Intelligence 2014-07-16 v1 Logic in Computer Science

Authors: Richard Booth , Dov Gabbay , Souhila Kaci , Tjitze Rienstra , Leendert van der Torre

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.

Keywords

argumentation mining logic and reasoning logic programming

Cite

@article{arxiv.1407.3896,
  title  = {Abduction and Dialogical Proof in Argumentation and Logic Programming},
  author = {Richard Booth and Dov Gabbay and Souhila Kaci and Tjitze Rienstra and Leendert van der Torre},
  journal= {arXiv preprint arXiv:1407.3896},
  year   = {2014}
}

Comments

Appears in the Proceedings of the 15th International Workshop on Non-Monotonic Reasoning (NMR 2014)

Abduction and Dialogical Proof in Argumentation and Logic Programming

Abstract

Keywords

Cite

Comments

Related papers