Abduction and Dialogical Proof in Argumentation and Logic Programming

Richard Booth 1, 2 Dov M. Gabbay 3 Souhila Kaci 4 Tjitze Rienstra 5, 4 Leendert van der Torre 5
1 FSTC - Faculty of Science, Technology and Communication [Luxembourg]
2 SnT - Interdisciplinary Centre for Security, Reliability and Trust [Luxembourg]
3 King‘s College London
4 GRAPHIK - Graphs for Inferences on Knowledge
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, CRISAM - Inria Sophia Antipolis - Méditerranée
5 ICR - Individual and Collective Reasoning
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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [22 references]  Display  Hide  Download
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01082080
Contributor : Souhila Kaci <>
Submitted on : Saturday, June 29, 2019 - 7:07:55 PM
Last modification on : Friday, November 8, 2019 - 3:06:02 PM

File

Abduction_and_Dialogical_Proof...
Files produced by the author(s)

Identifiers

Collections

CNRS | MIPS | LIRMM | GRAPHIK | INRIA | UNIV-MONTPELLIER

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

390

Files downloads

28

Contact

Informations

CCSD