Abstract
In this paper we propose a labelling based dialogue game for
determining whether a single argument within a Dung argumentation
framework is skeptically preferred. Our game consists of two phases, and
determines the membership of a single argument within the extension,
assuming optimal play by dialogue participants. In the first phase, one
player attempts to advance arguments to construct an extension not
containing the argument under consideration, while the second phase
verifies that the extension is indeed a preferred one. Correctness within
this basic game requires perfect play by both players, and we therefore
also introduce an overarching game to overcome this limitation.
determining whether a single argument within a Dung argumentation
framework is skeptically preferred. Our game consists of two phases, and
determines the membership of a single argument within the extension,
assuming optimal play by dialogue participants. In the first phase, one
player attempts to advance arguments to construct an extension not
containing the argument under consideration, while the second phase
verifies that the extension is indeed a preferred one. Correctness within
this basic game requires perfect play by both players, and we therefore
also introduce an overarching game to overcome this limitation.
Original language | English |
---|---|
Title of host publication | Logics in Artificial Intelligence |
Subtitle of host publication | 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings |
Editors | Loizos Michael, Antonis Kakas |
Publisher | Springer |
Pages | 570-576 |
Number of pages | 7 |
ISBN (Electronic) | 978-3-319-48758-8 |
ISBN (Print) | 978-3-319-48757-1 |
DOIs | |
Publication status | Published - 2016 |
Event | JELIA 2016 - Larnaca, Cyprus Duration: 9 Nov 2016 → 11 Nov 2016 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer |
Volume | 10021 |
ISSN (Print) | 0302-9743 |
Conference
Conference | JELIA 2016 |
---|---|
Country/Territory | Cyprus |
City | Larnaca |
Period | 9/11/16 → 11/11/16 |