PP-2009-27: The Norm Implementation Problem in Normative Multi-Agent Systems

PP-2009-27: Grossi, David and Gabbay, Dov and der Torre, Leendert van (2009) The Norm Implementation Problem in Normative Multi-Agent Systems. [Report]

[thumbnail of Abstract] Text (Abstract)
PP-2009-27.abstract.txt

Download (1kB)
[thumbnail of Full Text (Jun 2009 version)]
Preview
Text (Full Text (Jun 2009 version))
PP-2009-27.text-Jun-2009.pdf

Download (344kB) | Preview
[thumbnail of Full Text (Nov 2009 version)]
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 View Item