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.23
URN: urn:nbn:de:0030-drops-19079
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2009/1907/
Go to the corresponding Portal |
Dastani, Mehdi ;
Grossi, Davide ;
Meyer, John-Jules ;
Tinnemeier, Nick
Normative Multi-Agent Programs and Their Logics
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:DagSemProc.09121.23,
author = {Dastani, Mehdi and Grossi, Davide and Meyer, John-Jules and Tinnemeier, Nick},
title = {{Normative Multi-Agent Programs and Their Logics}},
booktitle = {Normative Multi-Agent Systems},
pages = {1--16},
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 = {https://drops.dagstuhl.de/opus/volltexte/2009/1907},
URN = {urn:nbn:de:0030-drops-19079},
doi = {10.4230/DagSemProc.09121.23},
annote = {Keywords: Normative Multi-Agent Systems, Programming Multi-Agent Systems}
}
Keywords: |
|
Normative Multi-Agent Systems, Programming Multi-Agent Systems |
Collection: |
|
09121 - Normative Multi-Agent Systems |
Issue Date: |
|
2009 |
Date of publication: |
|
11.03.2009 |