Abduction and dialogical proof in argumentation and logic programming

Richard Booth, Dov Gabbay, Souhila Kaci, Tjitze Rienstra, Leendert Van Der Torre

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

19 Scopus citations

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 hypotheses that explain skeptical/credulous support) and we show that our model can be instantiated on the basis of abductive logic programs.

Original languageEnglish
Title of host publicationECAI 2014 - 21st European Conference on Artificial Intelligence, Including Prestigious Applications of Intelligent Systems, PAIS 2014, Proceedings
EditorsTorsten Schaub, Gerhard Friedrich, Barry O'Sullivan
PublisherIOS Press BV
Pages117-122
Number of pages6
ISBN (Electronic)9781614994183
DOIs
StatePublished - 2014
Externally publishedYes
Event21st European Conference on Artificial Intelligence, ECAI 2014 - Prague, Czech Republic
Duration: 18 Aug 201422 Aug 2014

Publication series

NameFrontiers in Artificial Intelligence and Applications
Volume263
ISSN (Print)0922-6389
ISSN (Electronic)1879-8314

Conference

Conference21st European Conference on Artificial Intelligence, ECAI 2014
Country/TerritoryCzech Republic
CityPrague
Period18/08/1422/08/14

Bibliographical note

Publisher Copyright:
© 2014 The Authors and IOS Press.

Fingerprint

Dive into the research topics of 'Abduction and dialogical proof in argumentation and logic programming'. Together they form a unique fingerprint.

Cite this