Towards HARMONIA: automatic generation of e-organisations from institution specifications

There is a large gap between the emerging theory of institutions, or to be more accurate the norms that characterize them, how agents might reason about a symbolic representation of those norms and software tools to realize agent-trading platforms from high level specifications. We present an initial representation for institutions written in XML and their ontologies written in DAML+OIL and show how it has been used to specify aspects of simple auction house (the FishMarket [12]) from which we are able to generate automatically the components of the performative structure and the agent skeletons for an implementation on top of the JADE platform.

[1]  Pablo Noriega,et al.  Agent-mediated auctions: the fishmarket metaphor , 1997 .

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

[3]  Julian Padget,et al.  Skeletal Jade Components for the Construction of Institutions , 2002, AMEC.

[4]  Nicolas Lhuillier,et al.  FOUNDATION FOR INTELLIGENT PHYSICAL AGENTS , 2003 .

[5]  Julian Padget,et al.  Modelling Simple Market Structures in Process Algebras with Locations , 2001 .

[6]  Agostino Poggi,et al.  Jade - a fipa-compliant agent framework , 1999 .

[7]  Julian Padget,et al.  Formalizing a Language for Institutions and Norms , 2001, ATAL.

[8]  Juan Antonio Rodríguez-Aguilar,et al.  On the design and construction of agent-mediated institutions , 2001 .

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

[10]  Javier Vázquez-Salceda,et al.  Thesis: The role of norms and electronic institutions in multi-agent systems applied to complex domains. The HARMONIA framework , 2003, AI Commun..

[11]  Javier Vázquez-Salceda,et al.  Modelling Electronic Organizations , 2003, CEEMAS.

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

[13]  D. North,et al.  Institutions, Institutional Change and Economic Performance. , 1991 .

[14]  D. North.  Institutions, Institutional Change and Economic Performance: Economic performance , 1990 .

[15]  Ravi S. Sandhu,et al.  The NIST model for role-based access control: towards a unified standard , 2000, RBAC '00.