aamas13

Eleventh International Workshop on
Argumentation in Multi-Agent Systems (ArgMAS 2014)

Paris, France, May 5, 2014
In Conjunction with AAMAS 2014

ArgMAS series web site:
http://www.mit.edu/~irahwan/argmas/

News & Announcements

  • (4 Apr 2014) Preliminary program now up.
  • (25 Mar 2014) Workshop date finalized: Monday 5 May.
  • (10 Feb 2014) Keynote speaker announced: Prof. Sarit Kraus (details below).
  • (19 Jan 2014) Submission date revised.
  • (11 Dec 2013) Web site is up.

Overview

Submissions are invited for the International Workshop on Argumentation in Multi-Agent Systems (ArgMAS).

ArgMAS focuses on the concepts, theories, methodologies, and applications of computational models of argument in creating autonomous agents and multi-agent systems. Argumentation can be abstractly defined as the formal interaction of different arguments for and against some conclusion (eg, a proposition, an action intention, a preference, etc). A single agent may use argumentation techniques to perform individual reasoning, to resolve conflicting evidence, or to decide between conflicting goals.   Multiple agents may also use dialectical argumentation in order to identify and reconcile differences between themselves, through interactions such as negotiation, persuasion, and joint deliberation.

The main goal of ArgMAS will be to bring together the community of researchers working on argumentation in multi-agent systems. The workshop has the following technical goals:

(a) To explore the use of argumentation in practical reasoning.
(b) To investigate how argumentation can be used to enable rational interaction between autonomous agents.
(c) To explore the applicability of argumentation for solving a variety of problems in multi-agent systems, such as information exchange, negotiation, team formation, deliberation, etc.
(d) To explore strategic reasoning and behaviours in argumentation-based interaction.
(e) To better understand how argumentation relates to other areas of multiagent research, such as game theory, agent communications, and planning.
(f) To present and encourage implemented systems which demonstrate the use of argumentation in multi-agent systems.

The workshop solicits papers looking at either theory or practice, or both. In particular, the workshop aims at bridging the gap between the vast amount of work on argumentation theory and the practical needs of multi-agent systems research.

Different agents within a multiagent system potentially have differential access to information and capabilities, different beliefs, different preferences and desires, and different goals and values.   A key aspect of the scientific study of multiagent systems therefore is the development of methods and procedures for identifying, assessing, reconciling, and arbitrating between such differences.  Market mechanisms and voting procedures are two methods for dealing with such differences. Argumentation theory is another.  In recent years, formal theories of argument and argument interaction have been proposed, and this has led to the study of computational models of argument.  The ArgMAS series of workshops has focused on computational argumentation within the context of agent reasoning and multiagent systems.

The workshop will be of interest to anyone studying or applying default reasoning in autonomous agents, single-agent reasoning and planning under uncertainty, strategic single-agent reasoning in the context of potential competitor actions, and the rational resolution of the different beliefs and intentions of multiple agents within multiagent systems.

This workshop builds on the following successful workshops (see ArgMAS workshop series web site).

Topics

We solicit papers dealing with, but not limited to, the following areas:

  • Computational models for argumentation
  • Argumentation-based decision making
  • Argumentation-based joint deliberation
  • Argumentation-based persuasion
  • Argumentation-based inquiry
  • Argumentation-based negotiation and conflict resolution
  • Argumentation and risk assessment
  • Argumentation for legal reasoning
  • Argumentation for electronic democracy
  • Argumentation for coordination, cooperation and team formation
  • Argumentation and game theory in multi-agent systems
  • Human-agent argumentation
  • Argumentation and preferences modelling
  • Strategic behaviour in argument-based dialogues
  • Deception, trust, reputation in argument-based interaction
  • Computational complexity of argumentation dialogues
  • Properties of argumentation dialogues (termination, success, etc.)
  • Hybrid argumentation-based models
  • Implemented argumentation-based multi-agent systems
  • New application areas

Programme

(09:00-10:00) Tutorial (details TBA)

(10:00-10:20)
Planning Interactions for Agents in Argumentation-Based Negotiation
Alison R. Panisson (Pontifical Catholic University of Rio Grande do Sul)
Giovani Farias (Pontifical Catholic University of Rio Grande do Sul)
Artur Freitas (Pontifical Catholic University of Rio Grande do Sul)
Felipe Meneguzzi (Pontifical Catholic University of Rio Grande do Sul)
Renata Vieira (Pontifical Catholic University of Rio Grande do Sul)
Rafael H. Bordini (Pontifical Catholic University of Rio Grande do Sul)

(10:20-10:30)
Use of Argumentation and Crowdsourcing Techniques for Risk Assessment and Policy Development
John Fox (University of Oxford)
Vera Hazlewood (PURE Network)
Torran Elson (PURE Network)
David Price (Debategraph)

(10:30-11:00) Break

(11:00-11:20)
Making Informed Decisions with Provenance and Argumentation Schemes
Alice Toniolo (University of Aberdeen)
Federico Cerutti (University of Aberdeen)
Nir Oren (University of Aberdeen)
Timothy J. Norman (University of Aberdeen)
Katia Sycara (Carnegie Mellon University)

(11:20-11:40)
States, Goals and Values: Revisiting Practical Reasoning
Katie Atkinson (University of Liverpool)
Trevor Bench-Capon (University of Liverpool)

(11:40-12:00)
Missing Phases of Deliberation Dialogue for Real Applications
Douglas Walton (University of Windsor)
Alice Toniolo (University of Aberdeen)
Timothy J. Norman (University of Aberdeen)

(12:20-14:00) Lunch break

(14:00-15:00) Keynote by Prof. Sarit Kraus

  • Title: Argumentation in Human-Computer Interaction

  • Abstract: Over the last fifteen years, argumentation has come to be increasingly central as a core study within Artiļ¬cial Intelligence, in general, and multi-agent research in particular. However, only very few attempts have been made to study models of human argumentations. Such models can be used for supporting people or representing them in argumentation. Formal argumentation theories that are grounded in computational logic, consider arguments as abstract entities and study their interaction as introduced by Dung are not useful when modelling human argumentation. People do not adhere to the optimal, monolithic strategies that can be derived analytically. Their argumentation behavior is affected by a multitude of social and psychological factors. In some contexts, especially in law and medicine, where the goal of the argumentation is to reveal the truth, computational tools are available to help people reach the true conclusions. In deliberation dialogues where people express opinions and no objective truth exists, helping people or arguing with people is more difficult. We propose that the first step in the study of argumentation in human-computer interaction is to try to predict human argumentation choice, and we will discuss an extensive study toward this goal. We will show that in addition to justification concepts that are commonly used in argumentation theory, the relevance of the argument to the deliberation and the psychological aspects are important features in the prediction process. We will conclude by providing instructions for building automated agents that can argue efficiently with people.

  • Speaker Bio: Sarit Kraus (Ph.D. Computer Science, Hebrew University, 1989) is a Professor of Computer Science at Bar-Ilan University and an Adjunct Professor at the University of Maryland. She has focused her research on intelligent agents and multi-agent systems, focusing on the development of intelligent agents that can interact proficiently with people. Kraus was awarded the IJCAI Computers and Thought Award, the ACM SIGART Agents Research award, the EMET prize and her paper with Prof. Barbara Grosz was a winner of the IFAAMAS influential paper award (joint winner). She is an AAAI and ECCAI fellow and a recipient of the advanced ERC grant. She also received a special commendation from the city of Los Angeles, together with Prof. Tambe, Prof. Ordonez and their USC students, for the creation of the ARMOR security scheduling system. She has published over 300 papers in leading journals and major conferences. She is the author of the book Strategic Negotiation in Multiagent Environments (2001) and a co-author of a book on Heterogeneous Active Agents (2000), both published by MIT Press. She is also a co-author of the forthcoming book Principles of Automated Negotiation to be published in Cambridge University Kraus is an associate editor of the Annals of Mathematics and Artificial Intelligence Journal and is on the editorial board of the Journal of Autonomous Agents and Multi-Agent Systems, the Journal of Applied Logic, and the Journal of Philosophical Logic (JPL).

(15:00-15:20)
Employing Argumentation to Support Human Decision Making: A User Study
Jordan Salvit (City University of New York)
Zimi Li (City University of New York)
Senni Perumal (Raytheon BBN Technologies)
Holly Wall (City University of New York)
Jennifer Mangels (City University of New York)
Simon Parsons (University of Liverpool)
Elizabeth I Sklar (University of Liverpool)

(15:20-15:30)
Formal Argumentation: A Human-centric Perspective
Federico Cerutti (University of Aberdeen)
Nava Tintarev (University of Aberdeen)
Nir Oren (University of Aberdeen)

(15:30-16:00) Break

(16:00-16:20)
Implementing Explanation-Based Argumentation using Answer Set Programming
Giovanni Sileno (University of Amsterdam)
Alexander Boer (University of Amsterdam)
Tom van Engers (University of Amsterdam)

(16:20-16:40)
An Approach for Argumentation-based Reasoning Using Defeasible Logic in Multi-Agent Programming Languages
Alison R. Panisson (Pontifical Catholic University of Rio Grande do Sul)
Felipe Meneguzzi (Pontifical Catholic University of Rio Grande do Sul)
Renata Vieira (Pontifical Catholic University of Rio Grande do Sul)
Rafael H. Bordini (Pontifical Catholic University of Rio Grande do Sul)

(16:40-17:00)
Towards an Argumentative Approach for Repair of Hybrid Logics Models
Anca Goron (Technical University of Cluj-Napoca)
Adrian Groza (Technical University of Cluj-Napoca)
Sergio Alejandro Gomez (Universidad Nacional del Sur)
Ioan Alfred Letia (Technical University of Cluj-Napoca)

(17:00-17:20)
A Monte-Carlo Tree Search in Argumentation
Regis Riveret (Imperial College of Science, Techology and Medicine)
Cameron Browne (Goldsmiths College)
Didac Busquets (Imperial College of Science, Techology and Medicine)
Jeremy Pitt (Imperial College of Science, Techology and Medicine)

(17:20-17:30)
Argumentation Random Field
Yuqing Tang (Carnegie Mellon University)
Alice Toniolo (University of Aberdeen)
Katia Sycara (Carnegie Mellon University)
Nir Oren (University of Aberdeen)

Important Dates

Submission Deadline: 7 February
Notification of Decision: 10 March
Camera Ready Copy Due: 17 March
Workshop: 5 May

Publication

The proceedings of ArgMAS will be printed and distributed at the workshop.  As with previous ArgMAS workshops, it is planned to publish revised versions of the accepted full papers in an edited book as part of the Springer Lecture Notes in Computer Science (LNCS) series. This publication will have an ISBN number, and would be available both in printed form, as well as electronically in SpringerLink online.

Submission Procedure

As with previous workshops, each ArgMAS submission will be reviewed by two members of the expert program committee.  Contributors may submit either full papers (no longer than 20 pages) or a two-page position statement that outlines their interests, background, and discussion of an aspect of the workshop theme.   Authors are encouraged to submit their papers in the Springer Lecture Notes in Computer Science (LNCS) style, since this will be the format required for the planned post-proceedings book. Formatting instructions, as well as the style and sample files, can be found here:

http://www.springer.de/comp/lncs/authors.html

Papers submitted should be in PDF format, and must be submitted through our dedicated EasyChair site, here:

https://www.easychair.org/account/signin.cgi?conf=argmas2014

Submitted papers should give full names and contact details for all authors. At least one author of each accepted papers must register for the workshop.

Organisers

  • Katie Atkinson (Contact Organiser)
    Department of Computer Science
    University of Liverpool
    Tel: +44 (0)151 795 4243
    K.M.Atkinson [a*t] liverpool.ac.uk
  • Simon Parsons
    Department of Computer Science
    University of Liverpool
    s.d.parsons [a*t] liverpool.ac.uk
  • Iyad Rahwan
    Masdar Institute of Science & Technology
    P.O.Box 54224 Abu Dhabi
    United Arab Emirates
    irahwan [a*t] acm.org
    School of Informatics
    University of Edinburgh
    Edinburgh, UK

ArgMAS Steering Committee

  • Antonis Kakas (University of Cyprus, Cyprus)
  • Nicolas Maudet (Universite Paris Dauphine, France)
  • Peter McBurney (King's College London, UK)
  • Pavlos Moraitis (Paris Descartes University, France)
  • Simon Parsons (City University of New York, USA)
  • Iyad Rahwan (Masdar Institute, UAE, and MIT, USA)
  • Chris Reed (University of Dundee, UK)

Program Committee

  • Leila Amgoud
  • Katie Atkinson
  • Jamal Bentahar
  • Elizabeth Black
  • Carlos Chesnevar
  • Yannis Dimopoulos
  • Paul Dunne
  • Anthony Hunter
  • Antonis Kakas
  • Nikos Karacapilidis
  • Nicolas Maudet
  • Sanjay Modgil
  • Nir Oren
  • Simon Parsons
  • Enric Plaza
  • Henry Prakken
  • Iyad Rahwan
  • Chris Reed
  • Guillermo Ricardo Simari
  • Elizabeth Sklar
  • Yuqing Tang
  • Paolo Torroni
  • Rogier Van-Eijk
  • Doug Walton