License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.09121.17
URN: urn:nbn:de:0030-drops-19090
Go to the corresponding Portal

Governatori, Guido ; Rotolo, Antonino

How Do Agents Comply with Norms?

09121.GovernatoriGuido.Paper.1909.pdf (0.2 MB)


The import of the notion of institution in the design of MASs
requires to develop formal and efficient methods for modeling the
interaction between agents' behaviour and normative systems. This
paper discusses how to check whether agents' behaviour is compliant
with the rules regulating them. The key point of our approach is
that compliance is a relationship between two sets of
specifications: the specifications for executing a process and the
specifications regulating it. We propose a logic-based formalism for
describing both the semantics of normative specifications and the
semantics of compliance checking procedures.

BibTeX - Entry

  author =	{Governatori, Guido and Rotolo, Antonino},
  title =	{{How Do Agents Comply with Norms?}},
  booktitle =	{Normative Multi-Agent Systems},
  pages =	{1--19},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2009},
  volume =	{9121},
  editor =	{Guido Boella and Pablo Noriega and Gabriella Pigozzi and Harko Verhagen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{},
  URN =		{urn:nbn:de:0030-drops-19090},
  doi =		{10.4230/DagSemProc.09121.17},
  annote =	{Keywords: Compliance, agents, violations, norms}

Keywords: Compliance, agents, violations, norms
Collection: 09121 - Normative Multi-Agent Systems
Issue Date: 2009
Date of publication: 11.03.2009

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI