Normative multi-agent programs and their logics

Authors
  • M. Dastani
  • D. Grossi ORCID logo
  • 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
Back