TitleIgnoring, Forcing and Expecting Concurrent Events in Electronic Institutions
Publication TypeConference Paper
Year of Publication2007
AuthorsGarcía-Camino A
Conference NameLecture Notes in Computer Science
Volume4870
PublisherSpringer
Pagination15–26
Abstract

Norms constitute a powerful coordination mechanism among heterogeneous agents. We propose means to specify open environments regulated using the notions of ignoring, forcing, expecting and sanctioning events and prevention of unwanted states. These notions make explicit and clear the stance of institutions about forbidden and obligatory behaviour. Our rule-based language calculates the effects of concurrent events generated by agents given a set of norms based on the deontic notions previously mentioned. Our formalism has been conceived as basis for an implementation of Electronic Institutions.