TitleNorm-Oriented Programming of Electronic Institutions (Extended Abstract)
Publication TypeConference Paper
Year of Publication2006
AuthorsGarcía-Camino A, Rodríguez-Aguilar JA, Sierra C, Vasconcelos WW
Conference NameIn Fourth European Workshop on Multi-Agent Systems (EUMAS'06), Lisbon, Portugal

Norms constitute a powerful coordination mechanism among heterogeneous agents. We propose means to specify and explicitly man- age the normative positions of agents (permissions, prohibitions and obli- gations), with which distinct deontic notions and their relationships can be captured. Our rule-based formalism includes constraints for more ex- pressiveness 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 lan- guage to which other higher-level normative languages can be mapped, allowing their execution.