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.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Agre, P., Horswill, I.: Lifeworld analysis. Journal of Artificial Intelligence Reserach 6, 111–145 (1997)
Bordini, R., Hübner, J., Wooldridge, M.: Programming Multi-Agent Systems in AgentSpeak Using Jason. John Wiley & Sons, Ltd., Chichester (2007)
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)
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)
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)
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)
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)
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)
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)
Weyns, D., Holvoet, T.: Formal model for situated multiagent systems. Fundamenta Informaticae 63(2–3), 125–158 (2004)
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)
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
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)
Weyns, D., Steegmans, E., Holvoet, T.: Towards active perception in situated multi-agent systems. Applied Artificial Intelligence 18(9-10), 867–883 (2004)
Wooldridge, M.: An Introduction to Multi-Agent Systems. John Wiley & Sons, Ltd., Chichester (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)