Lecture Notes in Artificial 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 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 Elizabeth Black Department of Informatics King s College London London UK King s College London London UK Nir Oren Department of Computing Science University of Aberdeen Aberdeen UK ISSN 0302-9743 ISSN 1611-3349 (electronic) Lecture Notes in Artificial Intelligence ISBN 978-3-319-75552-6 ISBN 978-3-319-75553-3 (ebook) https://doi.org/10.1007/978-3-319-75553-3 Library of Congress Control Number: 2018933181 LNCS Sublibrary: SL7 Artificial Intelligence Springer International Publishing AG, part of Springer Nature 2018 This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the 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 storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed. The use of general descriptive names, registered names, trademarks, service marks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. The publisher, the authors and the editors are safe to assume that the advice and information in this book are believed to be true and accurate at the date of publication. Neither the publisher nor the authors or the editors give a warranty, express or implied, with respect to the material contained herein or for any errors or omissions that may have been made. The publisher remains neutral with regard to jurisdictional claims in published maps and institutional affiliations. Printed on acid-free paper This Springer imprint is published by the registered company Springer International Publishing AG part of Springer Nature The registered company address is: Gewerbestrasse 11, 6330 Cham, 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, nonmonotonic reasoning, decision-making, inter-agent communication, the Semantic Web, 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 (TAFA 2017) aimed to contribute to the realization of this promise, by promoting and 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-located with the International Joint Conference on Artificial Intelligence (IJCAI 2017) in Melbourne, Australia, TAFA 2017 built on the success of TAFA 2011, TAFA 2013, and TAFA 2015 with a range of strong papers submitted by authors from across Europe, Israel, China, and the USA. For the first time this year, TAFA 2017 included a systems track for short papers presenting argumentation solvers, algorithms, implementation 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 efforts for their in-depth feedback to authors. We also thank the participants 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 also to challenges and exciting opportunities for further research in the area, which will no doubt lead to future volumes in this series of proceedings. January 2018 Elizabeth Black Nir Oren 1 http://argumentationcompetition.org/2017/
Organization TAFA 2017 took place at the RMIT University in Melbourne, Australia, during August 19 20, 2017, as a workshop at IJCAI 2017, the 26th International Joint Conference on Artificial Intelligence. Workshop Chairs Elizabeth Black Nir Oren University of Aberdeen, UK Program Committee Leila Amgoud Pietro Baroni Stefano Bistarelli Elizabeth Black Elise Bonzon Katarzyna Budzynska Martin Caminada Federico Cerutti Carlos Chesñevar Cosmina Croitoru Sylvie Doutre Sarah Alice Gaggl Massimiliano Giacomin Anthony Hunter Souhila Kaci João Leite Beishui Liao Thomas Linsbichler Marco Maratea Nicolas Maudet Nir Oren Sylwia Polberg Henry Prakken Odinaldo Rodrigues IRIT, CNRS, France DII, University of Brescia, Italy Università di Perugia, Italy LIPADE, Université Paris Descartes, France Polish Academy of Sciences, Poland, and University of Dundee, UK Cardiff University, UK Cardiff University, UK Universidad Nacional del Sur, Argentina Max Planck Institute for Informatics, Germany IRIT, University of Toulouse 1, France TU Dresden, Germany University of Brescia, Italy University College London, UK LIRMM, France Universidade Nova de Lisboa, Portugal Zhejiang University, China Vienna University of Technology, Austria University of Genoa, Italy Université Pierre et Marie Curie, France University of Aberdeen, UK University College London, UK University of Utrecht and University of Groningen, The Netherlands
VIII Organization Ariel Rosenfeld Chiaki Sakama Claudia Schulz Guillermo R. Simari Hannes Strass Yuqing Tang Matthias Thimm Alice Toniolo Paolo Torroni Leon van der Torre Srdjan Vesic Serena Villata Toshiko Wakaki Johannes P. Wallner Simon Wells Stefan Woltran Adam Wyner Weizmann Institute of Science, Israel Wakayama University, Japan TU Darmstadt, Germany Universidad del Sur in Bahia Blanca, Argentina Leipzig University, Germany Microsoft, USA Universität Koblenz-Landau, Germany University of St. Andrews, UK University of Bologna, Italy University of Luxembourg CRIL, CNRS - Université d Artois, France CNRS, Laboratoire d Informatique, Signaux et Systèmes de Sophia-Antipolis, France Shibaura Institute of Technology, Japan Vienna University of Technology, Austria Edinburgh Napier University, UK Vienna University of Technology, Austria 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,, 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 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