License
when quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-19090
URL: http://drops.dagstuhl.de/opus/volltexte/2009/1909/

Governatori, Guido ; Rotolo, Antonino

How Do Agents Comply with Norms?

pdf-format:
Dokument 1.pdf (214 KB)


Abstract

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

@InProceedings{governatori_et_al:DSP:2009:1909,
  author =	{Guido Governatori and Antonino Rotolo},
  title =	{How Do Agents Comply with Norms?},
  booktitle =	{Normative Multi-Agent Systems },
  year =	{2009},
  editor =	{Guido Boella and Pablo Noriega and Gabriella Pigozzi and Harko Verhagen},
  number =	{09121},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2009/1909},
  annote =	{Keywords: Compliance, agents, violations, norms}
}

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


DROPS-Home | Fulltext Search | Imprint Published by LZI