TY - JOUR
T1 - Communicating open systems
AU - d'Inverno, Mark
AU - Luck, Michael
AU - Noriega, Pablo
AU - Rodriguez-Aguilar, Juan A.
AU - Sierra, Carles
N1 - Funding information:
The IIIA researchers have been supported by the Agreement Technologies CONSOLIDER project under contract CSD2007-0022, EVE (TIN2009-14702-C02-01) and the Generalitat of Catalunya grant 2009-SGR-1434. The first author wishes to acknowledge the support by grant SAB2010051 under the Subprogram of mobility stays of professors and researchers in Spanish centers (Ministry of Education) which allowed him to take a sabbatical at IIIA.
Publisher copyright:
© 2012 Elsevier B.V. Published by Elsevier B.V.
PY - 2012/7
Y1 - 2012/7
N2 - Just as conventional institutions are organisational structures for coordinating the activities of multiple interacting individuals, electronic institutions provide a computational analogue for coordinating the activities of multiple interacting software agents. In this paper, we argue that open multi-agent systems can be effectively designed and implemented as electronic institutions, for which we provide a comprehensive computational model. More specifically, the paper provides an operational semantics for electronic institutions, specifying the essential data structures, the state representation and the key operations necessary to implement them. We specify the agent workflow structure that is the core component of such electronic institutions and particular instantiations of knowledge representation languages that support the institutional model. In so doing, we provide the first formal account of the electronic institution concept in a rigorous and unambiguous way.
AB - Just as conventional institutions are organisational structures for coordinating the activities of multiple interacting individuals, electronic institutions provide a computational analogue for coordinating the activities of multiple interacting software agents. In this paper, we argue that open multi-agent systems can be effectively designed and implemented as electronic institutions, for which we provide a comprehensive computational model. More specifically, the paper provides an operational semantics for electronic institutions, specifying the essential data structures, the state representation and the key operations necessary to implement them. We specify the agent workflow structure that is the core component of such electronic institutions and particular instantiations of knowledge representation languages that support the institutional model. In so doing, we provide the first formal account of the electronic institution concept in a rigorous and unambiguous way.
KW - Agent communication
KW - Electronic institutions
KW - Formal languages
KW - Open systems
UR - https://www.scopus.com/pages/publications/84860706281
U2 - 10.1016/j.artint.2012.03.004
DO - 10.1016/j.artint.2012.03.004
M3 - Journal article
AN - SCOPUS:84860706281
SN - 0004-3702
VL - 186
SP - 38
EP - 94
JO - Artificial Intelligence
JF - Artificial Intelligence
ER -
