This is a position paper reporting the motivations, the starting point and the guidelines that characterize the MERCURIO project proposal, submitted to MIUR PRIN 20096. The aim is to develop formal models of interactions and of the related support infrastructures, that overcome the limits of the current approaches by explicitly representing not only the agents but also the computational environment in terms of rules, conventions, resources, tools, and services that are functional to the coordination and cooperation of the agents. The models will enable the verification of interaction properties of MAS from the global point of view of the system as well as from the point of view of the single agents, due to the introduction of a novel social semantic of interaction based on commitments and on an explicit account of the regulative rules.

MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems

BALDONI, Matteo;BAROGLIO, Cristina;MARENGO, ELISA;PADOVANI, Luca;PATTI, Viviana;
2010-01-01

Abstract

This is a position paper reporting the motivations, the starting point and the guidelines that characterize the MERCURIO project proposal, submitted to MIUR PRIN 20096. The aim is to develop formal models of interactions and of the related support infrastructures, that overcome the limits of the current approaches by explicitly representing not only the agents but also the computational environment in terms of rules, conventions, resources, tools, and services that are functional to the coordination and cooperation of the agents. The models will enable the verification of interaction properties of MAS from the global point of view of the system as well as from the point of view of the single agents, due to the introduction of a novel social semantic of interaction based on commitments and on an explicit account of the regulative rules.
2010
MALLOW 2010, The Multi-Agent Logics, Languages, and Organisations Federated Workshops 2010
Lyon, France
August 30 - September 2, 2010
MALLOW 2010, The Multi-Agent Logics, Languages, and Organisations Federated Workshops 2010, 11th Int. Workshop COIN
CEUR Workshop Proceedings
627
134
146
http://CEUR-WS.org/Vol-627/
M. Baldoni; C. Baroglio; F. Bergenti; A. Boccalatte; E. Marengo; M. Martelli; V. Mascardi; L. Padovani; V. Patti; A. Ricci; G. Rossi; A. Santi...espandi
File in questo prodotto:
Non ci sono file associati a questo prodotto.

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/2318/78004
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 5
  • ???jsp.display-item.citation.isi??? ND
social impact