|Títol||Norm - oriented Programming of Electronic Institutions|
|Publication Type||Conference Paper|
|Year of Publication||2006|
|Authors||García-Camino A, Rodríguez-Aguilar JA, Sierra C, Vasconcelos WW|
|Conference Name||Fiftth International Joint Conference on Autonomous Agents and Multi Agent Systems- AAMAS 2006|
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.
- Quant a IIIA