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
|