Abstract
Agent-based modelling approaches are usually based on logical languages, whereas in many areas dynamical system models based on differential equations are used. This paper shows how to model complex agent systems, integrating quantitative, numerical and qualitative, logical aspects, and how to combine logical and mathematical analysis methods.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Anderson, J.R., Lebiere, C.: The atomic components of thought. Lawrence Erlbaum Associates, Mahwah, NJ (1998)
Baral, C., Gelfond, M., Provetti, A.: Representing Actions: Laws, Observation and Hypothesis. Journal of Logic Programming 31(1-3), 201–243 (1997)
Barringer, H., Fisher, M., Gabbay, D., Owens, R., Reynolds, M.: The Imperative Future: Principles of Executable Temporal Logic. Research Studies Press Ltd. and John Wiley & Sons (1996)
Boccara, N.: Modeling Complex Systems. In: Graduate Texts in Contemporary Physics series, Springer, Heidelberg (2004)
Bosse, T., Delfos, M.F., Jonker, C.M., Treur, J.: Modelling Adaptive Dynamical Systems to analyse Eating Regulation Disorders. Simulation Journal: Transactions of the Society for Modeling and Simulation International 82, 159–171 (2006)
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. 157–168. Springer, Heidelberg (2006)
Bosse, T., Jonker, C.M., Meij, L., van der, L., Treur, J.: 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.) MATES 2005. LNCS (LNAI), vol. 3550, pp. 165–178. Springer, Heidelberg (2005) Extended version in: International Journal of Artificial Intelligence Tools (to appear, 2007)
Bosse, T., Jonker, C.M., Meij, L., van der Sharpanskykh, A., Treur, J.: Specification and Verification of Dynamics in Cognitive Agent Models. In: Nishida, T. (ed.) IAT 2006, pp. 247–254. IEEE Computer Society Press, Los Alamitos (2006)
Davoren, J.M., Nerode, A.: Logics for Hybrid Systems. Proceedings of the IEEE 88(7), 985–1010 (2000)
Edwards, C.H., Penney, D.L.: Calculus with Analytic Geometry, 5th edn. Prentice-Hall, London (1998)
Gear, C.W.: Numerical Initial Value Problems in Ordinary Differential Equations. Prentice-Hall, Englewood Cliffs (1971)
Gelfond, M., Lifschitz, V.: Action languages. Electronic Transactions on AI 3(16) (1998)
Hynne, F., Dano, S., Sorensen, P.G.: Full-scale model of glycolysis in Saccharomyces cerevisiae. Biophys. Chem. 94(1-2), 121–163 (2001)
Jonker, C.M., Treur, J.: Compositional Verification of Multi-Agent Systems: A Formal Analysis of Pro-activeness and Reactiveness. International Journal of Cooperative Information Systems 11, 51–92 (2002)
Laird, J.E., Newell, A., Rosenbloom, P.S.: Soar: An architecture for general intelligence. Artificial Intelligence 33(1), 1–64 (1987)
Lefschetz, S.: Differential equations: Geometric theory. Dover Publications, Mineola (2005)
Liberzon, D., Morse, A.S.: Basic problems in stability and design of switched systems. IEEE Control Systems Magazine 19(5), 59–70 (1999)
Machado, A.: Learning the Temporal Dynamics of Behaviour. Psychological Review 104, 241–265 (1997)
Manna, Z., Pnueli, A.: Verifying Hybrid Systems. In: Grossman, R.L., Ravn, A.P., Rischel, H., Nerode, A. (eds.) Hybrid Systems. LNCS, vol. 736, pp. 4–35. Springer, Heidelberg (1993)
Meyer, J.J.C., Treur, J.: Agent-based Defeasible Control in Dynamic Environments. In: Gabbay, D., Smets, P. (eds.) Defeasible Reasoning and Uncertainty Management Systems, vol. 7, Kluwer Academic Publishers, Dordrecht (2002)
Morin, P.J.: Community Ecology. Blackwell Publishing, USA (1999)
Pearson, C.E.: Numerical Methods in Engineering and Science. CRC Press, Boca Raton (1986)
Port, R.F., van Gelder, T. (eds.): Mind as Motion: Explorations in the Dynamics of Cognition. MIT Press, Cambridge, Mass (1995)
Press, W.H., Teukolsky, S.A., Vetterling, W.T., Flannery, B.P.: Numerical recipes in C: The art of scientific computing, 2nd edn. Cambridge university press, Cambridge (1992)
Rajeev, A., Henzinger, T.A., Wong-Toi, H.: Symbolic analysis of hybrid systems. In: CDC. Proceedings of the 36th Annual Conference on Decision and Control, pp. 702–707. IEEE Computer Society Press, Los Alamitos (1997)
Robertson, D., Bundy, A., Muetzelfeldt, R., Haggith, M., Ushold, M.: Eco-Logic: Logic-Based Approaches to Ecological Modelling. MIT Press, Cambridge (1991)
Sharpanskykh, A., Treur, J.: Verifying Interlevel Relations within Multi-Agent Systems. In: Brewka, G., Coradeschi, S., Perini, A., Traverso, P. (eds.) ECAI 2006. Proc. of the 17th European Conference on Artificial Intelligence, pp. 290–294. IOS Press, Amsterdam (2006)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bosse, T., Sharpanskykh, A., Treur, J. (2008). Integrating Agent Models and Dynamical Systems. In: Baldoni, M., Son, T.C., van Riemsdijk, M.B., Winikoff, M. (eds) Declarative Agent Languages and Technologies V. DALT 2007. Lecture Notes in Computer Science(), vol 4897. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-77564-5_4
Download citation
DOI: https://doi.org/10.1007/978-3-540-77564-5_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-77563-8
Online ISBN: 978-3-540-77564-5
eBook Packages: Computer ScienceComputer Science (R0)