A rule-based approach to norm-oriented programming of electronic institutions

A. García-Camino, J. A. Rodríguez-Aguilar, C. Sierra, W. Vasconcelos
2006 ACM SIGecom Exchanges  
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
more » ... tion. 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.
doi:10.1145/1124566.1124571 fatcat:52gkqk6zz5h6ddoig3clor7qju