| Authors |
-
M. Dastani
-
D. Grossi
-
J.-J.C. Meyer
-
N. Tinnemeier
|
| Publication date |
2009
|
| Journal |
Dagstuhl Seminar Proceedings
|
| Event |
Normative Multi-Agent Systems (NorMAS-09), Dagstuhl, Germany
|
| Volume | Issue number |
09121
|
| Number of pages |
16
|
| Organisations |
-
Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
|
| 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.
|
| Document type |
Article
|
| Note |
Proceedings title: Normative Multi-Agent Systems
Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Place of publication: Wadern
Editors: G. Boella, P. Noriega, G. Pigozzi, H. Verhagen
|
| Language |
English
|
| Published at |
http://drops.dagstuhl.de/opus/volltexte/2009/1907/
|
|
Permalink to this page
|