When quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-16374
Go to the corresponding Portal

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

Normative Multi-Agent Programs and Their Logics

08361.DastaniMehdi.Paper.1637.pdf (0.2 MB)


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

  author =	{Mehdi Dastani and Davide Grossi and John-Jules Ch. Meyer and Nick Tinnemeier},
  title =	{Normative Multi-Agent Programs and Their Logics},
  booktitle =	{Programming Multi-Agent Systems },
  year =	{2008},
  editor =	{Rafael Bordini and Mehdi Dastani and J{\"u}rgen Dix and Amal El Fallah-Seghrouchni },
  number =	{08361},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{},
  annote =	{Keywords: Multi-agent systems, norms, agent-oriented programming}

Keywords: Multi-agent systems, norms, agent-oriented programming
Collection: 08361 - Programming Multi-Agent Systems
Issue Date: 2008
Date of publication: 04.11.2008

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