Special Session LIRa Seminar on Messages, Information and Norms in Utrecht

Thursday 14 April we will have a special LIRa session on Messages, Information and Norms in Utrecht.

The session will start at 15:15 hrs, and will take place in  Buys Ballot Laboratorium, Room 023, Utrecht (a map of the location and public transport information can be found here).

 The special session was co-organized by Paolo Turrini and will have the following program:

15:15 – 15:55   Jan van Eijck
    (Amsterdam & Utrecht)
    Reflections on Message Passing

(slides | handout on the Gibbard/Satterthwaite Theorem)

A message is an item with a sender, a body of information, and a set of recipients, where the body of information can quote other messages. We will present a system for message passing (syntax plus semantics), discuss its logic, sketch some applications, and generate a list of open questions.  Background assumptions are that message senders are honest, and that the network is reliable. (joint work with Floor Sietsma)

15:55 – 16:05   Questions and Discussion
16:05 – 16:15   Coffee Break

16:15 – 16:55   Thomas Ågotnes
    Scientia Potentia Est

In epistemic logic, multi-agent Kripke structures are used to model the distribution of information in a system. In this talk, I present an approach to quantifying how the information is distributed among the different agents, or how important each agent is, with respect to some fact represented as a goal formula. It is typically the case that the goal formula is distributed knowledge in the system, but that no individual agent alone knows it. It might be that several different groups of agents can get to know the goal formula together by combining their individual knowledge. I will argue that voting games and power indices such as the Banzhaf index, developed in game theory and voting theory, are useful for analysing such scenarios. These information-based power indices can be expressed in standard epistemic logic which allows, e.g., standard tools to be used to quantitatively analyse the distribution of information in a given Kripke structure. (joint work with Wiebe van der Hoek and Michael Wooldridge)

16:55 – 17:05   Questions and Discussion
17:05 – 17:15   Coffee break

17:15 – 17:55   Mehdi Dastani
    Programming Normative Mechanisms
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 paper 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 from a mechanism design perspective. By doing this we relate normative environment programs to mechanism design, setting the stage for studying formal properties of normative environment programs such as whether a set of norms implements a specific choice function in a specific equilibria.
17:55 – 18:05   Questions and Discussion
18:05 – 18:15   General Discussion