Formalising the environment in MAS programming: a formal model for artifact-based environments

  • Authors:
  • Alessandro Ricci;Mirko Viroli;Michele Piunti

  • Affiliations:
  • DEIS, Università di Bologna, Cesena, Italy;DEIS, Università di Bologna, Cesena, Italy;DEIS, Università di Bologna, Cesena, Italy

  • Venue:
  • ProMAS'09 Proceedings of the 7th international conference on Programming multi-agent systems
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

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 ofMAS 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.