Welcome to AAA 2017!

3rd International Workshop on Argument for Agreement and Assurance (AAA 2017)

Updates

  • The workshop reception and dinner will be held at Nihonkai-Syoya Myogadani-ten on the evening of 13th for free. (November 9, 2017)
  • The workshop floor map is available. (November  5, 2017)
  • The workshop programme is available. (October 19, 2017)
  • Submission deadline is extended. (August 17, 2017)
  • The website is open. (May 23, 2017)
  • Revised selected papers of AAA 2017 will be published in an LNAI post-proceedings book. (June 24, 2017)

Overview

Submissions are invited for the 3rd International Workshop on Argument for Agreement and Assurance (AAA 2017). The workshop will be held in Bunkyo School Building, University of Tsukuba, Tokyo, Japan, on November 13-15, 2017. The workshop will be sponsored by the Japanese Society for Artificial Intelligence (JSAI).

Argumentation has now become an interdisciplinary research subject receiving much attention from diverse communities including formal logic, informal logic and artificial intelligence. It aims at analysing, evaluating and systematising various aspects of human argument appeared in television, newspapers, WWW, etc. and also artificial arguments constructed from structured knowledge with logical language and inference rules. Their research achievements are widely applicable to various domains such as safety, political, medical and legal domains.

In particular, safety engineering appreciates Toulmin's argument model, starting from his critical opinion on formal logic, and recent intensive studies of formal argumentation. There is a growing interest in the use of an evidence-based argument often called a safety case, assurance case or dependability case. Nowadays, it is becoming necessary for developing and operating bodies to comply international standards, for system stakeholders to make agreement, for system administrators to achieve accountability.

Scopes

Scopes of interest include but are not limited to the following:
  • Abstract and structured argumentation systems, e.g., frameworks, proof-theories, semantics and complexity.
  • Dialogue systems, e.g., persuasion, negotiation, deliberation, eristic, and information-seeking dialogue systems.
  • Formal underpinnings on assurance cases, e.g., frameworks, proof-theories, semantics and complexity.
  • Confidence evaluation for assurance cases based on new metrics.
  • Studies on patterns for assurance cases including new syntax, formal semantics, evaluation on their effectiveness.
  • Argument-based agreement and assurance technologies for safety cases, assurance cases and dependability cases.
  • Applications of argumentation and dialogue systems to agreement technologies, systems assurance, safety engineering, systems resilience, practical reasoning, belief revision, multi-agent systems, learning, and semantic web.
  • Tools for argumentation systems, dialogue systems, safety case construction system, argument-based stakeholders' agreement, argument-based accountability achievement, argument-based open systems dependability, and argument-based verification and validation.

Important Dates

  • Submission Deadline : August 18September 6, 2017 (Extended)
  • Author Notification : September 22October 1, 2017 (Extended)
  • Camera-ready Due: October 7October 13October 16, 2017 (Extended)
  • Workshop Date : November 13-14, 2017

Submission Instructions

We welcome and encourage the submission of high quality, original papers, which are not simultaneously submitted for publication elsewhere. Papers should be written in English, formatted according to the Springer Verlag LNCS style in a pdf form , which can be obtained from Springer Online, and not exceed 14 pages including figures, references, etc. If you use a word file, please follow the instruction of the format, and then convert it into a pdf form. Here is the submission page.

We may have a poster and demo session. Contributions of this session may submit papers in 2-4 page length. For accepted papers, the author is required to give a poster presentation or tool demonstration in the session. All submissions will be rigorously peer reviewed with double blind. If a paper is accepted, at least one author of the paper must register the workshop and present it. Revised selected papers of AAA 2017 will be published in an LNAI post-proceedings book. 

Invited Talks

  • SPEAKER Robin Bloomfield, Adelard LLP and City, University of London
  • TITLE Structured Engineering Argumentation
ABSTRACT The decision to trust an engineering system – whether to fly in an aircraft, to drive a car - can have real world, societal, environmental and economic consequences. Engineering arguments are multidisciplinary and have a number of characteristics. A significant component of these decisions is science-based and may deploy sophisticated engineering calculations, mathematical models, simulations of the world and the engineered systems. However, this does not mean the judgments are purely deductive or logical. The framing of the problems, the validation of the assumptions, the application of “stopping rules” to decide when there is sufficient confidence is often an exercise in expert judgement. The overall process is socio-technical with challenge necessary to build confidence, and seeking dissent and counter-evidence important.

One contribution to achieving confidence in engineering decisions is assurance cases: "a documented body of evidence that provides a convincing and valid argument that a system is adequately dependable for a given application in a given environment". Our approach is based on the key concepts of claims, arguments and evidence (CAE): Claims – statements about a property of the system, Evidence that is used as the basis of the justification of the claim, Arguments link the evidence to the claim.

Engineering justifications are too complex to express in terms of a simple CAE triple. If we are developing a top down justification, the claims need to be expanded into subclaims until we can identify evidence that can directly support the subclaims. Engineering assurance arguments tend to be some 10s to 100s of nodes and have considerable supporting narrative. We have developed an approach to structuring such arguments based on a set of archetypal CAE fragments that we have termed CAE building blocks. The identification of the blocks was supported by an empirical analysis of the types of engineering arguments that are made about safety and dependability from defence, finance and medical applications.

Our approach factors out the argument into parts that can be addressed deductively and the side-warrant, which highlights the properties assumed of the world and have an inductive component. In this way we hope to get the benefits of deductive reasoning without losing the important argument that justifies why, in the real world, such deduction is appropriate and valid. These two aspects: the use of CAE fragments and the factorisation of deductive and inductive allow us to speculate how we can best exploit a variety of automated reasoning approaches.
  • SPEAKER Anthony Hunter, University College London
  • TITLE Computational Persuasion with Applications in Behaviour Change
ABSTRACT Persuasion is an activity that involves one party trying to induce another party to believe something or to do something. It is an important and multifaceted human facility. Obviously, sales and marketing is heavily dependent on persuasion. But many other activities involve persuasion such as a doctor persuading a patient to drink less alcohol, a road safety expert persuading drivers to not text while driving, or an online safety expert persuading users of social media sites to not reveal too much personal information online. As computing becomes involved in every sphere of life, so too is persuasion a target for applying computer-based solutions. An automated persuasion system (APS) is a system that can engage in a dialogue with a user (the persuadee) in order to persuade the persuadee to do (or not do) some action or to believe (or not believe) something. To do this, an APS aims to use convincing arguments and counterarguments in order to persuade the persuadee. Computational persuasion is a new field for the study of formal models of dialogues involving arguments and counterarguments, of user models, and strategies, for APSs. A promising application area for computational persuasion is in behaviour change. In this talk, I will review ongoing funded project being undertaken in the UCL Intelligent Systems Group on developing a framework for computational persuasion for behaviour change technology.

Programme

Nov. 13, 2017
  • 13:30
    • Opening
  • 13:45 - 14:45 (Session I)
    • Invited talk 1
      • Robin Bloomfield: Structured Engineering Argumentation
  • 14:45 - 15:15
    • Coffee break 
  • 15:15 - 17:15 (Session II)
    • Full papers (40 mins./paper)
      • Toshinori Takai: Modeling evidence-based arguments by abstract dialectical framework
      • Patrick Graydon: The Safety Argumentation Schools of Thought
    • Position papers (20 mins./paper)
      • Takashi Ito: Introduction of Agreement Description Database For DEOS
      • Kazuko Takahashi: How can we integrate argumentations in AI and assurance cases?
  • 18:30 - 20:30
    • Reception and Dinner (Nihonkai-Syoya Myogadani-ten)
Nov. 14, 2017
  • 9:15 - 10:15 (Session III)
    • Invited talk 2 
      • Anthony Hunter: Computational Persuasion with Applications in Behavior Change
  • 10:15 - 10:45
    • Coffee break
  • 10:45 - 12:05 (Session IV)
    • Short paper (20 mins./paper)
      • Koiti Hasida: Decentralized, Collaborative, and Diagrammatic Authoring
    • Position papers (20 mins./paper)
      • Yutaka Matsubara: Toward establishment of dependability argumentation for future automobiles
      • Hiroyuki Kido: Argument-Based Bayesian Generative Models for Attack Graph Estimation
      • Yoshiki Kinoshita: Assurance cases and IEC 62853 CDV Open systems dependability
  • 12:05 - 12:15
    • Closing

Venue
The workshop will be held at Bunkyo School Building, University of Tsukuba, Tokyo, Japan. The workshop floor map is available here.

Programme Committee

  • Martin Caminada, Cardiff University
  • Ewen Denney, SGT/NASA Ames Research Center
  • Juergen Dix Clausthal, University of Technology
  • Phan Minh Dung, Asian Institute of Technology
  • Richard Hawkins, University of York
  • C. Michael Holloway, NASA Langley Research Center
  • Antonis Kakas, University of Cyprus
  • Tim Kelly, University of York
  • Hiroyuki Kido, Sun Yat-sen University
  • Yoshiki Kinoshita, Kanagawa University
  • Yutaka Matsuno, Nihon University
  • John Rushby, SRI International
  • Chiaki Sakama, Wakayama University
  • Ken Satoh, National Institute of Informatics and Sokendai
  • Nir Oren, University of Aberdeen
  • Guillermo Simari, Universidad Nacional del Sur in Bahia Blanca
  • Kenji Taguchi, National Institute of Advanced Industrial Science and Technlogy
  • Kazuko Takahashi, Kwansei Gakuin University
  • Toshinori Takai, Nara Institute of Science and Technology
  • Makoto Takeyama, Kanagawa University
  • Paolo Torroni, University of Bologna
  • Charles Weinstock, Software Engineering Institute
  • Stefan Woltran, TU Wien
  • Shuichiro Yamamoto, Nagoya University

Organising Committee

  • Kazuko Takahashi, Kwansei Gakuin University, ktaka(at)kwansei.ac.jp
  • Yoshiki Kinoshita, Kanagawa University, yoshiki(at)kanagawa-u.ac.jp
  • Tim Kelly, University of York, tim.kelly(at)cs.york.ac.uk
  • Hiroyuki Kido, Sun Yat-sen Universitykido(at)mail.sysu.edu.cn

Past Conferences

  • AAA 2013 (Keio University Hiyoshi Campus, Kanagawa, Japan)
  • AAA 2015 (Keio University Hiyoshi Campus, Kanagawa, Japan)