TitleNorm - oriented Programming of Electronic Institutions
Publication TypeConference Paper
Year of Publication2006
AuthorsGarcía-Camino A, Rodríguez-Aguilar JA, Sierra C, Vasconcelos WW
Conference NameFiftth International Joint Conference on Autonomous Agents and Multi Agent Systems- AAMAS 2006
Pagination670-672
Abstract

Norms constitute a powerful coordination mechanism among heterogeneous agents. We propose means to specify and explicitly manage the normative positions of agents (permissions, prohibitions and obligations), with which distinct deontic notions and their relationships can be captured. Our rule-based formalism includes constraints for more expressiveness and precision and allows the norm-oriented programming of electronic institutions: normative aspects are given a precise computational interpretation. Our formalism has been conceived as a machine language to which other higher-level normative languages can be mapped, allowing their execution.