The Norm Implementation Problem in Normative Multi-Agent Systems
David Grossi, Dov Gabbay, Leendert van der Torre

Abstract:
The norm implementation problem consists in how to see to it that the
agents in a system comply with the norms speciﬁed 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 diﬀerent types of norm implementation can all be uniformly
speciﬁed and veriﬁed 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.