Abstract
The development of multi-agent systems (MAS) implies considering both the social and individual levels of these systems. However, the elements in these levels are not necessarily consistent. Conflicts can arise between the goals of the community and those of individual agents. These contradictions are potentially very complex, given the inherent intentional nature of agents and the interactive features of their societies. Developers can face these problems about contradictions with traditional software engineering verification techniques. Nevertheless, these techniques always depend on the understanding of developers about what properties to check. Abstractions of the agent paradigm offer a new possibility for verification: the use of expert knowledge from social sciences to detect and solve this kind of problems. Social sciences and MAS research share a similar view about their objects of study: societies of intentional actors. With this basis, it is possible to adapt the expertise of social sciences to the study of MAS, providing a new source of knowledge for the verification of MAS focused in their social and intentional features. Based on our previous research, we have developed a method to solve motivational contradictions with one of these social theories, the Activity Theory. This method is explained with a case study about the management of a bookstore.
This work has been funded by Spanish Ministry of Science and Technology under grant TIC2002-04516-C03-03.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Bednyi, G.Z., Meister, D.: The Russian Theory of Activity: Current Application to Design and Learning. Lawrence Erlbaum Associates, Mahwah (1997)
Bratman, M.E.: Intentions, Plans, and Practical Reason. Harvard University Press, Cambridge (1987)
Bratus, B.S., Lishin, O.V.: Laws of the development of activity and problems in the psychological and pedagogical shaping of the personality. Soviet Psychology XXI, 38–50 (1983)
Brazier, F.M.T., Dunin-Keplicz, B.M., Jennings, N.R., Treur, J.: DESIRE:Modelling Multi-Agent Systems in a Compositional Formal Framework. International Journal of Cooperative Information Systems, special issue on Formal Methods in Cooperative Information Systems: Multi-Agent Systems (1997)
Constantine, L.L.: Constantine on Peopleware. Yourdon Press, Englewood Cliffs (1995)
Andersen, E.: Juul Møller Bokhandel A/S. Case Study (2001), available at, http://www.espen.com/
Fuentes, R., Gómez-Sanz, J.J., Pavón, J.: Activity Theory for the Analysis and Design of Multi-Agent Systems. In: Giorgini, P., Müller, J.P., Odell, J.J. (eds.) AOSE 2003. LNCS, vol. 2935, pp. 110–122. Springer, Heidelberg (2004)
Fuentes, R., Gómez-Sanz, J.J., Pavón, J.: Social Analysis of Multi-Agent Systems with Activity Theory. In: CAEPIA 2003. LNCS (LNAI), vol. 3040, pp. 526–535. Springer, Heidelberg (2003)
Fuentes, R., Gómez-Sanz, J.J., Pavón, J.: Towards Requirements Elicitation in Multi-Agent Systems. In: Proceedings of the 4th International Symposium From Agent Theory to Agent Implementation, AT2AI 2004, Vienna, Austria, April 2004, pp. 582–587 (2004)
Fuentes, R., Gómez-Sanz, J.J., Pavón, J.: Verification and Validation Techniques for Multi-Agent Systems. Upgrade V(4) (August 2004)
Hughes, J., King, V., Rodden, T., Andersen, H.: Moving out from the control room: ethnography in system design. In: Proceedings of the ACM 1994 Conference on Computer Supported Cooperative Work - CSCW 1994, pp. 429–439. ACM Press, New York (1994)
Hutchins, E., Klausen, T.: Distributed cognition in an airline cockpit. In: Middleton, D., Engestrom, Y. (eds.) Communication and Cognition at Work. Sage Books, Beverly Hills (1992)
Kaptelinin, V., Nardi, B.A., Macaulay, C.: The Activity Checklist: A tool for representing the “space” of context. Interactions 6(4), 27–39 (1999)
Leontiev, A.N.: The problem of activity in the history of Soviet psychology. In Soviet Psychology 27(1), 22–39 (1989)
Nuseibeh, B.A., Easterbrook, S.M.: Requirements engineering: A roadmap. In: Proceedings of the 22nd International Conference on Software Engineering (ICSE 2000), pp. 35–46 (2000)
Pavón, J., Gómez-Sanz, J.J.: Agent Oriented Software Engineering with INGENIAS. In: Mařík, V., Müller, J.P., Pěchouček, M. (eds.) CEEMAS 2003. LNCS (LNAI), vol. 2691, pp. 394–403. Springer, Heidelberg (2003)
Sichman, J., Demazeau, Y.: On Social Reasoning in Multi-Agent Systems. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial, Special Issue on Development of Multi-Agent Systems 13, 68–84 (2001) (AEPIA)
Vygotsky, L.S.: Mind and Society. Harvard University, Cambridge (1978)
Wooldridge, M.J.: Agent-based software engineering. IEEE Proceedings on Software Engineering 144(1), 26–37 (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fuentes, R., Gómez-Sanz, J.J., Pavón, J. (2005). Managing Conflicts Between Individuals and Societies in Multi-agent Systems. In: Gleizes, MP., Omicini, A., Zambonelli, F. (eds) Engineering Societies in the Agents World V. ESAW 2004. Lecture Notes in Computer Science(), vol 3451. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11423355_8
Download citation
DOI: https://doi.org/10.1007/11423355_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-27330-1
Online ISBN: 978-3-540-31887-3
eBook Packages: Computer ScienceComputer Science (R0)