DagSemProc.09121.23.pdf
- Filesize: 242 kB
- 16 pages
Document
Normative Multi-Agent Programs and Their Logics
Authors
-
Part of:
Volume:
Dagstuhl Seminar Proceedings, Volume 9121
Series: Dagstuhl Seminar Proceedings (DagSemProc) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2009-03-11
Cite As Get BibTex
Mehdi Dastani, Davide Grossi, John-Jules Meyer, and Nick Tinnemeier. Normative Multi-Agent Programs and Their Logics. In Normative Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 9121, pp. 1-16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
https://doi.org/10.4230/DagSemProc.09121.23
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.
Subject Classification
Keywords
- Normative Multi-Agent Systems
- Programming Multi-Agent Systems
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads