PP-2009-27: Grossi, David and Gabbay, Dov and der Torre, Leendert van (2009) The Norm Implementation Problem in Normative Multi-Agent Systems. [Report]
Text (Abstract)
PP-2009-27.abstract.txt Download (1kB) |
|
Preview |
Text (Full Text (Jun 2009 version))
PP-2009-27.text-Jun-2009.pdf Download (344kB) | Preview |
Preview |
Text (Full Text (Nov 2009 version))
PP-2009-27.text-Nov-2009.pdf Download (381kB) | Preview |
Abstract
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.
Item Type: | Report |
---|---|
Report Nr: | PP-2009-27 |
Series Name: | Prepublication (PP) Series |
Year: | 2009 |
Uncontrolled Keywords: | norm implementation; extensive form games; modal logic |
Subjects: | Logic |
Depositing User: | dgrossi1 |
Date Deposited: | 12 Oct 2016 14:37 |
Last Modified: | 12 Oct 2016 14:37 |
URI: | https://eprints.illc.uva.nl/id/eprint/357 |
Actions (login required)
View Item |