Abstract
Multi-agent systems (MASs), comprised of autonomous entities with the aim to cooperate to reach a common goal, may be viewed as computational models of distributed complex systems such as organizations and institutions. There have been several model proposals in the agent literature with the aim to support, integrate, substitute human organizations, but no attempt has gone beyond the boundaries of this research context to become a mainstream software engineering implementation guideline, nor has it been adopted as a universal model of multi-agent interaction in economics or social sciences. In this work we counter top-down, operational organization specifications with a logical model of a fundamental concept: agreement, with the long-term aim to create a formal model of multi-agent organization that can serve as a universally accepted basis for implementation of collaborative distributed systems.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Andrighetto, G., Tummolini, L., Castelfranchi, C., Conte, R.: A convention or (tacit) agreement between us. In: van Benthem, V.F., Hendricks, J., Symons, J., Pedersen, S.A. (eds.) Between Logic and Intuition: David Lewis and the Future of Formal Methods, Philosophy Synthese Library. Springer, Heidelberg (to appear)
Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)
Cardoso, H.L., Rocha, A.P., Oliveira, E.: Supporting virtual organizations through electronic institutions and normative multi-agent system. In: Rennard, J.P. (ed.) Handbook of Research on Nature Inspired Computing for Economy and Management. Idea Group, USA (2006)
Chellas, B.F.: Modal logic: an introduction. Cambridge University Press, Cambridge (1980)
DeLoach, S.A.: Moving multiagent systems from research to practice. In: Future of Software Engineering and Multi-Agent Systems, FOSE-MAS (2008)
Dignum, F., Broersen, J., Dignum, V., Meyer, J.J.: Meeting the deadline: Why, when and how. In: Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff, C.A. (eds.) FAABS 2004. LNCS (LNAI), vol. 3228, pp. 30–40. Springer, Heidelberg (2004)
Dignum, F., Dignum, V., Thangarajah, J., Padgham, L., Winikoff, M.: Open agent systems??? In: Luck, M., Padgham, L. (eds.) Agent-Oriented Software Engineering VIII. LNCS, vol. 4951, pp. 73–87. Springer, Heidelberg (2008)
Esteva, M., de la Cruz, D., Sierra, C.: Islander: an electronic institutions editor. In: Proceedings of AAMAS ’02, pp. 1045–1052. ACM Press, New York (2002)
Boella, G., van der Torre, L.: Contracts as legal institutions in organizations of autonomous agents. In: Proceedings of AAMAS ’04, pp. 948–955. ACM Press, New York (2004)
Garcia, E., Argente, E., Giret, A., Botti, V.: Issues for organizational multiagent systems development. In: Sixth International Workshop From Agent Theory to Agent Implementation (AT2AI-6), pp. 59–65 (2008)
Gaudou, B., Longin, D., Lorini, E., Tummolini, L.: Anchoring institutions in agents’ attitudes: Towards a logical framework for autonomous mas. In: Proceedings of AAMAS ’08, pp. 728–735. ACM Press, New York (2008)
Griffiths, N., Luck, M.: Coalition formation through motivation and trust. In: Proceedings of AAMAS ’03, pp. 17–24. ACM Press, New York (2003)
Kanger, S., Kanger, H.: Rights and parliamentarism. Theoria 6(2), 85–115 (1966)
Lindahl, L.: Stig Kanger’s theory of rights. In: Holmström-Hintikka, G., Lindström, S., Sliwinski, R. (eds.) Collected Papers of Stig Kanger with Essays on his Life and Work, vol. 2, pp. 151–171. Kluwer, Dordrecht (2001)
Lorini, E., Herzig, A.: A logic of intention and attempt. Synthese 163(1), 45–77
Lorini, E., Longin, D., Gaudou, B., Herzig, A.: The logic of acceptance: Grounding institutions on agents’ attitudes. Journal of Logic and Computation (to appear)
Noriega, P., Sierra, C.: Electronic institutions: Future trends and challenges. In: Klusch, M., Ossowski, S., Shehory, O. (eds.) CIA 2002. LNCS (LNAI), vol. 2446, pp. 14–17. Springer, Heidelberg (2002)
Shehory, O., Sycara, K.P., Jha, S.: Multi-agent coordination through coalition formation. In: Rao, A., Singh, M.P., Wooldridge, M.J. (eds.) ATAL 1997. LNCS, vol. 1365, pp. 143–154. Springer, Heidelberg (1998)
Sycara, K., Paolucci, M., van Velsen, N., Giampapa, J.A.: The Retsina MAS infrastructure. Autonomous Agents and MAS 7(1-2) (2003)
Wan, F., Singh, M.P.: Formalizing and achieving multiparty agreements via commitments. In: Proceedings of AAMAS ’05, pp. 770–777. ACM Press, New York (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lorini, E., Verdicchio, M. (2010). Towards a Logical Model of Social Agreement for Agent Societies. In: Padget, J., et al. Coordination, Organizations, Institutions and Norms in Agent Systems V. COIN 2009. Lecture Notes in Computer Science(), vol 6069. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14962-7_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-14962-7_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-14961-0
Online ISBN: 978-3-642-14962-7
eBook Packages: Computer ScienceComputer Science (R0)