Theory and Applications of Formal Argumentation: 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papers

237 Pages·2018·6.5 MB·English

by  Elizabeth Black

Elizabeth Black
Sanjay Modgil
Nir Oren (Eds.)
7
5
7 Theory and Applications
0
1

I
A of Formal Argumentation
N
L
4th International Workshop, TAFA 2017
Melbourne, VIC, Australia, August 19–20, 2017
Revised Selected Papers
123
fi
Lecture Notes in Arti cial Intelligence 10757
Subseries of Lecture Notes in Computer Science
LNAI Series Editors
Randy Goebel
University of Alberta, Edmonton, Canada
Yuzuru Tanaka
Hokkaido University, Sapporo, Japan
Wolfgang Wahlster
DFKI and Saarland University, Saarbrücken, Germany
LNAI Founding Series Editor
Joerg Siekmann
DFKI and Saarland University, Saarbrücken, Germany
More information about this series at http://www.springer.com/series/1244
Elizabeth Black Sanjay Modgil
(cid:129)
Nir Oren (Eds.)
Theory and Applications
of Formal Argumentation
4th International Workshop, TAFA 2017
–
Melbourne, VIC, Australia, August 19 20, 2017
Revised Selected Papers
123
Editors
ElizabethBlack NirOren
Department ofInformatics Department ofComputing Science
King’sCollege London University of Aberdeen
London Aberdeen
UK UK
SanjayModgil
King’sCollege London
London
UK
ISSN 0302-9743 ISSN 1611-3349 (electronic)
Lecture Notesin Artificial Intelligence
ISBN 978-3-319-75552-6 ISBN978-3-319-75553-3 (eBook)
https://doi.org/10.1007/978-3-319-75553-3
LibraryofCongressControlNumber:2018933181
LNCSSublibrary:SL7–ArtificialIntelligence
©SpringerInternationalPublishingAG,partofSpringerNature2018
Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartofthe
material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation,
broadcasting, reproduction on microfilms or in any other physical way, and transmission or information
storageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodologynow
knownorhereafterdeveloped.
Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispublication
doesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevant
protectivelawsandregulationsandthereforefreeforgeneraluse.
Thepublisher,theauthorsandtheeditorsaresafetoassumethattheadviceandinformationinthisbookare
believedtobetrueandaccurateatthedateofpublication.Neitherthepublishernortheauthorsortheeditors
give a warranty, express or implied, with respect to the material contained herein or for any errors or
omissionsthatmayhavebeenmade.Thepublisherremainsneutralwithregardtojurisdictionalclaimsin
publishedmapsandinstitutionalaffiliations.
Printedonacid-freepaper
ThisSpringerimprintispublishedbytheregisteredcompanySpringerInternational
PublishingAGpartofSpringerNature
Theregisteredcompanyaddressis:Gewerbestrasse11,6330Cham,Switzerland
Preface
Recent years have witnessed a rapid growth of interest in formal models of
argumentation and their application in diverse sub-fields and domains of
application of AI, including reasoning in the presence of inconsistency, non-
monotonicreasoning,decision-making,inter-agentcommunication,theSemanticWeb,
grid applications, ontologies, recommender systems, machine learning, neural
networks, trust computing, normative systems, social choice theory, judgement
aggregation and game theory, and law and medicine. Argumentation thus shows great
promise as a theoretically grounded tool for a wide range of applications. The 4th
International Workshop on the Theory and Applications of Formal Argumentation
(TAFA2017) aimedtocontributetotherealizationofthispromise,bypromotingand
fostering the uptake of argumentation as a viable AI paradigm with wide-ranging
application, and providing a forum for further development of ideas and the initiation
of new and innovative collaborations.
Co-locatedwith theInternational JointConferenceonArtificialIntelligence(IJCAI
2017)inMelbourne,Australia,TAFA2017builtonthesuccessofTAFA2011,TAFA
2013,andTAFA2015witharangeofstrongpaperssubmittedbyauthorsfromacross
Europe,Israel,China,andtheUSA.Forthefirsttimethisyear,TAFA2017includeda
systems track for short papers presenting argumentation solvers, algorithms, imple-
mentation details, and empirical evaluations. The track included submissions from
participants of the Second International Competition on Computational Models of
Argumentation,1 the results of which were presented at TAFA 2017.
TAFA 2017 received 20 submissions, of which 15 were accepted and presented at
the workshop after a rigorous review process. We would like to thank the authors of
this volume’s papers for their high-quality contributions, and acknowledge the
reviewers’effortsfortheirin-depthfeedbacktoauthors.Wealsothanktheparticipants
of the workshop for their lively and thought-provoking discussions. The papers
included here point to not only the exciting work taking place in the field today, but
alsotochallengesandexcitingopportunitiesforfurtherresearchinthearea,whichwill
no doubt lead to future volumes in this series of proceedings.
January 2018 Elizabeth Black
Sanjay Modgil
Nir Oren
1 http://argumentationcompetition.org/2017/
Organization
TAFA2017tookplaceattheRMITUniversityinMelbourne,Australia,duringAugust
19–20,2017,asaworkshopatIJCAI2017,the26thInternationalJointConferenceon
Artificial Intelligence.
Workshop Chairs
Elizabeth Black King’s College London, UK
Sanjay Modgil King’s College London, UK
Nir Oren University of Aberdeen, UK
Program Committee
Leila Amgoud IRIT, CNRS, France
Pietro Baroni DII, University of Brescia, Italy
Stefano Bistarelli Università di Perugia, Italy
Elizabeth Black King’s College London, UK
Elise Bonzon LIPADE, Université Paris Descartes, France
Katarzyna Polish Academy of Sciences, Poland, and University
Budzynska of Dundee, UK
Martin Caminada Cardiff University, UK
Federico Cerutti Cardiff University, UK
Carlos Chesñevar Universidad Nacional del Sur, Argentina
Cosmina Croitoru Max Planck Institute for Informatics, Germany
Sylvie Doutre IRIT, University of Toulouse 1, France
Sarah Alice Gaggl TU Dresden, Germany
Massimiliano University of Brescia, Italy
Giacomin
Anthony Hunter University College London, UK
Souhila Kaci LIRMM, France
João Leite Universidade Nova de Lisboa, Portugal
Beishui Liao Zhejiang University, China
Thomas Linsbichler Vienna University of Technology, Austria
Marco Maratea University of Genoa, Italy
Nicolas Maudet Université Pierre et Marie Curie, France
Sanjay Modgil King’s College London, UK
Nir Oren University of Aberdeen, UK
Sylwia Polberg University College London, UK
Henry Prakken University of Utrecht and University of Groningen,
The Netherlands
Odinaldo Rodrigues King’s College London, UK
VIII Organization
Ariel Rosenfeld Weizmann Institute of Science, Israel
Chiaki Sakama Wakayama University, Japan
Claudia Schulz TU Darmstadt, Germany
Guillermo R. Simari Universidad del Sur in Bahia Blanca, Argentina
Hannes Strass Leipzig University, Germany
Yuqing Tang Microsoft, USA
Matthias Thimm Universität Koblenz-Landau, Germany
Alice Toniolo University of St. Andrews, UK
Paolo Torroni University of Bologna, Italy
Leon van der Torre University of Luxembourg
Srdjan Vesic CRIL, CNRS - Université d’Artois, France
Serena Villata CNRS, Laboratoire d’Informatique, Signaux et Systèmes de
Sophia-Antipolis, France
Toshiko Wakaki Shibaura Institute of Technology, Japan
Johannes P. Wallner Vienna University of Technology, Austria
Simon Wells Edinburgh Napier University, UK
Stefan Woltran Vienna University of Technology, Austria
Adam Wyner University of Aberdeen, UK
Contents
An Investigation of Argumentation Framework Characteristics . . . . . . . . . . . 1
Josh Murphy, Isabel Sassoon, Michael Luck,
and Elizabeth Black
Hypersequent-Based Argumentation: An Instantiation
in the Relevance Logic RM . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
AnneMarie Borg, Ofer Arieli, and Christian Straßer
On the Interaction Between Logic and Preference
in Structured Argumentation. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
Anthony P. Young, Sanjay Modgil, and Odinaldo Rodrigues
ASPIC-END: Structured Argumentation with Explanations
and Natural Deduction. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
Jérémie Dauphin and Marcos Cramer
On the Links Between Argumentation-Based Reasoning
and Nonmonotonic Reasoning . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
Zimi Li, Nir Oren, and Simon Parsons
Extended Explanatory Argumentation Frameworks . . . . . . . . . . . . . . . . . . . 86
Jérémie Dauphin and Marcos Cramer
Probabilities on Extensions in Abstract Argumentation. . . . . . . . . . . . . . . . . 102
Matthias Thimm, Pietro Baroni, Massimiliano Giacomin,
and Paolo Vicig
A Forward Propagation Algorithm for the Computation
of the Semantics of Argumentation Frameworks. . . . . . . . . . . . . . . . . . . . . 120
Odinaldo Rodrigues
The Formal Argumentation Libraries of Tweety . . . . . . . . . . . . . . . . . . . . . 137
Matthias Thimm
Heureka: A General Heuristic Backtracking Solver
for Abstract Argumentation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 143
Nils Geilen and Matthias Thimm
EqArgSolver – System Description . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 150
Odinaldo Rodrigues
X Contents
Team Persuasion. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 159
David Kohan Marzagão, Josh Murphy, Anthony P. Young,
Marcelo Matheus Gauy, Michael Luck, Peter McBurney,
and Elizabeth Black
Towards a General Framework for Dialogues That Accommodate
Reasoning About Preferences. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 175
Sanjay Modgil
Enumerating Preferred Extensions: A Case Study of Human Reasoning. . . . . 192
Alice Toniolo, Timothy J. Norman, and Nir Oren
A Dynamic Model of Trust in Dialogues. . . . . . . . . . . . . . . . . . . . . . . . . . 211
Gideon Ogunniye, Alice Toniolo, and Nir Oren
Author Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 227