Axiomatization of socio-economic principles for self-organizing institutions: Concepts, experiments and challenges

ACM Transactions on Autonomous and Adaptive Systems

Volumn 7, Issue 4, 2012, Pages

  Pitt, Jeremy ^a   Schaumeier, Julia ^a   Artikis, Alexander ^b  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

^b INSTITUTE OF NANOSCIENCE AND NANOTECHNOLOGY   (Greece)

Author keywords

Common pool resource; Institutions; Norm governed multiagent systems; Resource allocation; Self organizing systems

Indexed keywords

AXIOMATIZATION; BEHAVIORAL PROFILES; COMMON-POOL RESOURCE; COMPLETE AXIOMATIZATIONS; DISTRIBUTION MECHANISM; ELECTRONIC INSTITUTIONS; EVENT CALCULUS; LOGICAL FORMS; RESOURCE MANAGEMENT PROBLEMS; RESOURCE-CONSTRAINED; RUNNING COST; SELF ORGANIZING; SELF-ORGANIZING SYSTEMS; SOCIO-ECONOMICS; SUFFICIENT CONDITIONS;

ECONOMICS; EMBEDDED SYSTEMS; LAKES; LOGIC PROGRAMMING; MULTI AGENT SYSTEMS; RESOURCE ALLOCATION;

SOCIETIES AND INSTITUTIONS;

EID: 84870694223     PISSN: 15564665     EISSN: 15564703     Source Type: Journal    
DOI: 10.1145/2382570.2382575     Document Type: Article

References (55)

1. AGRAWAL, A. 2001. Common property institutions and sustainable governance of resources. World Devel. 29, 10, 1649-1672. (Pubitemid 32931920)
2. 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.
3. 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.
4. ARTIKIS, A. 2011. Dynamic specification of open agent systems. J. Logic Computat., doi: 10.1093/logcom/exr018.
5. ARTIKIS, A. AND SERGOT, M. 2010. Executable specification of open multi-agent systems. Logic J. IGPL 18, 1, 31-65.
6. ARTIKIS, A., SKARLATIDIS, A., PORTET, F., AND PALIOURAS, G. 2012. Logic-based event recognition. Knowl. Engin. Rev.
7. 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. (Pubitemid 34975347)
8. AXTELL, R. 2007. What economic agents do: How cognition and interaction lead to emergence and complexity. Rev. Austrian Econom. 20, 2, 105-122.
9. BIRMAN, K., CHOCKLER, G., AND VAN RENESSE, R. 2009. Toward a cloud computing research agenda. SIGACT News 40, 2, 68-80.
10. 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.
11. BRAMS, S. AND TAYLOR, A. 1996. Fair Division - From cake-cutting to dispute resolution. Cambridge University Press, Cambridge.
12. 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.
13. 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.
14. CONTE, R., ANDRIGHETTO, G., AND CAMPENŃI, 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.
15. COX, M., ARNOLD, G., AND VILLAMAYOR TOMÁ S, S. 2010. A review of design principles for communitybased natural resource management. Ecology Soc. 15, 4, 38.
16. DE JONG, S. AND TUYLS, K. 2011. Human-inspired computational fairness. Autonom. Agents Multi-Agent Syst. 22, 1, 103-126.
17. DOMINGOS, P. AND LOWD, D. 2009. Markov Logic: An Interface Layer for Artificial Intelligence. Morgan & Claypool Publishers.
18. DOUSSON, C. 1996. Alarm driven supervision for telecommunication networks - on-line chronicle recognition. Ann. Telecomm. 51, 9-10, 501-508. (Pubitemid 126525032)
19. EDMONDS, B., GILBERT, N., GUSTAFSON, S., HALES, D., AND KRASNOGOR, N., Eds. 2005. In Proceedings of the Joint Symposium on Socially Inspired Computing. AISB.
20. 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. (Pubitemid 34975341)
21. ESTEVA, M., RODŔIGUEZ-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.
22. 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. (Pubitemid 40878415)
23. 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.
24. 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.
25. 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.
26. HEGSELMANN, R. AND KRAUSE, U. 2002. Opinion dynamics and bounded confidence: Models, analysis and simulation. Artif. Soc. Social Simul. 5, 3.
27. 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.
28. 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.
29. 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. (Pubitemid 32829710)
30. JONES, A. AND SERGOT, M. 1996. A formal characterization of institutionalized power. J. I G P L 4, 3, 427-443.
31. KATSH, E. 2006. Online dispute resolution: Some implications for the emergence of law in cyberspace. Lex Electronica 10, 3.
32. KOWALSKI, R. AND SERGOT, M. 1986. A logic-based calculus of events. New Gen. Comput. 4, 67-95.
33. KREMER, I. AND NYBORG, K. 2004. Divisible-good auctions: The role of allocation rules. RAND J. Econ. 35, 1, 147-159. (Pubitemid 38670979)
34. 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.
35. 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.
36. MIRALLES, J., LÓPEZ-SÁNCHEZ, M., ESTEVA, M., AND MORALES, J. 2010. A simulator for organizationcentred mas adaptation in p2p sharing networks. In Proceedings of the 1st International Joint Conference on Autonomous Agents and Multi-Agent Systems. 1615-1616.
37. MURILLO, J., BUSQUETS, D., DALMAU, J., LÓPEZ, B., MUNOZ, V., AND RODŔIGUEZ-RODA, I. 2011. Improving urban wastewater management through an auction-based management of discharges. Environment. Model. Softw. 26, 689-696.
38. OSTROM, E. 1990. Governing the Commons. Cambridge University Press, Cambridge, UK.
39. 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.
40. 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.
41. PITT, J., KAMARA, L., SERGOT, M., AND ARTIKIS, A. 2006. Voting in multi-agent systems. Comput. J. 49, 2, 156-170. (Pubitemid 43380655)
42. 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.
43. 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.
44. 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.
45. POTEETE, A. R., JANSSEN, M. A., AND OSTROM, E. 2010. Working Together: Collective Action, the Commons, and Multiple Methods in Practice. Princeton University Press.
46. 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.
47. RAYA, M. AND HUBAUX, J.-P. 2007. Securing vehicular ad hoc networks. J. Comput. Secur. 15, 1, 39-68. (Pubitemid 46012642)
48. RCEP. 2010. 28th report: Adapting institutions to climate change. Royal Commission on Environmental Protection (Chairman: John Lawton), The Stationery Office Limited, UK.
49. 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.
50. 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.
51. SCHINDLER, J. 2012. Rethinking the tragedy of the commons: The integration of socio-psychological dispositions. J. Artif. Societ. Social Simul. 15, 1, 4.
52. STEELS, L. AND BROOKS, R. 1994. The Artificial Life Route to Artificial Intelligence: Building Situated Embodied Agents. Lawrence Erlbaum Associates, New Haven.
53. STRBAC, G. 2008. Demand side management: Benefits and challenges. Energy Policy 36, 12, 4419-4426.
54. TIDEMAN, N. 2006. Collective Decisions and Voting: The Potential for Public Choice. Ashgate Publishing Ltd., Aldershot, UK.
55. 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.