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]

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

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

Download (344kB) | Preview
[img]
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