Normative Multi-agent Programs and Their Logics

Authors:
Mehdi Dastani;Davide Grossi;John-Jules Ch. Meyer;Nick Tinnemeier
Affiliations:
Universiteit Utrecht, The Netherlands;Computer Science and Communication, University of Luxembourg, Luxembourg;Universiteit Utrecht, The Netherlands;Universiteit Utrecht, The Netherlands
Venue:
Knowledge Representation for Agents and Multi-Agent Systems
Year:
2009

Citing 0
Cited 8

Programming norm change

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Normative programs and normative mechanism design

The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
Making golog norm compliant

CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Verifying normative behaviour via normative mechanism design

IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
Programming norm-aware agents

Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
A programming approach to monitoring communication in an organisational environment

Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
Developing a knowledge management multi-agent system using JaCaMo

ProMAS'11 Proceedings of the 9th international conference on Programming Multi-Agent Systems
Constitutive and regulative specifications of commitment protocols: A decoupled approach

ACM Transactions on Intelligent Systems and Technology (TIST) - Special section on agent communication, trust in multiagent systems, intelligent tutoring and coaching systems

Quantified Score

Hi-index	0.00

Visualization

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.