Open Access
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems
Matteo Baldoni,Cristina Baroglio,Federico Bergenti,Antonio Boccalatte,Elisa Marengo,Maurizio Martelli,Viviana Mascardi,Luca Padovani,Viviana Patti,Alessandro Ricci,Gianfranco Rossi,Andrea Santi +11 more
- 01 Jan 2010
- Vol. 627, pp 134-146
TL;DR: 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.
read more
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 2009. 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.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Constitutive and regulative specifications of commitment protocols: A decoupled approach
TL;DR: In this paper, the authors propose a commitment-based interaction protocol, which is characterized by decoupling of the constitutive and the regulative specifications and explicitly foresees a representation of the latter based on constraints among commitments.
Elenco delle pubblicazioni
Elenco Delle,Pubblicazioni Di,Giuliano Soria,esplorazioni del Nuovo,Francisco de Vitoria,Julián del Casal,Alfonso Cortés,Ricardo Güiraldes,Horacio Quiroga,Jorge Luis Borges,Adolfo Bioy,Manuel Peyrou,Gustavo Adolfo Bécquer,Ignacio Sánchez,Adolfo Bioy Casares +14 more
- 01 Jan 2013
TL;DR: Soria as mentioned in this paper dedicato alla letteratura spagnola con approfondimenti sul teatro spagnolo del ‘Siglo de Oro’, (Calderon de la
•Proceedings Article
Constitutive and regulative specifications of commitment protocols: a decoupled approach
Matteo Baldoni,Cristina Baroglio,Elisa Marengo,Viviana Patti +3 more
- 25 Jul 2015
TL;DR: In this paper, the authors propose a definition of commitment-based interaction protocols, characterized by the decoupling of the constitutive and the regulative specifications, where the latter is explicitly represented based on constraints among commitments.
44
Developing a knowledge management multi-agent system using JaCaMo
Carlos M. Toledo,Rafael H. Bordini,Omar Chiotti,María Rosa Galli +3 more
- 03 May 2011
TL;DR: This paper presents a concrete agent-based architecture to proactively supply knowledge to knowledge-intensive workflows which has been designed using JaCaMo, the first fully operational programming platform that integrates three levels of multi-agent abstractions.
16
The Interaction as an Integration Component for the JaCaMo Platform
Maicon Rafael Zatelli,Jomi Fred Hübner +1 more
- 05 May 2014
TL;DR: This paper presents a conceptual model for the interaction component, a programming language to specify the interaction, and how the approach was integrated in an MAS platform.
11
References
•Book
Ontology Matching
Jérôme Euzenat,Pavel Shvaiko +1 more
- 05 Jun 2007
TL;DR: The second edition of Ontology Matching has been thoroughly revised and updated to reflect the most recent advances in this quickly developing area, which resulted in more than 150 pages of new content.
2.6K
Generative communication in Linda
TL;DR: This work is particularly concerned with implementation of the dynamic global name space that the generative communication model requires, and its implications for systems programming in distributed settings generally and on integrated network computers in particular.
2.6K
Agent Oriented Programming
Yoav Shoham
- 17 Dec 1992
TL;DR: This paper describes features of the agent oriented programming framework in a little more detail, and summarizes recent results and ongoing AOP-related work.
1.9K
Agent-oriented programming
TL;DR: The concept of agent-oriented programming is presented, the concept of mental state and its formal underpinning are discussed, a class of agent interpreters are defined, and a specific interpreter that has been implemented is described.
1.9K
Developing multiagent systems: The Gaia methodology
TL;DR: It is argued that a multiagent system can naturally be viewed and architected as a computational organization, and the appropriate organizational abstractions that are central to the analysis and design of such systems are identified.