Abstract
We address the problem of engineering self-organizing electronic institutions for resource allocation in open, embedded, and resource-constrained systems. In such systems, there is decentralized control, competition for resources and an expectation of both intentional and unintentional errors. The “optimal” distribution of resources is then less important than the endurance of the distribution mechanism. Under these circumstances, we propose to model resource allocation as a common-pool resource management problem, and develop a formal characterization of Elinor Ostrom’s socio-economic principles for self-governing institutions. This article applies a method for sociologically inspired computing to give a complete axiomatization of six of Ostrom’s eight principles in the Event Calculus. A testbed is implemented for experimenting with the axiomatization. The experimental results show that these principles support enduring institutions, in terms of longevity and membership, and also provide insight into calibrating the transaction and running costs associated with implementing the principles against the behavioral profile of the institutional membership. We conclude that it is possible to express Ostrom’s principles in logical form and that they are necessary and sufficient conditions for enduring self-organizing electronic institutions to manage sustainable common-pool resources.
- Agrawal, A. 2001. Common property institutions and sustainable governance of resources. World Devel. 29, 10, 1649--1672.Google ScholarCross Ref
- Andrews, P., Polack, F., Sampson, A., Stepney, S., and Timmis, J. 2010. The cosmos process, version 0.1: A process for the modelling and simulation of complex systems. Tech. rep. YCS-2010-453, University of York.Google Scholar
- Ardagna, D., Panicucci, B., and Passacantando, M. 2011. A game theoretic formulation of the service provisioning problem in cloud systems. In Proceedings of WWW’11. ACM, New York, 177--186. Google ScholarDigital Library
- Artikis, A. 2011. Dynamic specification of open agent systems. J. Logic Computat., doi: 10.1093/logcom/exr018. Google ScholarDigital Library
- Artikis, A. and Sergot, M. 2010. Executable specification of open multi-agent systems. Logic J. IGPL 18, 1, 31--65.Google ScholarCross Ref
- Artikis, A., Skarlatidis, A., Portet, F., and Paliouras, G. 2012. Logic-based event recognition. Knowl. Engin. Rev. Google ScholarDigital Library
- Axtell, R. 2002. Non-cooperative dynamics of multi-agent teams. In Proceedings of the 1st International Joint Conference on Autonomous Agents and Multi-Agent Systems, C. Castelfranchi and W. Johnson Eds., ACM, New York, 1082--1089. Google ScholarDigital Library
- Axtell, R. 2007. What economic agents do: How cognition and interaction lead to emergence and complexity. Rev. Austrian Econom. 20, 2, 105--122.Google ScholarCross Ref
- Birman, K., Chockler, G., and van Renesse, R. 2009. Toward a cloud computing research agenda. SIGACT News 40, 2, 68--80. Google ScholarDigital Library
- Boulet, R., Mazzega, P., and Jouve, B. 2009. Environmental, social and normative networks in the maelia platform. In Proceedings of the ICAIL Worshop Legal & Decision Support Systems, M. Poblet, U. Schild, and J. Zeleznikow Eds. 83--93.Google Scholar
- Brams, S. and Taylor, A. 1996. Fair Division -- From cake-cutting to dispute resolution. Cambridge University Press, Cambridge.Google Scholar
- Carminati, B., Ferrari, E., and Perego, A. 2009. Enforcing access control in web-based social networks. ACM Trans. Inf. Syst. Secur. 13, 1, 1--38. Google ScholarDigital Library
- Chevaleyre, Y., Endriss, U., Lang, J., and Maudet, N. 2007. A short introduction to computational social choice. In Proceedings of the 33rd Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM). Lecture Notes in Computer Science, vol. 4362. Springer-Verlag, Berlin, 51--69. Google ScholarDigital Library
- Conte, R., Andrighetto, G., and Campenní, M. 2009. The immergence of norms in agent worlds. In Engineering Societies in the Agents World X, H. Aldewereld, V. Dignum, and G. Picard Eds., Lecture Notes in Computer Science, vol. 5881. Springer, 1--14. Google ScholarDigital Library
- Cox, M., Arnold, G., and Villamayor Tomás, S. 2010. A review of design principles for community-based natural resource management. Ecology Soc. 15, 4, 38.Google ScholarCross Ref
- de Jong, S. and Tuyls, K. 2011. Human-inspired computational fairness. Autonom. Agents Multi-Agent Syst. 22, 1, 103--126. Google ScholarDigital Library
- Domingos, P. and Lowd, D. 2009. Markov Logic: An Interface Layer for Artificial Intelligence. Morgan & Claypool Publishers. Google ScholarDigital Library
- Dousson, C. 1996. Alarm driven supervision for telecommunication networks -- on-line chronicle recognition. Ann. Telecomm. 51, 9--10, 501--508.Google Scholar
- Edmonds, B., Gilbert, N., Gustafson, S., Hales, D., and Krasnogor, N., Eds. 2005. In Proceedings of the Joint Symposium on Socially Inspired Computing. AISB.Google Scholar
- Esteva, M., de la Cruz, D., and Sierra, C. 2002. Islander: An electronic institutions editor. In Proceedings of the 1st International Joint Conference on Autonomous Agents and Multi-Agent Systems. 1045--1052. Google ScholarDigital Library
- Esteva, M., Rodríguez-Aguilar, J. A., Rosell, B., and Arcos, J. 2004. Ameli: An agent-based middleware for electronic institutions. In Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multi-Agent Systems. 236--243. Google ScholarDigital Library
- Farrell, A., Sergot, M., Sallé, M., and Bartolini, C. 2005. Using the event calculus for tracking the normative state of contracts. Int. J. Coop. Inf. Syst. 14, 2--3, 99--129.Google ScholarCross Ref
- Firozabadi, B. S. and Sergot, M. 2004. Contractual access control. In Proceedins of the 10th International Workshop on Security Protocols, B. Christianson, B. Crispo, J. Malcolm, and M. Roe Eds., Lecture Notes in Computer Science Vol. 2845 in LNCS. Springer-Verlag, Berlin, 96--103.Google Scholar
- Fox, M., Barbuceanu, M., Gruninger, M., and Lin, J. 1998. An organization ontology for enterprise modeling. In Simulating Organizations: Computational Models of Institutions and Groups, M. Prietula, K. Carley, and L. Gasser Eds., AAAI/MIT Press, Menlo Park, CA, 131--152. Google ScholarDigital Library
- Gaechter, S. 2006. Conditional cooperation: Behavioral regularities from the lab and the field and their policy implications. Discussion Papers 2006-03, The Centre for Decision Research and Experimental Economics, School of Economics, University of Nottingham.Google Scholar
- Hegselmann, R. and Krause, U. 2002. Opinion dynamics and bounded confidence: Models, analysis and simulation. Artif. Soc. Social Simul. 5, 3.Google Scholar
- Horling, B. and Lesser, V. R. 2008. Using quantitative models to search for appropriate organizational designs. Autonom. Agents Multi-Agent Syst. 16, 2, 95--149. Google ScholarDigital Library
- Janssen, M., Goldstone, R., Menczer, F., and Ostrom, E. 2008. Effect of rule choice in dynamic interactive spatial commons. Int. J. Commons 2, 2, 288--312.Google ScholarCross Ref
- Jilani, L. L., Desharnais, J., and Mili, A. 2001. Defining and applying measures of distance between specifications. IEEE Trans. Softw. Eng. 27, 8, 673--703. Google ScholarDigital Library
- Jones, A. and Sergot, M. 1996. A formal characterization of institutionalized power. J. IGPL 4, 3, 427--443.Google ScholarCross Ref
- Katsh, E. 2006. Online dispute resolution: Some implications for the emergence of law in cyberspace. Lex Electronica 10, 3.Google Scholar
- Kowalski, R. and Sergot, M. 1986. A logic-based calculus of events. New Gen. Comput. 4, 67--95. Google ScholarDigital Library
- Kremer, I. and Nyborg, K. 2004. Divisible-good auctions: The role of allocation rules. RAND J. Econ. 35, 1, 147--159.Google ScholarCross Ref
- Lan, T., Kao, D., Chiang, M., and Sabharwal, A. 2010. An axiomatic theory of fairness in network resource allocation. In Proceedings of the Annual Joint Conference of the IEEE Computer and Communications Societies (INFOCOM). 1343--1351. Google ScholarDigital Library
- Mahmoud, S., Keppens, J., Luck, M., and Griffiths, N. 2011. Norm establishment via metanorms in network topologies. In Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology. 25--28. Google ScholarDigital Library
- Miralles, J., López-Sánchez, M., Esteva, M., and Morales, J. 2010. A simulator for organization-centred mas adaptation in p2p sharing networks. In Proceedings of the 1st International Joint Conference on Autonomous Agents and Multi-Agent Systems. 1615--1616. Google ScholarDigital Library
- Murillo, J., Busquets, D., Dalmau, J., López, B., Munoz, V., and Rodríguez-Roda, I. 2011. Improving urban wastewater management through an auction-based management of discharges. Environment. Model. Softw. 26, 689--696. Google ScholarDigital Library
- Ostrom, E. 1990. Governing the Commons. Cambridge University Press, Cambridge, UK.Google Scholar
- Ostrom, E. and Hess, C. 2006. A framework for analyzing the knowledge commons. In Understanding Knowledge as a Commons: From Theory to Practice, C. Hess and E. Ostrom Eds., MIT Press, Cambridge, MA, 41--82.Google Scholar
- Pinto, J. and Reiter, R. 1993. Temporal reasoning in logic programming: A case for the situation calculus. In Proceedings of the 10th International Conference on Logic Programming. 203--221. Google ScholarDigital Library
- Pitt, J., Kamara, L., Sergot, M., and Artikis, A. 2006. Voting in multi-agent systems. Comput. J. 49, 2, 156--170. Google ScholarDigital Library
- Pitt, J., Ramirez-Cano, D., Draief, M., and Artikis, A. 2011a. Interleaving multi-agent systems and social networks for organized adaptation. Computat. Math. Organizat. Theory 17, 4, 344--378. Google ScholarDigital Library
- Pitt, J., Schaumeier, J., and Artikis, A. 2011b. The axiomatisation of socio-economic principles for self-organizing systems. In Proceedings of the 5th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO). 138--147. Google ScholarDigital Library
- Pitt, J., Schaumeier, J., and Artikis, A. 2011c. Coordination, conventions and the self-organization of sustainable institutions. In Agents in Principle, Agents in Practice. Lecture Notes in Computer Science, vol. 7047. Springer-Verlag, Berlin, 202--217. Google ScholarDigital Library
- Poteete, A. R., Janssen, M. A., and Ostrom, E. 2010. Working Together: Collective Action, the Commons, and Multiple Methods in Practice. Princeton University Press.Google ScholarCross Ref
- Pudjianto, D., Ramsay, C., and Strbac, G. 2008. Microgrids and virtual power plants: Concepts to support the integration of distributed energy resources. Proc. IMechE, A: J. Power Energy 222, 731--741.Google ScholarCross Ref
- Raya, M. and Hubaux, J.-P. 2007. Securing vehicular ad hoc networks. J. Comput. Secur. 15, 1, 39--68. Google ScholarDigital Library
- RCEP. 2010. 28th report: Adapting institutions to climate change. Royal Commission on Environmental Protection (Chairman: John Lawton), The Stationery Office Limited, UK.Google Scholar
- Robert, S. C., Robert, H., Evans, W. J., Honemann, D. H., and J., B. T. 2000. Robert’s Rules of Order, Newly Revised 10th Edition. Perseus Publishing, Cambridge, MA.Google Scholar
- Sandhu, R., Ferraiolo, D., and Kuhn, R. 2000. The NIST model for role-based access control: Towards a unified standard. In Proceedings of the 5th ACM Workshop Role-Based Access Control (RBAC’00). ACM, New York, 47--63. Google ScholarDigital Library
- Schindler, J. 2012. Rethinking the tragedy of the commons: The integration of socio-psychological dispositions. J. Artif. Societ. Social Simul. 15, 1, 4.Google Scholar
- Steels, L. and Brooks, R. 1994. The Artificial Life Route to Artificial Intelligence: Building Situated Embodied Agents. Lawrence Erlbaum Associates, New Haven. Google ScholarDigital Library
- Strbac, G. 2008. Demand side management: Benefits and challenges. Energy Policy 36, 12, 4419--4426.Google ScholarCross Ref
- Tideman, N. 2006. Collective Decisions and Voting: The Potential for Public Choice. Ashgate Publishing Ltd., Aldershot, UK.Google Scholar
- Ulieru, M. 2007. Evolving the ‘DNA blueprint’ of eNetwork middleware to control resilient and efficient cyber-physical ecosystems. In Proceedings of the 2nd International Conference (BIONETICS). 41--47.Google Scholar
Index Terms
- Axiomatization of Socio-Economic Principles for Self-Organizing Institutions: Concepts, Experiments and Challenges
Recommendations
The Axiomatisation of Socio-Economic Principles for Self-Organising Systems
SASO '11: Proceedings of the 2011 IEEE Fifth International Conference on Self-Adaptive and Self-Organizing SystemsWe are interested in engineering for open, embedded and resource-constrained systems, which have applications in ad hoc, sensor and opportunistic networks. In such systems, there is decentralised control, competition for resources and an expectation of ...
Conceptualizing the impact of corruption in national institutions and national stakeholder service systems on e-government maturity
Highlights- Corruption in a country hinders its e-government development and growth.
- ...
AbstractResearch linking corruption and e-government maturity has mainly focused on the impact of e-government on corruption, and a vast majority of studies among them indicate that e-government can effectively lower the level of corruption in ...
What Shapes Global Diffusion of e-Government: Comparing the Influence of National Governance Institutions
Prior research has established the existence of a differential between industrialized and other countries for e-Government diffusion. It attempts to explain this divide by identifying economic and technical variables. At the same time, the role of ...
Comments