Norm-Oriented Programming of Electronic Institutions (Extended Abstract)
Publication Type:
Conference PaperSource:
In Fourth European Workshop on Multi-Agent Systems (EUMAS'06), Lisbon, Portugal (2006)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.
Projects:
