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


Alessandro Ricci, Mirko Viroli, Michele Piunti

Even if in literature the role of environment in designing and engineering Multi-Agent Systems (MAS) has been largely acknowledged and explored, no abstract formal model have been developed so far to rigorously define the main features of environment programming in the context of MAS programming, in particular to be integrated and exploited with existing agent programming languages/platforms 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 metamodel and implemented by the CArtAgO framework. Even if based on the A&A meta-model, we argue that the model can be useful to understand and analyse aspects that are important - more generally - for any general-purpose environment model used in MAS programming.

(keywords) Agents, Artifacts, CArtAgO 

Programming Multi-Agent Systems, LNAI 5919, pp. 133–150,  2010.
Lars Braubach, Jean-Pierre Briot, John Thangarajah (a cura di), Springer.
7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers

@incollection{FormalAAPROMAS09,
Author = {Ricci, Alessandro and Viroli, Mirko and Piunti, Michele},
Booktitle = {Programming Multi-Agent Systems},
Doi = {10.1007/978-3-642-14843-9_9},
Editor = {Braubach, Lars and Briot, Jean-Pierre and Thangarajah, John},
Isbn = {978-3-540-79042-6},
Issn = {0302-9743},
Issn-Online = {1611-3349},
Note = {7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers},
Pages = {133--150},
Publisher = {Springer},
Series = {LNAI},
Title = {Formalising the Environment in {MAS} Programming: A Formal Model for Artifact-Based Environments },
Url = {http://www.springerlink.com/content/112756w186286622},
Volume = 5919,
Year = 2010}

Pubblicazione

— autori/autrici

Alessandro Ricci, Mirko Viroli, Michele Piunti

— a cura di

Lars Braubach, Jean-Pierre Briot, John Thangarajah

— stato

pubblicato

— tipo

articolo in atti

Sede di pubblicazione

— volume

Programming Multi-Agent Systems

— collana

LNAI 5919

— data di pubblicazione

2010

— pagine

133–150

— collana

LNAI 5919

— data di pubblicazione

2010

URL & ID

pagina originale

— DOI

10.1007/978-3-642-14843-9_9

— print ISSN

0302-9743

— online ISSN

1611-3349

— print ISBN

978-3-540-79042-6

BibTeX

— BibTeX ID
FormalAAPROMAS09
— BibTeX category
incollection

Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY