Abstract
In this paper, the compositional multi-agent modelling framework DESIRE is not only successfully used to develop a conceptual specification of the simple agents discussed in (Cesta et al. 1996), but also to simulate the behaviour in a dynamic environment. In the DESIRE framework, a conceptual specification, which provides a high-level view of an agent, has enough detail for automatic prototype generation. The prototype implementation of the conceptual specification of the simple agents has been used to replicate and extend one of the experiments reported in (Cesta et al. 1996).
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
Brazier, F.M.T., Dunin-Keplicz, B.M., Jennings, N.R. and Treur, J. (1997a). DESIRE: modelling multi-agent systems in a compositional formal framework. In M. Huhns and M. Singh (eds.) International Journal of Cooperative Information Systems, special issue on Formal Methods in Cooperative Information Systems: Multiagent Systems, 6(1), 67–94.
Brazier, F.M.T., Dunin-Keplicz, B.M., Treur, J. and Verbrugge, L.C. (1997b). Modelling internal dynamic behaviour of BDI agents. In Proc. 3rd Workshop of the ModelAge Project. (to appear).
Brazier, F.M.T., Jonker, C.M. and Treur, J. (1997c). Formalization of a cooperation model based on joint intentions. In J. Müller, M.J. Wooldridge and N.R. Jennings (eds.) Intelligent Agents III. LNAI 1193, 141–155, Berlin: Springer-Verlag.
Brazier, F.M.T., Van Eck, P.A.T. and Treur, J. (1997d). Modelling a Society of Simple Agents: from Conceptual Specification to Experimentation. Report, Faculty of Mathematics and Computer Science, Vrije Universiteit Amsterdam.
Brazier, F.M.T., Treur, J., Wijngaards, N.J.E. and Willems, M. (1995). Formal specification of hierarchically (de)composed tasks. In B.R. Gaines and M. Musen (eds.), Proc. of the 9th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, Vol. 2, 25/1–25/20, Department of Computer Science, University of Calgary: SRDG Publications.
Cesta, A., Miceli, M. and Rizzo, P. (1996). Effects of different interaction attitudes on a multi-agent system performance. In (Van de Velde and Perram 1996), 128138.
Hanks, S., Pollack, M. and Cohen, P. (1993). Benchmarks, testbeds, controlled experimentation, and the design of agent architectures. AI Magazine, 13 (4).
Montgomery, T.A. and Durfee, E.H. (1990). Using MICE to study intelligent dynamic coordination. In Proc. IEEE Conf. on Tools for Artificial Intelligence,IEEE Computer Society Press.
Van de Velde, W. and Perram, J.W. (eds.) (1996). Agents Breaking Away. Proc. 7th Eur. Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW’96. LNAI 1038, Berlin: Springer-Verlag.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Brazier, F.M.T., van Eck, P.A.T., Treur, J. (1997). Modelling a Society of Simple Agents: From Conceptual Specification to Experimentation. In: Conte, R., Hegselmann, R., Terna, P. (eds) Simulating Social Phenomena. Lecture Notes in Economics and Mathematical Systems, vol 456. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-03366-1_8
Download citation
DOI: https://doi.org/10.1007/978-3-662-03366-1_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63329-7
Online ISBN: 978-3-662-03366-1
eBook Packages: Springer Book Archive