Publications

Ignoring, Forcing and Expecting Concurrent Events in Electronic Institutions

Publication Type:

Conference Paper

Source:

Lecture Notes in Computer Science, Springer, Volume 4870, p.15--26 (2007)

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.

Projects: