Ignoring, Forcing and Expecting Simultaneous Events in Electronic Institutions

  • Andrés García-Camino
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4870)


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    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)Google Scholar
  2. 2.
    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)Google Scholar
  3. 3.
    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)CrossRefGoogle Scholar
  4. 4.
    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)Google Scholar
  5. 5.
    Minsky, N.: Law Governed Interaction (LGI): A Distributed Coordination and Control Mechanism (An Introduction, and a Reference Manual). Technical report, Rutgers University (2005)Google Scholar
  6. 6.
    von Wright, G.H.: Norm and Action: A Logical Inquiry. Routledge and Kegan Paul, London (1963)Google Scholar
  7. 7.
    Apt, K.R.: From Logic Programming to Prolog. Prentice-Hall, Englewood Cliffs (1997)Google Scholar
  8. 8.
    Fitting, M.: First-Order Logic and Automated Theorem Proving. Springer, New York (1990)zbMATHGoogle Scholar
  9. 9.
    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)Google Scholar
  10. 10.
    Esteva, M.: Electronic Institutions: from specification to development. PhD thesis, Universitat Politecnica de Catalunya, Number 19 in IIIA Monograph Series (2003)Google Scholar
  11. 11.
    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)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Andrés García-Camino
    • 1
  1. 1.IIIA, Artificial Intelligence Research Institute CSICSpanish National Research CouncilBellaterraSpain

Personalised recommendations