News

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.

Koen Hindriks in Clausthal

Koen Hindriks from TU Delft pays us a visit. He will work with Nils on the complexity of BDI Logics. On top of that, he will give a talk on "Patterns in Agent Programming".

Nils in Dagstuhl

Today Nils is in Dagstuhl to give a talk about his PhD thesis, which is nominated for the GI dissertation price (german association of computer science).

IfI-Kolloquium am 28.06.2011, 13 Uhr s.t. in Raum 210

Aktuelle Pressemeldungen zum Brief an den MP des Landes Niedersachsen

zur unbefriedigenden Situation des Schulfachs Informatik