Abstract
Agent organizations can be seen as a set of entities regulated by mechanisms of social order and created by more or less autonomous actors to achieve common goals. Just like agents, organizations should also be able to adapt themselves to changing environments. In order to develop a theory on how this reorganization should be performed we need a formal framework in which organizations, organizational performance and the reorganization itself can be described. In this paper, we present a formal description of reorganization actions in LAO (Logic for Agent Organization). We show how this formalization can support the preservation of some nice properties of organizations while it can also be used to reason about which reorganization is needed to achieve some basic organizational properties.
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
http://www.eurofound.europa.eu/areas/industrialrelations/dictionary/definitions/RESTRUCTURING.htm
Aldewereld, H.: Autonomy vs. Conformity: an Institutional Perspective on Norms and Protocols. SIKS Dissertation Series 2007-10. Utrecht University, PhD Thesis (2007)
Carley, K., Svoboda, D.: Modeling organizational adaptation as a simulated annealing process. Sociological Methods & Research 25(1), 138–168 (1996)
Cholvy, L., Garion, C., Saurel, C.: Ability in a multi-agent context: A model in the situation calculus. In: Toni, F., Torroni, P. (eds.) CLIMA VI 2005. LNCS (LNAI), vol. 3900, pp. 23–36. Springer, Heidelberg (2006)
Cohen, M.: Artificial intelligence and the dynamic performance of organization designs. In: March, J., Weissinger-Baylon, R. (eds.) Ambiguity and Command: Organizational Perspectives on Military Decision Making, Pitman, pp. 53–71 (1986)
Dastani, M., Dignum, V., Dignum, F.: Role assignment in open agent societies. In: AAMAS 2003. ACM Press (July 2003)
Dignum, V., Dignum, F.: A logic of agent organizations. Logic Journal of the IGPL 20(1), 283–316 (2012)
Dignum, V., Dignum, F., Sonenberg, L.: Towards dynamic organization of agent societies. In: Vouros, G. (ed.) Workshop on Coordination in Emergent Agent Societies, ECAI 2004, pp. 70–78 (2004)
Fox, M.: An organizational view of distributed systems. Transactions on Systems, Man, and Cybernetics 11(1), 70–80 (1981)
Governatori, G., Gelati, J., Rotolo, A., Sartor, G.: Actions, institutions, powers. preliminary notes. In: Lindemann, G., et al. (eds.) RASTA 2002. Mitteilung, vol. 318, pp. 131–147. Fachbereich Informatik, Universitt Hamburg (2002)
Grossi, D.: Designing Invisible Handcuffs. Formal investigations in Institutions and Organizations for Multi-agent Systems. SIKS Dissertation Series 2007-16. Utrecht University, PhD Thesis (2007)
Grossi, D., Royakkers, L., Dignum, F.: Organizational structure and responsibility, an analysis in a dynamic logic of organized collective agency. Journal of AI and Law 15, 223–249 (2007)
Hübner, J., Sichman, J., Boissier, O.: S-moise+: A middleware for developing organised multi-agent systems. In: Boissier, O., Padget, J., Dignum, V., Lindemann, G., Matson, E., Ossowski, S., Sichman, J.S., Vázquez-Salceda, J. (eds.) ANIREM 2005 and OOOP 2005. LNCS (LNAI), vol. 3913, pp. 64–78. Springer, Heidelberg (2006)
Hübner, J.F., Sichman, J.S., Boissier, O.: Using the Moise+ for a Cooperative Framework of MAS Reorganisation. In: Bazzan, A.L.C., Labidi, S. (eds.) SBIA 2004. LNCS (LNAI), vol. 3171, pp. 506–515. Springer, Heidelberg (2004)
Matson, E., DeLoach, S.A.: Formal transition in agent organizations. In: IEEE International Conference on Knowledge Intensive Multiagent Systems, KIMAS 2005 (2005)
McCallum, M., Vasconcelos, W., Norman, T.: Verification and Analysis of Organisational Change. In: Boissier, O., Padget, J., Dignum, V., Lindemann, G., Matson, E., Ossowski, S., Sichman, J.S., Vázquez-Salceda, J. (eds.) ANIREM 2005 and OOOP 2005. LNCS (LNAI), vol. 3913, pp. 48–63. Springer, Heidelberg (2006)
Pörn, I.: Some basic concepts of action. In: Stenlund, S. (ed.) Logical Theory and Semantical Analisys. Reidel (1974)
Santos, F., Jones, A., Carmo, J.: Action concepts for describing organised interaction. In: Sprague Jr., R.A. (ed.) Proc. HICCS, vol. V, pp. 373–382. IEEE Computer Society Press (1997)
So, Y., Durfee, E.: Designing organizations for computational agents. In: Carley, K., Pritula, M.J., Gasser, L. (eds.) Simulating Organizations, pp. 47–64 (1998)
van den Broek, E., Jonker, C., Sharpanskykh, A., Treur, J., Yolum, P.: Formal Modeling and Analysis of Organizations. In: Boissier, O., Padget, J., Dignum, V., Lindemann, G., Matson, E., Ossowski, S., Sichman, J.S., Vázquez-Salceda, J. (eds.) ANIREM 2005 and OOOP 2005. LNCS (LNAI), vol. 3913, pp. 18–34. Springer, Heidelberg (2006)
Wooldridge, M., van der Hoek, W.: On the logic of cooperation and propositional control. Artificial Intelligence 24(1-2), 81–119 (2005)
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
Dignum, F., Dignum, V. (2012). A Formal Semantics for Agent (Re)Organization. In: Fisher, M., van der Torre, L., Dastani, M., Governatori, G. (eds) Computational Logic in Multi-Agent Systems. CLIMA 2012. Lecture Notes in Computer Science(), vol 7486. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-32897-8_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-32897-8_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-32896-1
Online ISBN: 978-3-642-32897-8
eBook Packages: Computer ScienceComputer Science (R0)