TitleNorm-oriented programming of electronic institutions: A rule-based approach
Publication TypeConference Paper
Year of Publication2007
AuthorsGarcía-Camino A, Rodríguez-Aguilar JA, Sierra C, Vasconcelos WW
Conference NameLecture Notes in Computer Science
Volume4386
PublisherSpringer-Verlag
Pagination177-193
Abstract

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.