Integrating agent models and dynamical systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4897 LNAI, Issue , 2008, Pages 50-68

  Bosse, Tibor ^a   Sharpanskykh, Alexei ^a   Treur, Jan ^a  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

CHLORINE COMPOUNDS; DIFFERENCE EQUATIONS; DIFFERENTIAL EQUATIONS; DIFFERENTIATION (CALCULUS); DYNAMICAL SYSTEMS; FINANCIAL DATA PROCESSING; LINGUISTICS; MODEL STRUCTURES; TECHNOLOGY;

AGENT LANGUAGES; AGENT MODELING; AGENT-BASED; COMPLEX AGENT; LOGICAL LANGUAGES; MATHEMATICAL ANALYSES; SYSTEM MODELLING;

SCHRODINGER EQUATION;

EID: 49949104078     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-77564-5_4     Document Type: Conference Paper

References (27)

1. Anderson, J.R., Lebiere, C.: The atomic components of thought. Lawrence Erlbaum Associates, Mahwah, NJ (1998)
2. Baral, C., Gelfond, M., Provetti, A.: Representing Actions: Laws, Observation and Hypothesis. Journal of Logic Programming 31(1-3), 201-243 (1997)
3. 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)
4. Boceara, N.: Modeling Complex Systems. In: Graduate Texts in Contemporary Physics series, Springer, Heidelberg (2004)
5. 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)
6. 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)
7. 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)
8. 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)
9. Davoren, J.M., Nerode, A.: Logics for Hybrid Systems. Proceedings of the IEEE 88(7), 985-1010 (2000)
10. Edwards, C.H., Penney, D.L.: Calculus with Analytic Geometry, 5th edn. Prentice-Hall, London (1998)
11. Gear, C.W.: Numerical Initial Value Problems in Ordinary Differential Equations. Prentice-Hall, Englewood Cliffs (1971)
12. Gelfond, M., Lifschitz, V.: Action languages. Electronic Transactions on AI 3(16) (1998)
13. Hynne, F., Dano, S., Sorensen, P.G.: Full-scale model of glycolysis in Saccharomyces cerevisiae. Biophys. Chem. 94(1-2), 121-163 (2001)
14. 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)
15. Laird, J.E., Newell, A., Rosenbloom, P.S.: Soar: An architecture for general intelligence. Artificial Intelligence 33(1), 1-64 (1987)
16. Lefschetz, S.: Differential equations: Geometric theory. Dover Publications, Mineola (2005)
17. Liberzon, D., Morse, A.S.: Basic problems in stability and design of switched systems. IEEE Control Systems Magazine 19(5), 59-70 (1999)
18. Machado, A.: Learning the Temporal Dynamics of Behaviour. Psychological Review 104, 241-265 (1997)
19. 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)
20. 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)
21. Morin, P.J.: Community Ecology. Blackwell Publishing, USA (1999)
22. Pearson, C.E.: Numerical Methods in Engineering and Science. CRC Press, Boca Raton (1986)
23. Port, R.F., van Gelder, T. (eds.): Mind as Motion: Explorations in the Dynamics of Cognition. MIT Press, Cambridge, Mass (1995)
24. 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)
25. 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)
26. Robertson, D., Bundy, A., Muetzelfeldt, R., Haggith, M., Ushold, M.: Eco-Logic: Logic-Based Approaches to Ecological Modelling. MIT Press, Cambridge (1991)
27. Sharpanskykh, A., Treur, J.: Verifying Interlevel Relations within Multi-Agent Systems. In: Brewka, G., Coradeschi, S., Perini, A., Traverso, P. (eds.) ECAI2006. Proc. of the 17th European Conference on Artificial Intelligence, pp. 290-294. IOS Press, Amsterdam (2006)