TitleConstraint rule-based programming of norms for electronic institutions
Publication TypeMiscellaneous
Year of Publication2006
AuthorsGarcía-Camino A, Rodríguez-Aguilar JA, Sierra C, Vasconcelos WW

Norms constitute a powerful coordination mechanism among heterogeneous agents. In this paper, 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, as we illustrate with a selection of examples from the literature.