Oberseminar
Speaker: Nils Bulling
Title: Verifying Normative Behaviour via Normative Mechanism Design
Abstract: The environment is an essential component of multi-agent systems, which is often used to coordinate the behaviour of individual agents. Recently many programming languages have been proposed to facilitate the implementation of such environments. This work is motivated by a programming language that is designed to implement environments in terms of normative concepts such as norms and sanctions. We provide a formal analysis of programmed normative environments based on concepts from mechanism design. By doing this we relate normative environments to implementation theory setting the stage for studying formal properties of normative environments such as whether a set of norms implements specific normative choice function in specific equilibria. This allows, for example, to analyse whether groups of agents are willing to obey the rules specified by a normative system.