Skip to main content
SpringerLink
Log in

Bringing Constitutive Dynamics to Situated Artificial Institutions

  • Conference paper
  • First Online:
Progress in Artificial Intelligence (EPIA 2015)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 9273))

Included in the following conference series:

Abstract

The Situated Artificial Institution (SAI) model, as proposed in the literature, conceives the regulation of Multi-Agent Systems as based on a constitutive state that is consequence of the institutional interpretation of facts issued by the environment. The different nature of these facts (e.g. past sequence of events, states holding) implies various dynamic behaviours that need to be considered to properly define the life cycle of the constitutive state. This paper aims to bring such a dynamic to SAI. It defines a formal apparatus (i) for the institutional interpretation of environmental facts based on constitutive rules and (ii) for the management of the resulting constitutive state.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Aldewereld, H., Álvarez Napagao, S., Dignum, F., Vázquez-Salceda, J.: Making norms concrete. In: van der Hoek, W., Kaminka, G.A., Lespérance, Y., Luck, M., Sen, S. (eds) AAMAS 2010, pp. 807–814 (2010)

    Google Scholar 

  2. de Brito, M., Hübner, J.F., Boissier, O.: A conceptual model for situated artificial institutions. In: Bulling, N., van der Torre, L., Villata, S., Jamroga, W., Vasconcelos, W. (eds.) CLIMA XV 2014. LNCS (LNAI), vol. 8624, pp. 35–51. Springer, Heidelberg (2014)

    Google Scholar 

  3. De Brito, M., Thevin, L., Garbay, C., Boissier, O., Hübner, J.F.: Situated artificial institution to support advanced regulation in the field of crisis management. In: Demazeau, Y., Decker, K.S., Bajo Pérez, J., De la Prieta, F. (eds.) PAAMS 2015. LNCS (LNAI), vol. 9086, pp. 66–79. Springer, Heidelberg (2015)

    Chapter  Google Scholar 

  4. Searle, J.: Making the Social World. The Structure of Human Civilization. Oxford University Press (2009)

    Google Scholar 

  5. Brachman, R., Levesque, H.: Knowledge Representation and Reasoning. Morgan Kaufmann Publishers Inc., San Francisco (2004)

    Google Scholar 

  6. Vos, M.D., Balke, T., Satoh, K.: Combining event-and state-based norms. In: AAMAS 2013, pp. 1157–1158 (2013)

    Google Scholar 

  7. Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems. Springer-Verlag New York Inc., Secaucus (2006)

    Google Scholar 

  8. Grossi, D., Meyer, J.-J.C., Dignum, F.P.M.: Counts-as: classification or constitution? an answer using modal logic. In: Goble, L., Meyer, J.-J.C. (eds.) DEON 2006. LNCS (LNAI), vol. 4048, pp. 115–130. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  9. de Brito, M., Hübner, J.F., Bordini, R.H.: Programming institutional facts in multi-agent systems. In: Aldewereld, H., Sichman, J.S. (eds.) COIN 2012. LNCS (LNAI), vol. 7756, pp. 158–173. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  10. Piunti, M., Boissier, O., Hübner, J.F., Ricci, A.: Embodied organizations: a unifying perspective in programming agents, organizations and environments. In: MALLOW 2010. CEUR, vol. 627 (2010)

    Google Scholar 

  11. Cliffe, O., De Vos, M., Padget, J.: Answer set programming for representing and reasoning about virtual institutions. In: Inoue, K., Satoh, K., Toni, F. (eds.) CLIMA 2006. LNCS (LNAI), vol. 4371, pp. 60–79. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  12. Dastani, M., Grossi, D., Meyer, J.-J.C., Tinnemeier, N.: Normative multi-agent programs and their logics. In: Meyer, J.-J.C., Broersen, J. (eds.) KRAMAS 2008. LNCS (LNAI), vol. 5605, pp. 16–31. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  13. Campos, J., López-Sánchez, M., Rodríguez-Aguilar, J.A., Esteva, M.: Formalising situatedness and adaptation in electronic institutions. In: Hübner, J.F., Matson, E., Boissier, O., Dignum, V. (eds.) COIN 2008. LNCS (LNAI), vol. 5428, pp. 126–139. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  14. Jones, A., Sergot, M.: A formal characterisation of institutionalised power. Logic Journal of IGPL 4(3), 427–443 (1996)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Federal University of Santa Catarina, Florianópolis, SC, Brazil

    Maiquel de Brito & Jomi F. Hübner

  2. Laboratoire Hubert Curien UMR CNRS 5516, Institut Henri Fayol, MINES Saint-Etienne, Saint-Etienne, France

    Olivier Boissier

Authors
  1. Maiquel de Brito
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jomi F. Hübner
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Olivier Boissier
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Maiquel de Brito .

Editor information

Editors and Affiliations

  1. ISEC - Coimbra Institute of Engineering, Polytechnic Institute of Coimbra, Coimbra, Portugal

    Francisco Pereira

  2. CIUSC, Department of Informatics Engineering, University of Coimbra, Coimbra, Portugal

    Penousal Machado

  3. CIUSC, Department of Informatics Engineering, University of Coimbra, Coimbra, Portugal

    Ernesto Costa

  4. CIUSC, Department of Informatics Engineering, University of Coimbra, Coimbra, Portugal

    Amílcar Cardoso

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

de Brito, M., Hübner, J.F., Boissier, O. (2015). Bringing Constitutive Dynamics to Situated Artificial Institutions. In: Pereira, F., Machado, P., Costa, E., Cardoso, A. (eds) Progress in Artificial Intelligence. EPIA 2015. Lecture Notes in Computer Science(), vol 9273. Springer, Cham. https://doi.org/10.1007/978-3-319-23485-4_63

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-23485-4_63

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-23484-7

  • Online ISBN: 978-3-319-23485-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation