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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
García-Camino, A., Rodríguez-Aguilar, J.A., Sierra, C., Vasconcelos, W.: Norm Oriented Programming of Electronic Institutions. In: Proceedings of 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006)(2006)
Artikis, A., Kamara, L., Pitt, J., Sergot, M.: A Protocol for Resource Sharing in Norm-Governed Ad Hoc Networks. In: Leite, J.A., Omicini, A., Torroni, P., Yolum, P. (eds.) DALT 2004. LNCS (LNAI), vol. 3476, Springer, Heidelberg (2005)
Sergot, M., Craven, R.: The deontic component of \(n\mathcal{C}+\). In: Goble, L., Meyer, J.-J.C. (eds.) DEON 2006. LNCS (LNAI), vol. 4048, pp. 222–237. Springer, Heidelberg (2006)
Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Sartor, G., Torroni, P.: Mapping deontic operators to abductive expectations. In: Proceedings of 1st International Symposium on Normative Multiagent Systems (NorMAS 2005), AISB 2005, Hertfordshire, Hatfield, UK (2005)
Minsky, N.: Law Governed Interaction (LGI): A Distributed Coordination and Control Mechanism (An Introduction, and a Reference Manual). Technical report, Rutgers University (2005)
von Wright, G.H.: Norm and Action: A Logical Inquiry. Routledge and Kegan Paul, London (1963)
Apt, K.R.: From Logic Programming to Prolog. Prentice-Hall, Englewood Cliffs (1997)
Fitting, M.: First-Order Logic and Automated Theorem Proving. Springer, New York (1990)
Gelfond, M., Lifschitz, V., Rabinov, A.: What are the limitations of the Situation Calculus? In: Essays in Honor of Woody Bledsoe, pp. 167–179 (1991)
Esteva, M.: Electronic Institutions: from specification to development. PhD thesis, Universitat Politecnica de Catalunya, Number 19 in IIIA Monograph Series (2003)
Gaertner, D., García-Camino, A., Noriega, P., Rodríguez-Aguilar, J.A., Vasconcelos, W.: Distributed Norm Management in Regulated Multi-agent Systems. In: Proceedings of 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007) (2007)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
García-Camino, A. (2008). Ignoring, Forcing and Expecting Simultaneous Events in Electronic Institutions. In: Sichman, J.S., Padget, J., Ossowski, S., Noriega, P. (eds) Coordination, Organizations, Institutions, and Norms in Agent Systems III. COIN 2007. Lecture Notes in Computer Science(), vol 4870. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-79003-7_2
Download citation
DOI: https://doi.org/10.1007/978-3-540-79003-7_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-79002-0
Online ISBN: 978-3-540-79003-7
eBook Packages: Computer ScienceComputer Science (R0)