Abstract
This paper presents the MAS-SOC approach to Multi-Agent Based Simulation. It integrates specific agent technologies for agent programming and communication, and includes a language we have designed for the specification of the environment to be shared by the agents in a simulation. A graphical interface is provided which helps the development of agent simulations (by managing libraries of simulation components and automatically generating appropriate source codes for the associated interpreters). In future improvements of this approach, we aim at including extra features that would favour the development of social simulations in particular, and to further improve the user interface so as to facilitate the access of social scientists to the design and implementation of multi-agent based simulations. In order to assess our platform for agent simulation, a case study on social aspects of the production and occupation of urban spaces is under development; this paper also briefly describes that social simulation and its preliminary results.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Bordini, R.H., Moreira, Á.F.: Proving the asymmetry thesis principles for a BDI agent-oriented programming language. In: Dix, J., Leite, J.A., Satoh, K. (eds.) Proceedings of 3rd International Workshop on Computational Logic in Multi-Agent Systems: CLIMA 2002, Copenhagen, Denmark, August 1. Datalogiske Skrifter (Writings on Computer Science), vol. 93, pp. 94–108. Roskilde University, Denmark (2002)
Bordini, R.H., Bazzan, A.L.C., Jannone, R.O., Basso, D.M., Vicari, R.M., Lesser, V.R.: AgentSpeak(XL): Efficient intention selection in BDI agents via decision-theoretic task scheduling. In: Castelfranchi, C., Johnson, W.L. (eds.) Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002), Bologna, Italy, July 15–19, pp. 1294–1302. ACM Press, NewYork (2002)
Castelfranchi, C.: Simulating with cognitive agents: The importance of cognitive emergence. In: Sichman, J.S., Conte, R., Gilbert, N. (eds.) MABS 1998. LNCS (LNAI), vol. 1534, pp. 26–44. Springer, Heidelberg (1998)
Castelfranchi, C.: The theory of social functions: Challenges for computational social science and multi-agent learning. Cognitive Systems Research 2(1), 5–38 (2001)
Cavedon, L., Sonenberg, L.: On social commitment, roles and preferred goals. In: Demazeau, Y. (ed.) Proceedings of the Third International Conference on Multi-Agent Systems (ICMAS 1998), Agents’ World, July 4–7, pp. 80–87. IEEE Computer Society Press, Washington (1998)
Conte, R., Castelfranchi, C.: Cognitive and Social Action. UCL Press, London (1995)
de Giacomo, G., Lespérance, Y., Levesque, H.J.: ConGolog: A concurrent programming language based on the situation calculus. Artificial Intelligence 121, 109–169 (2000)
Decker, K.S., Lesser, V.R.: Quantitative modeling of complex environments. International Journal of Intelligent Systems in Accounting, Finance and Management 2(4), 215–234 (1993)
Demazeau, Y.: From cognitive interactions to collective behaviour in agent-based systems. In: Proceedings of the European Conference on Cognitive Science. Saint-Malo (April 1995)
Dignum, V., Meyer, J.-J., Wiegand, H., Dignum, F.: An organisational-oriented model for agent societies. In: RASTA 2002 Pre-Proceedings, Hamburg University, Faculty of Informatics, Communications, Vol. 318 (2002)
Dignum, F.: Abstract norms and electronic institutions. In: RASTA 2002 Pre-Proceedings, Hamburg University, Faculty of Informatics, communications, Vol. 318 (2002)
d’Inverno, M., Luck, M.: Engineering AgentSpeak(L): A formal computational model. Journal of Logic and Computation 8(3), 1–27 (1998)
Fisher, M.: A survey of concurrent metatem—the language and its applications. In: Gabbay, D.M., Ohlbach, H.J. (eds.) ICTL 1994. LNAi, vol. 827, pp. 480–505. Springer, Heidelberg (1994)
Georgeff, M.P., Lansky, A.L.: Reactive reasoning and planning. In: Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI 1987), Seattle, WA, July 13–17, pp. 677–682. AAAI Press / MIT Press, Manlo Park, CA (1987)
Gutknecht, O., Ferber, J.: The MadKit agent platform architecture. In: Agents Workshop on Infrastructure for Multi-Agent Systems, pp. 48–55 (2000)
Gutknecht, O., Ferber, J., Michel, F.: Integrating tools and infrastructures for generic multi-agent systems. In: Müller, J.P., Andre, E., Sen, S., Frasson, C. (eds.) Proceedings of the Fifth International Conference on Autonomous Agents, pp. 441–448. ACM Press, Montreal (2001)
Hales, D.: The evolution of specialization in groups. In: Lindemann, G., Moldt, D., Paolucci, M. (eds.) RASTA 2002. LNCS (LNAI), vol. 2934, pp. 228–239. Springer, Heidelberg (2002)
Hindriks, K.V., de Boer, F.S., van der Hoek, W., Meyer, J.-J.C.: Control structures of rule-based agent languages. In: Rao, A.S., Singh, M.P., Müller, J.P. (eds.) ATAL 1998. LNCS (LNAI), vol. 1555, pp. 381–396. Springer, Heidelberg (1999)
Hübner, J.F., Sichman, J.S.: SACI: Uma ferramenta para implementação e monitoração da comunicação entre agentes. In: Monard, M.C., Sichman, J.S. (eds.) Proceedings of the International Joint Conference, 7th Ibero-American Conference on AI, 15th Brazilian Symposium on AI (IBERAMIA/SBIA 2000, Open Discussion Track), Atibaia, São Paulo, Brazil, November 19–22, pp. 47–56. ICMC/USP, São Carlos (2000), http://www.lti.pcs.usp.br/saci
Hübner, J.F., Sichman, J.S., Boissier, O.: Moise + : Towards a structural, functional, and deontic model for MAS organization. In: Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002), Bologna, Italy (2002) (extended Abstract)
Kinny, D.: The distributed multi-agent reasoning system architecture and language specification. Technical report, Australian Artificial Intelligence Institute, Melbourne, Australia (1993)
Krafta, R.: Spatial self-organization and the production of the city. Urbana 24, 49–62 (1999)
Leite, J.A., Alferes, J.J., Pereira, L.M.: MINERVA—a dynamic logic programming agent architecture. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol. 2333, pp. 141–157. Springer, Heidelberg (2001)
Lesser, V.R.: Reflections on the nature of multi-agent coordination and its implications for an agent architecture. Autonomous Agents and Multi-Agent Systems 1(1), 89–111 (1998)
Lòpez, F., Luck, M.: Towards a model of the dynamics of normative multi-agent systems. In: Lindemann, G., Moldt, D., Paolucci, M. (eds.) RASTA 2002. LNCS (LNAI), vol. 2934, pp. 259–280. Springer, Heidelberg (2002)
Machado, R., Bordini, R.H.: Running AgentSpeak(L) agents on SIM_AGENT. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol. 2333, pp. 158–174. Springer, Heidelberg (2002)
Moreira, Á.F., Bordini, R.H.: An operational semantics for a BDI agent-oriented programming language. In: Proceedings of the Workshop on Logics for Agent-Based Systems (LABS 2002), held in conjunction with the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR 2002), Toulouse, France, April 22–25, pp. 45–59 (2002)
Portugali, J.: Self-organization and the City. Springer, Berlin (2000)
Rao, A.S., Georgeff, M.P.: BDI agents: From theory to practice. In: Lesser, V., Gasser, L. (eds.) Proceedings of the First International Conference on Multi-Agent Systems (ICMAS 1995), San Francisco, CA, June 12–14, pp. 312–319. AAAI Press/MIT Press, Menlo Park/CA (1995)
Rao, A.S., Georgeff, M.P.: Decision procedures for BDI logics. Journal of Logic and Computation 8(3), 293–343 (1998)
Rao, A.S.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: Perram, J., Van de Velde, W. (eds.) MAAMAW 1996. LNCS (LNAI), vol. 1038, pp. 42–55. Springer, Heidelberg (1996)
Russell, S., Norvig, P.: Artificial Intelligence: A Modern Approach. Prentice Hall Series on Artificial Intelligence. Prentice Hall, Upper Saddle River (1995)
Shoham, Y.: Agent-oriented programming. Artificial Intelligence 60, 51–92 (1993)
Sloman, A., Logan, B.: Building cognitively rich agents using the SIM_ AGENT toolkit. Communications of the Association of Computing Machinery 43(2), 71–77 (1999)
Wagner, T., Garvey, A., Lesser, V.: Criteria-directed heuristic task scheduling. International Journal of Approximate Processing, Special Issue on Scheduling 19(1–2), 91–118 (1998)
Wooldridge, M.J., Jennings, N.R., Kinny, D.: The Gaia methodology for agent-oriented analysis and design. Autonomous Agents and Multi-Agent Systems 3(3), 285–312 (2000)
Wooldridge, M.: Intelligent agents. In: Weiß, G. (ed.) Multiagent Systems—A Modern Approach to Distributed Artificial Intelligence, ch. 1, pp. 27–77. MIT Press, Cambridge (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bordini, R.H., Okuyama, F.Y., de Oliveira, D., Drehmer, G., Krafta, R.C. (2004). The MAS-SOC Approach to Multi-agent Based Simulation. In: Lindemann, G., Moldt, D., Paolucci, M. (eds) Regulated Agent-Based Social Systems. RASTA 2002. Lecture Notes in Computer Science(), vol 2934. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25867-4_5
Download citation
DOI: https://doi.org/10.1007/978-3-540-25867-4_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20923-2
Online ISBN: 978-3-540-25867-4
eBook Packages: Springer Book Archive