Theory and Applications of Formal Argumentation: Third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015, Revised Selected Papers

270 Pages·2015·9.08 MB·English

by  Elizabeth Black

Elizabeth Black
Sanjay Modgil
Nir Oren (Eds.)
4
2 Theory and Applications
5
9

I
A of Formal Argumentation
N
L
Third International Workshop, TAFA 2015
Buenos Aires, Argentina, July 25–26, 2015
Revised Selected Papers
123
fi
Lecture Notes in Arti cial Intelligence 9524
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 Nir Oren (Eds.)
(cid:129) (cid:129)
Theory and Applications
of Formal Argumentation
Third International Workshop, TAFA 2015
–
Buenos Aires, Argentina, July 25 26, 2015
Revised Selected Papers
123
Editors
ElizabethBlack NirOren
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-28459-0 ISBN978-3-319-28460-6 (eBook)
DOI 10.1007/978-3-319-28460-6
LibraryofCongressControlNumber:2015958911
LNCSSublibrary:SL7–ArtificialIntelligence
©SpringerInternationalPublishingSwitzerland2015
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.
Printedonacid-freepaper
ThisSpringerimprintispublishedbySpringerNature
TheregisteredcompanyisSpringerInternationalPublishingAGSwitzerland
Preface
Recent years have witnessed a rapid growth of interest in formal models of argu-
mentationandtheirapplicationindiversesub-fieldsanddomains oftheapplication of
artificial intelligence. Specifically, formal models of argumentation have been devel-
oped for logic-based reasoning in the presence of uncertain, incomplete and incon-
sistent information, non-monotonic reasoning, decision making, and inter-agent
communication and dialogue. Models of argumentation have also been developed for
and applied in a multitude offields including belief revision, the Semantic Web, grid
applications, ontologies, recommender systems, machine learning, neural networks,
trustcomputing,normativesystems,socialchoicetheory,judgmentaggregation,game
theory, law and medicine.
The Third International Workshop on the Theory and Applications of Formal
Argumentation (TAFA 2015) aimed to promote further investigations into the use of
formal argumentation and links with other fields of artificial intelligence. Co-located
with the International Joint Conference on Artificial Intelligence (IJCAI 2015) in
Buenos Aires, Argentina, TAFA 2015 built on the success of TAFA 2011 and TAFA
2013 with a range of strong papers submitted by authors from Europe, China, and
Argentina. The workshop received 25 submissions, of which 16 were accepted for
presentation after a rigorous review process. The workshop was attended by over 30
participants, and involved many lively and thought-provoking discussions. It also
included a presentation of the results of the first International Competition on Com-
putational Models of Argumentation1.
We would like to thank the authors of this volume’s papers for their high-quality
contributions, and acknowledge the reviewers’ efforts for their in-depth feedback to
authors. The included papers point not only to the exciting work taking place in the
field today, but also to challenges and exciting opportunities for future research in the
area, which will no doubt lead to future volumes in this series of proceedings.
November 2015 Elizabeth Black
Sanjay Modgil
Nir Oren
1 http://argumentationcompetition.org/2015/
Organization
TAFA 2015 took place at the Universidad de Buenos Aires, Facultad de Ciencias
Económicas, Buenos Aires, Argentina, during July 25–26, 2015, as a workshop at
IJCAI 2015, the 24th International Joint Conference on 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
Katie Atkinson University of Liverpool, UK
Pietro Baroni University of Brescia, Italy
Floris Bex Utrecht University, The Netherlands
Elizabeth Black King’s College London, UK
Elise Bonzon LIPADE - Université Paris Descartes, France
Richard Booth University of Luxembourg, Luxembourg
Gerhard Brewka Leipzig University, Germany
Katarzyna Budzynska Polish Academy of Sciences, Poland, and University
of Dundee, UK
Martin Caminada University of Aberdeen, UK
Federico Cerutti University of Aberdeen, UK
Carlos Chesñevar UNS (Universidad Nacional del Sur), Argentina
Madalina Croitoru LIRMM, University of Montpellier II, France
Sylvie Doutre IRIT - University of Toulouse 1, France
Massimiliano Giacomin University of Brescia, Italy
Tom Gordon Fraunhofer FOKUS, Germany
Anthony Hunter University College London, UK
Souhila Kaci LIRMM, France
Joao Leite Universidade Nova de Lisboa, Portugal
Beishui Liao Zhejiang University, China
Nicolas Maudet Université Paris 6, France
Sanjay Modgil King’s College London, UK
Pavlos Moraitis Paris Descartes University, France
Nir Oren University of Aberdeen, UK
Simon Parsons University of Liverpool, UK
Henry Prakken University of Utrecht and University of Groningen,
The Netherlands
Odinaldo Rodrigues King’s College London, UK
VIII Organization
Chiaki Sakama Wakayama University, Japan
Guillermo R. Simari Universidad Nacional del Sur in Bahia Blanca, Argentina
Hannes Strass Leipzig University, Germany
Yuqing Tang Carnegie Mellon University, USA
Matthias Thimm Universität Koblenz-Landau, Germany
Francesca Toni Imperial College London, UK
Alice Toniolo University of Aberdeen, UK
Paolo Torroni University of Bologna, Italy
Leon van der Torre University of Luxembourg, Luxembourg
Srdjan Vesic CRIL - CRNS, France
Serena Villata Inria Sophia Antipolis, France
Toshiko Wakaki Shibaura Institute of Technology, Japan
Simon Wells Edinburgh Napier University, UK
Stefan Woltran Vienna University of Technology, Austria
Adam Wyner University of Aberdeen, UK
Additional Reviewers
Cyras, Kristijonas
Kontarinis, Dionysios
Linsbichler, Thomas
Contents
Comparing and Integrating Argumentation-Based with Matrix-Based
Decision Support in Arg&Dec . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
MarcoAurisicchio,PietroBaroni,DarioPellegrini,andFrancescaToni
Reasons and Options for Updating an Opponent Model in Persuasion
Dialogues. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
Elizabeth Black and Anthony Hunter
Abstract Solvers for Dung’s Argumentation Frameworks . . . . . . . . . . . . . . . 40
Remi Brochenin, Thomas Linsbichler, Marco Maratea,
Johannes Peter Wallner, and Stefan Woltran
A Discussion Game for Grounded Semantics . . . . . . . . . . . . . . . . . . . . . . . 59
Martin Caminada
An Axiomatic Approach to Support in Argumentation. . . . . . . . . . . . . . . . . 74
Claudette Cayrol and Marie-Christine Lagasquie-Schiex
Non-MonotonicInferenceProperties forAssumption-BasedArgumentation ... 92
Kristijonas Čyras and Francesca Toni
On Explanations for Non-Acceptable Arguments. . . . . . . . . . . . . . . . . . . . . 112
Xiuyi Fan and Francesca Toni
Building Support-Based Opponent Models in Persuasion Dialogues. . . . . . . . 128
Christos Hadjinikolis, Sanjay Modgil, and Elizabeth Black
The Hidden Power of Abstract Argumentation Semantics. . . . . . . . . . . . . . . 146
Thomas Linsbichler, Christof Spanring, and Stefan Woltran
Argument Mining: A Machine Learning Perspective . . . . . . . . . . . . . . . . . . 163
Marco Lippi and Paolo Torroni
Arguing from Similar Positions: An Empirical Analysis. . . . . . . . . . . . . . . . 177
Josh Murphy, Elizabeth Black, and Michael Luck
ArgP2P:AnArgumentativeApproachforIntelligentQueryRoutinginP2P
Networks. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 194
Ana L. Nicolini, Ana G. Maguitman, and Carlos I. Chesñevar
Persistence and Monotony Properties of Argumentation Semantics . . . . . . . . 211
Tjitze Rienstra, Chiaki Sakama, and Leendert van der Torre
X Contents
Argumentation-based Normative Practical Reasoning. . . . . . . . . . . . . . . . . . 226
ZohrehShams,MarinaDeVos,NirOren,JulianPadget,andKenSatoh
The Matrix Approach for Abstract Argumentation Frameworks. . . . . . . . . . . 243
Yuming Xu and Claudette Cayrol
Author Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 261