In this paper we provide a formalisation of the computational and programming model behind CArtAgO, a platform/infrastructure for programming and executing artifact-based computational environments in MAS. Such environments are realised as set of workspaces where agents work together by instantiating, sharing, co-using artifacts, i.e. first-class entities of the agent world representing resources and tools that agents can exploit so as to support their individual and collective activities. Besides rigorously describing the main features of the artifact abstraction and related interaction model concerning agent use and observation of artifacts, the formalisation aims at fostering the integration of CArtAgO with existing (intelligent) agent programming languages, in particular with those with a well-defined formal model and semantics.

A Formal Model for Artifact-Based Environments in MAS Programming

RICCI, ALESSANDRO;VIROLI, MIRKO
2009

Abstract

In this paper we provide a formalisation of the computational and programming model behind CArtAgO, a platform/infrastructure for programming and executing artifact-based computational environments in MAS. Such environments are realised as set of workspaces where agents work together by instantiating, sharing, co-using artifacts, i.e. first-class entities of the agent world representing resources and tools that agents can exploit so as to support their individual and collective activities. Besides rigorously describing the main features of the artifact abstraction and related interaction model concerning agent use and observation of artifacts, the formalisation aims at fostering the integration of CArtAgO with existing (intelligent) agent programming languages, in particular with those with a well-defined formal model and semantics.
2009
proceedings of the 7th International Workshop on Programming Multi-Agent Systems (ProMAS 2009)
100
117
Ricci A.; Viroli M.
File in questo prodotto:
Eventuali allegati, non sono esposti

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/84419
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? 0
social impact