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.08361.9
URN: urn:nbn:de:0030-drops-16374
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2008/1637/
|
Go to the corresponding Portal |
Dastani, Mehdi ;
Grossi, Davide ;
Meyer, John-Jules Ch. ;
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.08361.9,
author = {Dastani, Mehdi and Grossi, Davide and Meyer, John-Jules Ch. and Tinnemeier, Nick},
title = {{Normative Multi-Agent Programs and Their Logics}},
booktitle = {Programming Multi-Agent Systems},
pages = {1--16},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2008},
volume = {8361},
editor = {Rafael Bordini and Mehdi Dastani and J\"{u}rgen Dix and Amal El Fallah-Seghrouchni},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2008/1637},
URN = {urn:nbn:de:0030-drops-16374},
doi = {10.4230/DagSemProc.08361.9},
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 |
