Theory and Applications of Formal Argumentation: Third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015, Revised Selected Papers PDF
Preview Theory and Applications of Formal Argumentation: Third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015, Revised Selected Papers
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
Description:The list of books you might like
