Submissions are invited for the 1st International Workshop on Argument for Agreement and Assurance (AAA 2013). The workshop will be held in Keio University Hiyoshi Campus, Kanagawa, Japan, on October 27-28, 2013, as part of the Japanese Society for Artificial Intelligence international symposia on AI (JSAI-isAI) 2013.
Argumentation has now become an interdisciplinary challenging research area in AI aiming at formalizing various aspects of human or/and computer software argument in terms of computation, and applying those knowledge to various fields. Scope of argumentation in AI includes human arguments appeared in television, newspapers, WWW, etc. and also artificial arguments constructed from structured knowledge with logical language and inference rules. Results of argumentation in AI are widely applicable to various fields such as consensus building, agreement formation, multiagent systems, semantic web, recommendation systems, argument mining, learning, belief revisions, chance discovery, safety engineering, etc.
In particular, safety engineering is a research area that is interested in the use of an evidence-based argument often called a safety case, assurance case or dependability case. Nowadays, it is becoming necessary for certification bodies to issue a license to developing and operating bodies, for system stakeholders to make agreement, for system administrators to achieve accountability, etc. AAA 2013 contributes to deepen mutual understanding between researchers working on argumentation theory in AI and researchers working on agreement and assurance technologies through arguments.
AAA 2013 solicits contributions from broad range of researchers related to argumentation in AI and especially welcomes contributions across argumentation and systems assurance. AAA 2013 seeks high-quality original submission of full papers limited to 14 pages including figures, references, etc. All submissions will be rigorously peer reviewed with double blind. Selected papers will be included in JSAI-isAI 2013 post-proceedings as a volume of LNAI published by Springer Verlag.
Aims and Topics
AAA 2013 aims to deepen mutual understanding between researchers working on argumentation theory in AI and researchers working on agreement and assurance technologies through arguments, and to share current limitations and problems of argumentation in AI in terms of both theory and practice. Topics of interest include but are not limited to the following:
- Abstract and structured argumentation systems including studies of frameworks, proof-theories, semantics, complexity, etc.
- Dialogue systems for persuasion, negotiation, deliberation, eristic, information-seeking dialogues, etc.
- Applications of argumentation and dialogue systems to various fields such as agreement technologies, systems assurance, safety engineering, multi-agent systems, practical reasoning, belief revision, learning, semantic web, etc.
- Agreement and assurance technologies through arguments including safety cases, assurance cases and dependability cases, etc.
- Tools for argumentation systems, dialogue systems, argument-based stakeholders' agreement, argument-based accountability achievement, argument-based open systems dependability, argument-based verification and validation, etc.
- Workshop Submission Deadline : August 24, 2013 (Extended!)
- Workshop Author Notification : September 22, 2013 (Extended!)
- Workshop Camera-ready : October 5, 2013 (Extended!)
- Workshop Date : October 28, 2013
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. If a paper is accepted, at least one author of the paper must register the workshop and present it.
A Brief Overview of Formal Argumentation Theory Theories of reasoning with conflicting information and rules of thumb have been developed since the 1980s. A recent development is the field of formal argumentation, where such theories are built around the notion of an argument, which basically consists of one or more reasons (argument schemes) that collectively support a particular claim (conclusion). Entailment is then defined based on how the various arguments interact with each other. In the present talk, we will review some of the current work in formal argumentation theory. In particular, we will examine how natural concepts, like claims, reasons, arguments and discussions, can be modelled by formal theory. Also, we show how formal entailment can be expressed as the ability to win a particular type of discussion.
Tim Kelly (University of York, UK)
Argumentation in Assurance Cases - Themes and Current Directions The concept of safety case development and acceptance has been around for many decades - originating from the UK Civil Nuclear Industry in the 1960s. The research and practice of using structured argumentation notations and techniques has also been in existence for a significant period of time (approaching twenty years). In this talk I will provide a tour of the development of research in this area over this period up to the present day, with the aim of highlighting core themes and directions. This will describe past work on safety case patterns, modular certification, software safety cases, dealing with confidence, and the generalisation of safety case practice to other disciplines such as security. The description of current research will describe joint work between the universities of York and Virginia on Assured Argument Development (recently promoted by the US FDA) - which formed part of our response to the findings of the publicly-funded UK review into the issues surrounding the explosion of the XV230 Nimrod aircraft in Afghanistan. Finally, an overview will be given of a recently commenced EU FP7 project - OPENCOSS (Open Platform for Evolutionary Certification of Open Systems).
A printed volume of the proceedings will be available at the workshop. Springer Verlag has agreed to publish selected papers of the workshop in the JSAI-isAI 2013 post-proceedings as a volume of LNAI. Thus, the authors of papers presented at the workshop will be asked to extend their contributions, possibly incorporating the results of the workshop discussion, to be included in the workshop post-proceedings, after another round of refereeing.
- A Dialogue-based Safety Argument Review Tool Tangming Yuan, Tim Kelly, Tianhua Xu, Haifeng Wang and Lin Zhao
- A Perspective on Safety Argumentation: Aims, Achievements, Challenges, and Opportunities Patrick Graydon
- Abduction in Argumentation Frameworks and its Use in Debate Games Chiaki Sakama
- Reasoning About Software Security Enhancements Using Security Cases Benjamin Rodes and John Knight
- Combining Norms, Roles, Dependence and Argumentation in Agreement Technologies Patrice Caire, Leon van der Torre and Serena Villata
- Mechanized Support for Assurance Case Argumentation John Rushby
- Computing consensus: A logic for reasoning about deliberative processes based on argumentation Truls Pedersen and Sjur Kristoffer Dyrkolbotn
- 9:00-9:10 (October 28, 2013) Opening
- 9:10-10:00 Seseion I
- Computing consensus: A logic for reasoning about deliberative processes based on argumentation, Truls Pedersen and Sjur Kristoffer Dyrkolbotn
- Abduction in Argumentation Frameworks and its Use in Debate Games, Chiaki Sakama
- 10:20-11:10 Seseion II
- A Dialogue-based Safety Argument Review Tool, Tangming Yuan, Tim Kelly, Tianhua Xu, Haifeng Wang and Lin Zhao
- Mechanized Support for Assurance Case Argumentation, John Rushby
- 11:30-12:30 Invited talk I
- A Brief Overview of Formal Argumentation Theory, Martin Caminada
- 12:50-14:00 Lunch
- 14:00-15:00 Invited talk II
- Argumentation in Assurance Cases - Themes and Current Directions, Tim Kelly
- 15:15-16:30 Seseion III
- A Perspective on Safety Argumentation: Aims, Achievements, Challenges, and Opportunities, Patrick Graydon
- Reasoning About Software Security Enhancements Using Security Cases, Benjamin Rodes and John Knight
- Combining Norms, Roles, Dependence and Argumentation in Agreement Technologies, Patrice Caire, Leon van der Torre and Serena Villata
- 16:30-17:00 Tools demo and discussion
- 17:00 Closing
Please see JSAI-isAI 2013.
The workshop will be held at Raiosha Building, Keio University, Kanagawa, JAPAN. For more information, see Hiyoshi Campus Map.
- Kenji Taguchi National Institute of Advanced Industrial Science and Technology kenji.taguchi [at] aist.go.jp
- Yoshiki Kinoshita Department of Information Sciences, Faculty of Science, Kanagawa University yoshiki [at] kanagawa-u.ac.jp
- Kazuko Takahashi Department of Informatics, Kwansei Gakuin University ktaka [at] kwansei.ac.jp
- Hiroyuki Kido Department of Systems Innovation, School of Engineering, The University of Tokyo kido [at] sys.t.u-tokyo.ac.jp
- Takashi Kitamura (AIST, Japan) http://staff.aist.go.jp/t.kitamura/
- Sarah Alice Gaggl (Technische Universitšt Dresden, Germany) http://www.dbai.tuwien.ac.at/staff/gaggl/
- Guillermo Ricardo Simari (Universidad Nacional del Sur, Argentina) http://cs.uns.edu.ar/~grs/
- Paolo Torroni (Univ. of Bologna, Italy) http://lia.deis.unibo.it/~pt/CV.shtml
- Gabriele KernIsberner (Technische Universitaet Dortmund, Germany) http://ls1-www.cs.uni-dortmund.de/~kernisberner/index.html.en
- Ken Satoh (National Institute of Informatics, Japan) http://research.nii.ac.jp/~ksatoh/
- Chiaki Sakama (Wakayama Univ., Japan) http://www.wakayama-u.ac.jp/~sakama/
- Toshinori Takai (Nara Institute of Science and Technology, Japan)
- Antonis Kakas (Univ. of Cyprus, Cyprus) http://www.cs.ucy.ac.cy/~antonis/
- Iyad Rahwan (Masdar Institute of Science & Technology, UAE) http://homepages.inf.ed.ac.uk/irahwan/
- Pavlos Moraitis (Paris Descartes Univ., France) http://www.math-info.univ-paris5.fr/~moraitis/
- Stefan Woltran (Vienna Univ. of Technology, Austria) http://www.dbai.tuwien.ac.at/staff/woltran/
- Phan Minh Dung (Asian Institute of Technology, Thailand) http://www.cs.ait.ac.th/~dung/Site/Home.html
- Juergen Dix (Clausthal Univ. of Technology, Germany) http://www.in.tu-clausthal.de/index.php?id=cigmember_dix
- Martin Caminada (Univ. of Aberdeen, UK) http://homepages.abdn.ac.uk/martin.caminada/pages/
- Makoto Takeyama (Kanagawa Univ., Japan)
- Kenji Taguchi (AIST, Japan) http://staff.aist.go.jp/kenji.taguchi/
- Yoshiki Kinoshita (Kanagawa Univ., Japan)
- Kazuko Takahashi (Kwansei Univ., Japan) http://sci-tech.ksc.kwansei.ac.jp/en/faculty/KazukoTakahashi.html
- Hiroyuki Kido (The Univ. of Tokyo, Japan) http://www.panda.sys.t.u-tokyo.ac.jp/kido/
- Shuichiro Yamamoto (Nagoya Univ., Japan)
- Yutaka Matsuno (The Univ. of Electro-Communications, Japan)
- Tim Kelly (Univ. of York, UK) http://www-users.cs.york.ac.uk/~tpk/
- John Rushby (SRI, USA) http://www.csl.sri.com/users/rushby/
- John Knight (Univ. of Virginia, USA) http://www.cs.virginia.edu/~jck/
- Ewen Denney (NASA/Ames, USA) http://ti.arc.nasa.gov/profile/edenney/
- Charles Weinstock (SEI, USA) http://www.sei.cmu.edu/about/people/profile.cfm?id=weinstock_13081
- Robin Bloomfield (City Univ. of London, UK) http://www.city.ac.uk/informatics/school-organisation/centre-for-software-reliability/staff/prof.-robin-bloomfield