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

Dastani, Mehdi ; Grossi, Davide ; Meyer, John-Jules ; Tinnemeier, Nick

Normative Multi-Agent Programs and Their Logics

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


Abstract

Multi-agent systems are viewed as consisting of individual agents whose behaviors are regulated by an organization artefact. This paper presents a simplified version of a programming language that is designed to implement norm-based artefacts. Such artefacts are specified in terms of norms being enforced by monitoring, regimenting and sanctioning mechanisms. The syntax and operational semantics of the programming language are introduced and discussed. A logic is presented that can be used to specify and verify properties of programs developed in this language.

BibTeX - Entry

@InProceedings{dastani_et_al:DSP:2009:1907,
  author =	{Mehdi Dastani and Davide Grossi and John-Jules Meyer and Nick Tinnemeier},
  title =	{Normative Multi-Agent Programs and Their Logics},
  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/1907},
  annote =	{Keywords: Normative Multi-Agent Systems, Programming Multi-Agent Systems}
}

Keywords: Normative Multi-Agent Systems, Programming Multi-Agent Systems
Seminar: 09121 - Normative Multi-Agent Systems
Issue date: 2009
Date of publication: 11.03.2009


DROPS-Home | Fulltext Search | Imprint Published by LZI