On social laws for artificial agent societies: off-line design
Artificial Intelligence - Special volume on computational research on interaction and agency, part 2
On the characterization of law and computer systems: the normative systems perspective
Deontic logic in computer science
MOISE+: towards a structural, functional, and deontic model for MAS organization
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
Alternating-time temporal logic
Journal of the ACM (JACM)
AMELI: An Agent-Based Middleware for Electronic Institutions
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Normative Multi-agent Programs and Their Logics
Knowledge Representation for Agents and Multi-Agent Systems
On the synthesis of useful social laws for artificial agent societies
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
| Hi-index | 0.00 |
The environment is an essential component of multi-agent systems, which is often used to coordinate the behaviour of individual agents. Recently many programming languages have been proposed to facilitate the implementation of such environments. This extended abstract is motivated by the emerging programming languages that are designed to implement environments in terms of normative concepts such as norms and sanctions. We propose a formal analysis of normative environment programs from a mechanism design perspective. By doing this we aim at relating normative environment programs to mechanism design, setting the stage for studying formal properties of these programs such as whether a set of norms implements a specific social choice function in a specific equilibria.