Communicating open systems

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.

[1]  Javier Vázquez-Salceda,et al.  From human regulations to regulated software agents’ behavior , 2008, Artificial Intelligence and Law.

[2]  Munindar P. Singh,et al.  Nonmonotonic Commitment Machines , 2003, Workshop on Agent Communication Languages.

[3]  Michael Winikoff,et al.  Prometheus: a methodology for developing intelligent agents , 2002, AAMAS '02.

[4]  Juan Antonio Rodriguez,et al.  On the Design and Construction of Agent-mediated Electronic Institutions , 2001 .

[5]  David C. Parkes,et al.  An options-based solution to the sequential auction problem , 2009, Artif. Intell..

[6]  Marc Esteva,et al.  AMELI: an agent-based middleware for electronic institutions , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[7]  Juan A. Rodríguez-Aguilar,et al.  Engineering Autonomic Electronic Institutions , 2008, EEMMAS.

[8]  Marc Esteva,et al.  ISLANDER: an electronic institutions editor , 2002, AAMAS '02.

[9]  Natalia Criado,et al.  Norm Enforceability in Electronic Institutions? , 2010, MALLOW.

[10]  Alexander Artikis,et al.  Specifying norm-governed computational societies , 2009, TOCL.

[11]  Pablo Noriega,et al.  Normative Multi-Agent Systems , 2013, Normative Multi-Agent Systems.

[12]  Pablo Noriega,et al.  Distributed norm management in regulated multiagent systems , 2007, AAMAS '07.

[13]  Les Gasser,et al.  MACE: A Flexible Testbed for Distributed AI Research , 1987 .

[14]  Javier Vázquez-Salceda,et al.  The HarmonIA framework , 2005, Künstliche Intell..

[15]  J. Michael Spivey,et al.  The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.

[16]  Timothy W. Finin,et al.  A Proposal for a new KQML Specification , 1997 .

[17]  Adriana Giret,et al.  mWater: a Sandbox for Agreement Technologies , 2009, CCIA.

[18]  Marc Esteva,et al.  VIXEE an innovative communication infrastructure for virtual institutions , 2011, AAMAS.

[19]  Guido Boella,et al.  Five Guidelines for Normative Multiagent Systems , 2009, JURIX.

[20]  Mark Ryan,et al.  Formalisms for multi-agent systems , 1997, Knowl. Eng. Rev..

[21]  Sarvapali D. Ramchurn,et al.  Negotiating using rewards , 2006, AAMAS '06.

[22]  G Stix,et al.  The mice that warred. , 2001, Scientific American.

[23]  Michael Wooldridge,et al.  A Lifecycle for Models of Large Multi-agent Systems , 2001, AOSE.

[24]  Ami Marowka,et al.  The GRID: Blueprint for a New Computing Infrastructure , 2000, Parallel Distributed Comput. Pract..

[25]  Michael Luck,et al.  Interaction protocols in Agentis , 1998, Proceedings International Conference on Multi Agent Systems (Cat. No.98EX160).

[26]  Pablo Noriega,et al.  Electronic institutions development environment , 2008, AAMAS.

[27]  Munindar P. Singh,et al.  Specifying and applying commitment-based business patterns , 2011, AAMAS.

[28]  Michael Z. Spivey,et al.  The Z notation , 1989 .

[29]  Carl Hewitt,et al.  Offices are open systems , 1986, TOIS.

[30]  Marco Colombetti,et al.  A commitment-based approach to agent speech acts and conversations , 2000 .

[31]  Guido Governatori,et al.  Representing business contracts in RuleML , 2005, Int. J. Cooperative Inf. Syst..

[32]  Stephen Cranefield,et al.  Modelling and Monitoring Social Expectations in Multi-agent Systems , 2006, COIN@AAMAS/ECAI.

[33]  Michael Wooldridge,et al.  The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System , 2004, Autonomous Agents and Multi-Agent Systems.

[34]  Michael Luck,et al.  Creativity Through Autonomy and Interaction , 2012, Cognitive Computation.

[35]  Pablo Noriega,et al.  An agent oriented hotel information system , 2009, AAMAS.

[36]  Eugénio C. Oliveira,et al.  Institutional Reality and Norms: Specifying and Monitoring Agent Organizations , 2022 .

[37]  M. V. Dignum,et al.  A Model for Organizational Interaction: based on Agents, founded in Logic , 2000 .

[38]  Gian Luca Foresti,et al.  Ambient Intelligence: A Novel Paradigm , 2004 .

[39]  Herbert A. Simon,et al.  The Sciences of the Artificial , 1970 .

[40]  Pablo Noriega,et al.  FM96.5 A Java-based Electronic Auction House , 1997, PAAM.

[41]  Wamberto Weber Vasconcelos,et al.  Constraint rule-based programming of norms for electronic institutions , 2009, Autonomous Agents and Multi-Agent Systems.

[42]  Marc Esteva,et al.  Socially-aware lightweight coordination infrastructures , 2011 .

[43]  Marco Colombetti,et al.  Artificial institutions: a model of institutional reality for open multiagent systems , 2008, Artificial Intelligence and Law.

[44]  Andrea Omicini,et al.  Environment as a first class abstraction in multiagent systems , 2007, Autonomous Agents and Multi-Agent Systems.

[45]  Franco Zambonelli,et al.  Methodologies and software engineering for agent systems : the agent-oriented software engineering handbook , 2004 .

[46]  Nicholas R. Jennings.  On Agent-Based Software Engineering" Artificial Intelligence , 2000 .

[47]  Mihai Barbuceanu,et al.  Coordinating with obligations , 1998, AGENTS '98.

[48]  Marc Esteva,et al.  MASFIT: Multi-Agent System for Flsh Trading , 2004, ECAI.

[49]  Michael Wooldridge,et al.  Agent-based software engineering , 1997, IEE Proc. Softw. Eng..

[50]  Nicholas R. Jennings,et al.  A Roadmap of Agent Research and Development , 2004, Autonomous Agents and Multi-Agent Systems.

[51]  Michael Luck,et al.  A Formal Framework for Agency and Autonomy , 1995, ICMAS.

[52]  Olivier Boissier,et al.  A Model for the Structural, Functional, and Deontic Specification of Organizations in Multiagent Systems , 2002, SBIA.

[53]  Herbert A. Simon,et al.  The Sciences of the Artificial - 3rd Edition , 1981 .

[54]  Marina De Vos,et al.  Specifying and Reasoning About Multiple Institutions , 2006, COIN@AAMAS/ECAI.

[55]  Alexander Artikis,et al.  An executable specification of a formal argumentation protocol , 2007, Artif. Intell..

[56]  Michael Luck,et al.  Constraining autonomy through norms , 2002, AAMAS '02.

[57]  Michael Luck,et al.  Normative agent reasoning in dynamic societies , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[58]  Estefania Argente,et al.  GORMAS: An Organizational-Oriented Methodological Guideline for Open MAS , 2009, AOSE.

[59]  H. Simon.  The Sciences of the Artificial, (Third edition) , 1997 .

[60]  Marco Colombetti,et al.  Defining interaction protocols using a commitment-based agent communication language , 2003, AAMAS '03.

[61]  Ian Foster,et al.  The Grid 2 - Blueprint for a New Computing Infrastructure, Second Edition , 1998, The Grid 2, 2nd Edition.

[62]  Alan Rea,et al.  Establishing social order in 3D virtual worlds with virtual institutions , 2011 .

[63]  Munindar P. Singh,et al.  Flexible protocol specification and execution: applying event calculus planning using commitments , 2002, AAMAS '02.

[64]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[65]  Olivier Boissier,et al.  Instrumenting multi-agent organisations with organisational artifacts and agents , 2010, Autonomous Agents and Multi-Agent Systems.

[66]  Eugénio C. Oliveira,et al.  Electronic institutions for B2B: dynamic normative environments , 2008, Artificial Intelligence and Law.

[67]  Alexander Artikis.  Formalising dynamic protocols for open agent systems , 2009, ICAIL.

[68]  Michael J. Prietula,et al.  Simulating organizations: computational models of institutions and groups , 1998 .

[69]  Pablo Cayetano Noriega Blanco-Vigil.  Agent mediated auctions: the fishmarket metaphor , 1998 .

[70]  Pablo Noriega,et al.  Towards a Test-Bed for Trading Agents in Electronic Auction Markets , 1998, AI Commun..

[71]  Daniel D. Corkill,et al.  Chapter 3 – Instantiating Descriptions of Organizational Structures , 1987 .

[72]  Munindar P. Singh.  Agent Communication Languages: Rethinking the Principles , 1998, Computer.

[73]  John R. Searle,et al.  What is an institution? , 2005, Journal of Institutional Economics.

[74]  James R. Slagle,et al.  The Use of Artificially Intelligent Agents with Bounded Rationality in the Study of Economic Markets , 1996, AAAI/IAAI, Vol. 1.

[75]  Pablo Noriega,et al.  Towards a Platform for Online Mediation , 2009, LDSS@ICAIL.

[76]  Munindar P. Singh.  A Social Semantics for Agent Communication Languages , 2000, Issues in Agent Communication.

[77]  Hans Weigand,et al.  Towards an organizational model for agent societies using contracts , 2002, AAMAS '02.

[78]  Marek J. Sergot,et al.  Computer Representation of the Law , 1985, IJCAI.

[79]  E. Ostrom.  An agenda for the study of institutions , 1986 .

[80]  Andrés García Camino.  Normative regulation of open multi-agent systems , 2009 .

[81]  Jordi Sabater-Mir,et al.  CHARMS: A CHARTER MANAGEMENT SYSTEM. AUTOMATING THE INTEGRATION OF ELECTRONIC INSTITUTIONS AND HUMANS , 2012, Appl. Artif. Intell..

[82]  Jacques Ferber,et al.  A meta-model for the analysis and design of organizations in multi-agent systems , 1998, Proceedings International Conference on Multi Agent Systems (Cat. No.98EX160).

[83]  Pablo Noriega,et al.  Using Electronic Institutions to Secure Grid Environments , 2006, CIA.

[84]  Mehdi Dastani,et al.  A Programming Language for Normative Multi-Agent Systems , 2009, Handbook of Research on Multi-Agent Systems.

[85]  M. Aoki,et al.  Toward a Comparative Institutional Analysis , 2002 .

[86]  Michael Winikoff,et al.  Designing Institutional Multi-Agent Systems , 2006, AOSE.

[87]  Michael Winikoff,et al.  Enhancing Commitment Machines , 2004, DALT.

[88]  Bastin Tony Roy Savarimuthu,et al.  Normative Multi-Agent Systems , 2013 .

[89]  Brahim Chaib-draa,et al.  Conversational semantics sustained by commitments , 2006, Autonomous Agents and Multi-Agent Systems.

[90]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[91]  Nicholas R. Jennings,et al.  Using Intelligent Agents to Manage Business Processes , 1996, PAAM.

[92]  Marco Colombetti,et al.  Specifying and Enforcing Norms in Artificial Institutions: A Retrospective Review , 2011, DALT.

[93]  Jordi Sabater-Mir,et al.  HIHEREI: human interaction within hybrid environments regulated through electronic institutions , 2009, AAMAS.

[94]  Guido Boella,et al.  Introduction to the special issue on normative multiagent systems , 2008, Autonomous Agents and Multi-Agent Systems.

[95]  Henrique Lopes Cardoso.  Electronic Institutions with Normative Environments for Agent-based E-contracting , 2010 .

[96]  Nicholas R. Jennings,et al.  On agent-based software engineering , 2000, Artif. Intell..

[97]  David Stuart Robertson,et al.  Dynamic and Distributed Interaction Protocols , 2004, Adaptive Agents and Multi-Agent Systems.

[98]  Gloria Origgi,et al.  LiquidPublications and its technical and legal challenges , 2010 .

[99]  Marek J. Sergot,et al.  A Formal Characterisation of Institutionalised Power , 1996, Log. J. IGPL.

[100]  Pablo Noriega,et al.  E4MAS Through Electronic Institutions , 2006, E4MAS.

[101]  Maite López-Sánchez,et al.  Adaptation of Autonomic Electronic Institutions Through Norms and Institutional Agents , 2006, ESAW.

[102]  Frank Dignum,et al.  Ubi Lex, Ibi Poena : Designing Norm Enforcement in E-Institutions , 2006, COIN@AAMAS/ECAI.

[103]  David Stuart Robertson,et al.  A Lightweight Coordination Calculus for Agent Systems , 2004, DALT.

[104]  E. Ostrom.  Institutional Rational Choice , 2019, Theories of the Policy Process.

[105]  Marina De Vos,et al.  Answer Set Programming for Representing and Reasoning About Virtual Institutions , 2006, CLIMA.

[106]  Simon G. Thompson,et al.  Cross Organisational Workflow Co-ordinated by Software Agents , 1999, Cross-Organisational Workflow Management and Co-ordination.

[107]  Mehdi Dastani,et al.  Normative Multi-agent Programs and Their Logics , 2009, KRAMAS.

[108]  Pablo Noriega,et al.  Implementing norms in electronic institutions , 2005, AAMAS '05.

[109]  Javier Vázquez-Salceda,et al.  OMNI: Introducing Social Structure, Norms and Ontologies into Agent Organizations , 2004, PROMAS.

[110]  Andrea Omicini,et al.  Artifacts in the A&A meta-model for multi-agent systems , 2008, Autonomous Agents and Multi-Agent Systems.

[111]  Mark Klein,et al.  Civil Agent Societies: Tools for Inventing Open Agent-Mediated Electronic Marketplaces , 1999, Agent Mediated Electronic Commerce.

[112]  Rino Falcone,et al.  Introduction: Agents and Norms: How to fill the gap? , 1999, Artificial Intelligence and Law.

[113]  Carlos Carrascosa,et al.  Building Quests for Online Games with Virtual Institutions , 2010, AGS.

[114]  Jacques Ferber,et al.  From Agents to Organizations: An Organizational View of Multi-agent Systems , 2003, AOSE.

[115]  Luca Cardelli,et al.  Mobile Ambients , 1998, FoSSaCS.

[116]  Alan Rea,et al.  Security in Virtual Worlds, 3D Webs, and Immersive Environments: Models for Development, Interaction, and Management , 2010 .

[117]  Eugénio C. Oliveira,et al.  Virtual Enterprise Normative Framework Within Electronic Institutions , 2004, ESAW.

[118]  Jordi Campos Miralles,et al.  Using a Two-Level Multi-Agent System Architecture , 2010, COIN@AAMAS&MALLOW.

[119]  James A. Hendler,et al.  The Semantic Web" in Scientific American , 2001 .