The norm implementation problem in normative multi-agent systems

Davide Grossi, Dov Gabbay, Leendert Van Der Torre

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

7 Scopus citations


The norm implementation problem consists in how to see to it that the agents in a system comply with the norms specified for that system by the system designer. It is part of the more general problem of how to synthesize or create norms for multi-agent systems, by, for example, highlighting the choice between regimentation and enforcement, or the punishment associated with a norm violation. In this paper we discuss how various ways to implement norms in a multi-agent system can be distinguished in a formal game-theoretic framework. In particular, we show how different types of norm implementation can all be uniformly specified and verified as types of transformations of extensive games. We introduce the notion of retarded preconditions to implement norms, and we illustrate the framework and the various ways to implement norms in the blocks world environment.

Original languageEnglish
Title of host publicationSpecification and Verification of Multi-agent Systems
PublisherSpringer US
Number of pages30
ISBN (Print)9781441969835
StatePublished - 2010
Externally publishedYes


Dive into the research topics of 'The norm implementation problem in normative multi-agent systems'. Together they form a unique fingerprint.

Cite this