TY - JOUR
T1 - Norm-Oriented Programming of Electronic Institutions
T2 - A Rule-Based Approach
AU - García-Camino, Andrés
AU - Rodríguez-Aguilar, Juan-Antonio
AU - Sierra, Carles
AU - Vasconcelos, Wamberto W M P D
PY - 2007
Y1 - 2007
N2 - 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.
AB - 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.
U2 - 10.1007/978-3-540-74459-7_12
DO - 10.1007/978-3-540-74459-7_12
M3 - Article
VL - 4386
SP - 177
EP - 193
JO - Lecture Notes in Computer Science
JF - Lecture Notes in Computer Science
SN - 0302-9743
ER -