Abstract
In this paper we present a new approach to model electronic institutions (EIs) that are situated in agent environments where heterogeneous agents reside. An EI is seen here as an entity that is deployed within an environment infrastructure that directly mediates the agents’ interaction. The environment allows the rules of the EIs, in terms of powers, permissions and obligations to be perceivable as first class entities by the agents belonging to the institution. We express EIs as first class abstractions that can be inspected, manipulated and modified, created and destroyed by the agents populating the agent environment where the institution resides. To represent the EIs we utilize the Object Event Calculus (OEC) formalism that deals with the evolution of complex structures in time and we extend it to deal with the mediation of the events and with the perception of complex structures and events within institutions. We use an e-Health marketplace scenario based on Dutch auctions to illustrate the properties of our model.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Ägotnes, T., van der Hoek, W., Wooldridge, M.: Normative system games. In: AAMAS 2007: Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 1–8. ACM, New York (2007)
Artikis, A., Paliouras, G., Portet, F., Skarlatidis, A.: Logic-based representation, reasoning and machine learning for event recognition. In: DEBS, pp. 282–293 (2010)
Artikis, A., Sergot, M.: Executable Specification of Open Multi-Agent Systems. Logic Journal of the IGPL 18(1), 31–65 (2010)
Barber, K.S., Kim, J.: Soft Security: Isolating Unreliable Agents from Society. In: Falcone, R., Barber, S.K., Korba, L., Singh, M.P. (eds.) AAMAS 2002 Ws Trust, Reputation... LNCS (LNAI), vol. 2631, pp. 224–233. Springer, Heidelberg (2003)
Boella, G., Pigozzi, G., van der Torre, L.: Normative systems in computer science - ten guidelines for normative multiagent systems. In: Boella, G., Noriega, P., Pigozzi, G., Verhagen, H. (eds.) Normative Multi-Agent Systems, Dagstuhl, Germany. Dagstuhl Seminar Proceedings, vol. 09121 (2009)
Boissier, O., Hübner, J.F.: A framework for normative multiagent organisations. In: Boella, G., Noriega, P., Pigozzi, G., Verhagen, H. (eds.) Normative Multi-Agent Systems, Dagstuhl. Dagstuhl Seminar Proceedings, vol. 09121. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany (2009)
Bromuri, S., Stathis, K.: Distributed Agent Environments in the Ambient Event Calculus. In: DEBS 2009: Proceedings of the Third International Conference on Distributed Event-Based Systems. ACM, New York (2009)
Campos, J., López-Sánchez, M., Rodríguez-Aguilar, J.A., Esteva, M.: Formalising Situatedness and Adaptation in Electronic Institutions. In: Hübner, J.F., Matson, E., Boissier, O., Dignum, V. (eds.) COIN 2008. LNCS, vol. 5428, pp. 126–139. Springer, Heidelberg (2009)
Cardoso, H.L., Oliveira, E.: A Context-Based Institutional Normative Environment. In: Hübner, J.F., Matson, E., Boissier, O., Dignum, V. (eds.) COIN@AAMAS 2008. LNCS, vol. 5428, pp. 140–155. Springer, Heidelberg (2009)
Chen, W., Warren, D.S.: C-logic of Complex Objects. In: PODS 1989: Proceedings of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pp. 369–378. ACM Press, New York (1989)
Esteva, M., Rodríguez-Aguilar, J.-A., Sierra, C., Garcia, P., Arcos, J.-L.: On the Formal Specification of Electronic Institutions. In: Sierra, C., Dignum, F.P.M. (eds.) Agent Mediated Elec. Commerce. LNCS (LNAI), vol. 1991, pp. 126–147. Springer, Heidelberg (2001)
Esteva, M., Rosell, B., Rodríguez-Aguilar, J.A., Arcos, J.L.: Ameli: An agent-based middleware for electronic institutions, vol. I, pp. 236–243. ACM (2004)
Fornara, N., Colombetti, M.: Specifying artificial institutions in the event calculus. In: Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models, pp. 335–366 (2009)
Fornara, N., Viganò, F., Verdicchio, M., Colombetti, M.: Artificial institutions: a model of institutional reality for open multiagent systems. Artif. Intell. Law 16(1), 89–105 (2008)
Gruber, T.: Collective knowledge systems: Where the Social Web meets the Semantic Web. Web Semantics: Science, Services and Agents on the World Wide Web 6(1), 4–13 (2007)
Hendler, J., Berners-Lee, T.: From the semantic web to social machines: A research challenge for ai on the world wide web. Artif. Intell. 174(2), 156–161 (2010)
Kesim, F.N., Sergot, M.: A Logic Programming Framework for Modeling Temporal Objects. IEEE Transactions on Knowledge and Data Engineering 8(5), 724–741 (1996)
Kowalski, R., Sergot, M.: A logic-based calculus of events. New Gen. Comput. 4(1), 67–95 (1986)
Modgil, S., Faci, N., Meneguzzi, F., Oren, N., Miles, S., Luck, M.: A framework for monitoring agent-based normative systems. In: AAMAS 2009: Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems, pp. 153–160 (2009)
Pitt, J., Mamdani, A., Charlton, P.: The open agent society and its enemies: a position statement and research programme. Telematics and Informatics 18(1), 67–87 (2001)
Piunti, M., Boissier, O., Hubner, J.F., Ricci, A.: Embodied organizations: a unifying perspective in programming agents, organizations and environments. In: 11th Workshop on Coordination, Organization, Institutions and Norms in Multi-Agent Systems (2010)
Reinhardt, U.E., Hussey, P.S., Anderson, G.F.: U.S. health care spending in an international context. Health Affairs 23(3) (2004)
Searle, J.R.: The construction of social reality. Free Press, New York (1995)
Stanton, M.W.: Reducing costs in the health care system; learning from what has been done. Healthcare Research and Quality (2003)
Strachey, C.: Fundamental concepts in programming languages. Higher Order Symbol. Comput. 13(1-2), 11–49 (2000)
Stratulat, T., Ferber, J., Tranier, J.: Masq: towards an integral approach to interaction. In: AAMAS (2), pp. 813–820 (2009)
Urovi, V., Stathis, K.: Playing with Agent Coordination Patterns in MAGE. In: Padget, J., Artikis, A., Vasconcelos, W., Stathis, K., da Silva, V.T., Matson, E., Polleres, A. (eds.) COIN 2009. LNCS, vol. 6069, pp. 86–101. Springer, Heidelberg (2010)
Wasserfallen, J., von Auw, Y.: Cost reduction project in a swiss public hospital. In: Annual Meeting of the International Society of Technology Assessment in Health Care (1998)
Weyns, D., Omicini, A., Odell, J.: Environment as a first class abstraction in multiagent systems. Autonomous Agents and Multi-Agent Systems 14(1), 5–30 (2007)
Wooldridge, M.: Multi Agent Systems. John Wiley and Sons (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tampitsikas, C., Bromuri, S., Schumacher, M.I. (2012). MANET: A Model for First-Class Electronic Institutions. In: Cranefield, S., van Riemsdijk, M.B., Vázquez-Salceda, J., Noriega, P. (eds) Coordination, Organizations, Institutions, and Norms in Agent System VII. COIN 2011. Lecture Notes in Computer Science(), vol 7254. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-35545-5_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-35545-5_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-35544-8
Online ISBN: 978-3-642-35545-5
eBook Packages: Computer ScienceComputer Science (R0)