Abduction and dialogical proof in argumentation and logic programming

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

doi:10.3233/978-1-61499-419-0-117

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 proceeding › Conference contribution › peer-review

20 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 language	English
Title of host publication	ECAI 2014 - 21st European Conference on Artificial Intelligence, Including Prestigious Applications of Intelligent Systems, PAIS 2014, Proceedings
Editors	Torsten Schaub, Gerhard Friedrich, Barry O'Sullivan
Publisher	IOS Press BV
Pages	117-122
Number of pages	6
ISBN (Electronic)	9781614994183
DOIs	https://doi.org/10.3233/978-1-61499-419-0-117
State	Published - 2014
Externally published	Yes
Event	21st European Conference on Artificial Intelligence, ECAI 2014 - Prague, Czech Republic Duration: 18 Aug 2014 → 22 Aug 2014

Publication series

Name	Frontiers in Artificial Intelligence and Applications
Volume	263
ISSN (Print)	0922-6389
ISSN (Electronic)	1879-8314

Conference

Conference	21st European Conference on Artificial Intelligence, ECAI 2014
Country/Territory	Czech Republic
City	Prague
Period	18/08/14 → 22/08/14

Bibliographical note

Publisher Copyright:
© 2014 The Authors and IOS Press.

Access to Document

10.3233/978-1-61499-419-0-117License: CC BY-NC

Cite this

Booth, R., Gabbay, D., Kaci, S., Rienstra, T., & Van Der Torre, L. (2014). Abduction and dialogical proof in argumentation and logic programming. In T. Schaub, G. Friedrich, & B. O'Sullivan (Eds.), ECAI 2014 - 21st European Conference on Artificial Intelligence, Including Prestigious Applications of Intelligent Systems, PAIS 2014, Proceedings (pp. 117-122). (Frontiers in Artificial Intelligence and Applications; Vol. 263). IOS Press BV. https://doi.org/10.3233/978-1-61499-419-0-117

Booth, Richard ; Gabbay, Dov ; Kaci, Souhila et al. / Abduction and dialogical proof in argumentation and logic programming. ECAI 2014 - 21st European Conference on Artificial Intelligence, Including Prestigious Applications of Intelligent Systems, PAIS 2014, Proceedings. editor / Torsten Schaub ; Gerhard Friedrich ; Barry O'Sullivan. IOS Press BV, 2014. pp. 117-122 (Frontiers in Artificial Intelligence and Applications).

@inproceedings{e54b748d9f23436495724eb9649ee2c7,

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

author = "Richard Booth and Dov Gabbay and Souhila Kaci and Tjitze Rienstra and {Van Der Torre}, Leendert",

note = "Publisher Copyright: {\textcopyright} 2014 The Authors and IOS Press.; 21st European Conference on Artificial Intelligence, ECAI 2014 ; Conference date: 18-08-2014 Through 22-08-2014",

year = "2014",

doi = "10.3233/978-1-61499-419-0-117",

language = "אנגלית",

series = "Frontiers in Artificial Intelligence and Applications",

publisher = "IOS Press BV",

pages = "117--122",

editor = "Torsten Schaub and Gerhard Friedrich and Barry O'Sullivan",

booktitle = "ECAI 2014 - 21st European Conference on Artificial Intelligence, Including Prestigious Applications of Intelligent Systems, PAIS 2014, Proceedings",

address = "הולנד",

}

Booth, R, Gabbay, D, Kaci, S, Rienstra, T & Van Der Torre, L 2014, Abduction and dialogical proof in argumentation and logic programming. in T Schaub, G Friedrich & B O'Sullivan (eds), ECAI 2014 - 21st European Conference on Artificial Intelligence, Including Prestigious Applications of Intelligent Systems, PAIS 2014, Proceedings. Frontiers in Artificial Intelligence and Applications, vol. 263, IOS Press BV, pp. 117-122, 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, 18/08/14. https://doi.org/10.3233/978-1-61499-419-0-117

Abduction and dialogical proof in argumentation and logic programming. / Booth, Richard; Gabbay, Dov; Kaci, Souhila et al.
ECAI 2014 - 21st European Conference on Artificial Intelligence, Including Prestigious Applications of Intelligent Systems, PAIS 2014, Proceedings. ed. / Torsten Schaub; Gerhard Friedrich; Barry O'Sullivan. IOS Press BV, 2014. p. 117-122 (Frontiers in Artificial Intelligence and Applications; Vol. 263).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Abduction and dialogical proof in argumentation and logic programming

AU - Booth, Richard

AU - Gabbay, Dov

AU - Kaci, Souhila

AU - Rienstra, Tjitze

AU - Van Der Torre, Leendert

PY - 2014

Y1 - 2014

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84923163004&partnerID=8YFLogxK

U2 - 10.3233/978-1-61499-419-0-117

DO - 10.3233/978-1-61499-419-0-117

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:84923163004

T3 - Frontiers in Artificial Intelligence and Applications

SP - 117

EP - 122

BT - ECAI 2014 - 21st European Conference on Artificial Intelligence, Including Prestigious Applications of Intelligent Systems, PAIS 2014, Proceedings

A2 - Schaub, Torsten

A2 - Friedrich, Gerhard

A2 - O'Sullivan, Barry

PB - IOS Press BV

T2 - 21st European Conference on Artificial Intelligence, ECAI 2014

Y2 - 18 August 2014 through 22 August 2014

ER -

Booth R, Gabbay D, Kaci S, Rienstra T, Van Der Torre L. Abduction and dialogical proof in argumentation and logic programming. In Schaub T, Friedrich G, O'Sullivan B, editors, ECAI 2014 - 21st European Conference on Artificial Intelligence, Including Prestigious Applications of Intelligent Systems, PAIS 2014, Proceedings. IOS Press BV. 2014. p. 117-122. (Frontiers in Artificial Intelligence and Applications). doi: 10.3233/978-1-61499-419-0-117

Abduction and dialogical proof in argumentation and logic programming

Abstract

Publication series

Conference

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this