Abduction and Dialogical Proof in Argumentation and Logic Programming - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Access content directly
Conference Papers Year : 2014

Abduction and Dialogical Proof in Argumentation and Logic Programming

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.
Fichier principal
Vignette du fichier
Abduction_and_Dialogical_Proof_in_Argumentation_an.pdf (204.45 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

lirmm-01082080 , version 1 (29-06-2019)

Identifiers

Cite

Richard Booth, Dov M. Gabbay, Souhila Kaci, Tjitze Rienstra, Leendert van Der Torre. Abduction and Dialogical Proof in Argumentation and Logic Programming. ECAI: European Conference on Artificial Intelligence, Aug 2014, Prague, Czech Republic. pp.117-122, ⟨10.3233/978-1-61499-419-0-117⟩. ⟨lirmm-01082080⟩
309 View
66 Download

Altmetric

Share

Gmail Facebook X LinkedIn More