This report documents the program and the outcomes of Dagstuhl Seminar 18171 “Normative Multi-Agent Systems”. Normative multi-agent systems combine models for multi-agent systems with normative concepts, like obligations, permissions, and prohibitions. As such, they promise to be a suitable model, for example for (regulated) multiagent societies, organizations, electronic institutions, autonomous agent cooperation (with humans-in-the-loop) and much more. The aim of this seminar was to bring together researchers from various scientific disciplines, such as computer science, artificial intelligence, philosophy, law, cognitive science and social sciences to discuss the emerging topic concerning the responsibility of autonomous systems. Autonomous software systems and multi-agent systems in open environments require methodologies, models and tools to analyse and develop flexible control and coordination mechanisms. Without them, it is not possible to steer the behaviour and interaction of such systems and to ensure important overall properties. Normative multi-agent systems is an established area focussing on how norms can be used to control and coordinate autonomous systems and multi-agents systems without restricting the autonomy of the involved systems. Such control and coordination systems allow autonomous systems to violate norms, but respond to norm violations by means of various sanctioning mechanisms. Therefore it is crucial to determine which agents or agent groups are accountable for norm violations. The focus of this seminar laid on how the responsibility of autonomous systems can be defined, modelled, analysed and computed. Seminar April 22–27, 2018 – http://www.dagstuhl.de/18171 2012 ACM Subject Classification Computing methodologies → Multi-agent systems
[1]
Douglas Walton,et al.
Formalizing Informal Logic
,
2015
.
[2]
Frank Dignum,et al.
Modeling the problem of many hands in organisations
,
2010,
ECAI.
[3]
Joseph Y. Halpern.
A Modification of the Halpern-Pearl Definition of Causality
,
2015,
IJCAI.
[4]
Satoshi Tojo,et al.
Disjunction of Causes and Disjunctive Cause: a Solution to the Paradox of Conditio Sine Qua Non using Minimal Abduction
,
2006,
JURIX.
[5]
Joseph Y. Halpern,et al.
Causes and explanations: A structural-model approach
,
2000
.
[6]
Ronald Fagin,et al.
Reasoning about knowledge
,
1995
.
[7]
Henry Prakken,et al.
An abstract framework for argumentation with structured arguments
,
2010,
Argument Comput..
[8]
Joseph Y. Halpern,et al.
Responsibility and Blame: A Structural-Model Approach
,
2003,
IJCAI.
[9]
Lambèr M. M. Royakkers,et al.
Moral Responsibility and the Problem of Many Hands
,
2015
.
[10]
H. Hart.
XI.—The Ascription of Responsibility and Rights
,
1949
.