Skip to main content

Formalising the Environment in MAS Programming: A Formal Model for Artifact-Based Environments

  • Conference paper
Programming Multi-Agent Systems (ProMAS 2009)

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

Included in the following conference series:

Abstract

Although the role of environment in designing and engineering Multi-Agent Systems (MAS) has been largely acknowledged and explored in literature, no formal model has been developed so far to rigorously define the main features of environment in the context of MAS programming, in particular to be integrated and exploited with existing agent programming languages/frameworks and related formalisations. Accordingly, in this paper we present a formalisation of a general-purpose model for environment programming, based on the notion of artifact as introduced in the A&A meta-model and implemented by the CArtAgO framework. Although based on the A&A meta-model, we argue that the model can be useful to understand and analyse aspects that are important for environment programming in general.

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

Access this chapter

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. Agre, P., Horswill, I.: Lifeworld analysis. Journal of Artificial Intelligence Reserach 6, 111–145 (1997)

    Google Scholar 

  2. Bordini, R., Hübner, J., Wooldridge, M.: Programming Multi-Agent Systems in AgentSpeak Using Jason. John Wiley & Sons, Ltd., Chichester (2007)

    Book  MATH  Google Scholar 

  3. Bromuri, S., Stathis, K.: Situating Cognitive Agents in GOLEM. In: Weyns, D., Brueckner, S.A., Demazeau, Y. (eds.) EEMMAS 2007. LNCS (LNAI), vol. 5049, pp. 115–134. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  4. Ferber, J., Müller, J.-P.: Influences and reaction: a model of situated multi-agent systems. In: Proc. of the 2nd Int. Conf. on Multi-Agent Systems (ICMAS 1996). AAAI, Menlo Park (1996)

    Google Scholar 

  5. Omicini, A., Ricci, A., Viroli, M.: Artifacts in the A&A meta-model for multi-agent systems. Autonomous Agents and Multi-Agent Systems 17(3) (December 2008)

    Google Scholar 

  6. Ricci, A., Piunti, M., Viroli, M., Omicini, A.: Environment programming in CArtAgo. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah-Seghrouchni, A. (eds.) Multi-Agent Programming: Languages, Platforms and Applications, vol. 2. Springer, Heidelberg (2009)

    Google Scholar 

  7. Ricci, A., Viroli, M., Omicini, A.: The A&A programming model and technology for developing agent environments in MAS. In: Dastani, M.M., El Fallah Seghrouchni, A., Ricci, A., Winikoff, M. (eds.) ProMAS 2007. LNCS (LNAI), vol. 4908, pp. 91–109. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  8. Ricci, A., Viroli, M., Omicini, A.: CArtAgO: A framework for prototyping artifact-based environments in MAS. In: Weyns, D., Van Dyke Parunak, H., Michel, F. (eds.) E4MAS 2006. LNCS (LNAI), vol. 4389, pp. 67–86. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  9. Stratulat, T., Ferber, J., Tranier, J.: MASQ: towards an integral approach to interaction. In: Sierra, C., Castelfranchi, C., Decker, K.S., Sichman, J.S. (eds.) AAMAS (2), pp. 813–820, IFAAMAS (2009)

    Google Scholar 

  10. Weyns, D., Holvoet, T.: Formal model for situated multiagent systems. Fundamenta Informaticae 63(2–3), 125–158 (2004)

    MATH  MathSciNet  Google Scholar 

  11. Weyns, D., Holvoet, T.: A reference architecture for situated multiagent systems. In: Weyns, D., Van Dyke Parunak, H., Michel, F. (eds.) E4MAS 2006. LNCS (LNAI), vol. 4389, pp. 1–40. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  12. Weyns, D., Omicini, A., Odell, J.J.: Environment as a first-class abstraction in multi-agent systems. Autonomous Agents and Multi-Agent Systems 14(1), 5–30 (2007); Special Issue on Environments for Multi-agent Systems

    Article  Google Scholar 

  13. Weyns, D., Parunak, H.V.D. (eds.): Journal of Autonomous Agents and Multi-Agent Systems. Special Issue: Environment for Multi-Agent Systems, vol. 14(1). Springer, Netherlands (2007)

    Google Scholar 

  14. Weyns, D., Steegmans, E., Holvoet, T.: Towards active perception in situated multi-agent systems. Applied Artificial Intelligence 18(9-10), 867–883 (2004)

    Article  Google Scholar 

  15. Wooldridge, M.: An Introduction to Multi-Agent Systems. John Wiley & Sons, Ltd., Chichester (2002)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ricci, A., Viroli, M., Piunti, M. (2010). Formalising the Environment in MAS Programming: A Formal Model for Artifact-Based Environments. In: Braubach, L., Briot, JP., Thangarajah, J. (eds) Programming Multi-Agent Systems. ProMAS 2009. Lecture Notes in Computer Science(), vol 5919. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14843-9_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-14843-9_9

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-14842-2

  • Online ISBN: 978-3-642-14843-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics