Abstract
This paper presents the language and software environment LEADSTO that has been developed to model and simulate the dynamics of Multi-Agent Systems (MAS) in terms of both qualitative and quantitative concepts. The LEADSTO language is a declarative order-sorted temporal language, extended with quantitative means. Dynamics of MAS can be modelled by specifying the direct temporal dependencies between state properties in successive states. Based on the LEADSTO language, a software environment was developed that performs simulations of LEADSTO specifications, generates simulation traces for further analysis, and constructs visual representations of traces. The approach proved its value in a number of projects within different domains of MAS research.
This is a preview of subscription content, log in via an institution to check access.
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
Barringer, H., Fisher, M., Gabbay, D., Owens, R., Reynolds, M.: The Imperative Future: Principles of Executable Temporal Logic. Research Studies Press Ltd./John Wiley & Sons, Chichester (1996)
Bosse, T., Jonker, C.M., Los, S.A., van der Torre, L., Treur, J.: Formalisation and Analysis of the Temporal Dynamics of Conditioning. In: Müller, J.P., Zambonelli, F. (eds.) AOSE 2005. LNCS, vol. 3950, pp. 54–68. Springer, Heidelberg (2006)
Bosse, T., Jonker, C.M., Schut, M.C., Treur, J.: Simulation and Analysis of Shared Extended Mind. In: Davidsson, P., Gasser, L., Logan, B., Takadama, K. (eds.) Proc. of the First Joint Workshop on Multi-Agent and Multi-Agent-Based Simulation, MAMABS 2004, pp. 191–200 (2004)
Dierks, H.: PLC-automata: A new class of implementable real-time automata. In: Rus, T., Bertrán, M. (eds.) AMAST-ARTS 1997, ARTS 1997, and AMAST-WS 1997. LNCS, vol. 1231, pp. 111–125. Springer, Heidelberg (1997)
Forbus, K.D.: Qualitative process theory. Artificial Intelligence 24(1-3), 85–168 (1984)
Meyer, J.J.C., Treur, J. (eds.): Agent-based Defeasible Control in Dynamic Environments. Gabbay, D., Smets, P. (series eds.) Series in Defeasible Reasoning and Uncertainty Management Systems, vol. 7. Kluwer Academic Publishers, Dordrecht (2002)
Moszkowski, B., Manna, Z.: Reasoning in Interval Temporal Logic. In: Clarke, E., Kozen, D. (eds.) Logic of Programs 1983. LNCS, vol. 164, pp. 371–382. Springer, Heidelberg (1984)
Pandya, P.K.: Model checking CTL[DC]. In: Margaria, T., Yi, W. (eds.) TACAS 2001. LNCS, vol. 2031, p. 559. Springer, Heidelberg (2001)
Port, R.F., van Gelder, T. (eds.): Mind as Motion: Explorations in the Dynamics of Cognition. MIT Press, Cambridge (1995)
van Vliet, H.: Software Engineering: Principles and Practice. John Wiley & Sons, Ltd, Chichester (2000)
Zhou, C., Hoare, C.A.R., Ravn, A.P.: A Calculus of Durations. Information Processing Letter 40(5), 269–276 (1991)
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
Bosse, T., Jonker, C.M., van der Meij, L., Treur, J. (2005). LEADSTO: A Language and Environment for Analysis of Dynamics by SimulaTiOn. In: Eymann, T., Klügl, F., Lamersdorf, W., Klusch, M., Huhns, M.N. (eds) Multiagent System Technologies. MATES 2005. Lecture Notes in Computer Science(), vol 3550. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11550648_15
Download citation
DOI: https://doi.org/10.1007/11550648_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28740-7
Online ISBN: 978-3-540-28741-4
eBook Packages: Computer ScienceComputer Science (R0)