Simulation and analysis of adaptive agents: An integrative modeling approach

Advances in Complex Systems

Volumn 10, Issue 3, 2007, Pages 335-357

  Bosse, Tibor ^a   Jonker, Catholijn M ^b   Treur, Jan ^a  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

^b DELFT UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

Adaptive agents; Aplysia; Integrative; Learning; Modeling; Representation

Indexed keywords

EID: 35548942359     PISSN: 02195259     EISSN: None     Source Type: Journal    
DOI: 10.1142/S021952590700115X     Document Type: Article

References (25)

1. Balkenius, C. and Morén, J., Dynamics of a classical conditioning model, Autonom. Robot. 7 (1999) 41-56.
2. Bickhard, M. H., Representational content in humans and machines, J. Exp. Theor. Artif Intell. 5 (1993) 285-333.
3. Bosse, T., Jonker, C. M., Los, S. A., Torre, L. van der and Treur, J., Formalisation and analysis of the temporal dynamics of conditioning, in Proc. 6th Int. Workshop on Agent-Oriented Software Engineering (AOSE'05), Lecture Notes in Artificial Intelligence, Vol. 3950, eds. Mueller, J. P. and Zambonelli, F. (Springer Verlag, 2006), pp. 54-68
4. [Extended version in Cogn. Syst. Res. J. 8 (2007) 36-47.]
5. Bosse, T., Jonker, C. M., Meij, L. van der and Treur, J., LEADSTO: A Language and Environment for Analysis of Dynamics by SimulaTiOn, in Proc. 3rd German Conference on Multi-Agent System Technologies (MATES'05), Lecture Notes in Artificial Intelligence, Vol. 3550, eds. Eymann, T. et al. (Springer Verlag, 2005), pp. 165-178
6. [Extended version in Int. J. Artif. Intell. Tools 16 (2007) 435-464.]
7. Clarke, E. M., Grumberg, O. and Peled, D. A., Model Checking (MIT Press, Cambridge, Massachusetts, 1999).
8. Hindriks, K. V., de Boer, F. S., van der Hoek, W. and Meyer J.-J. Ch., Agent programming in 3APL, in J. Auton. Ag. Multi-Ag. Syst. 2 (1999) 357-401.
9. Fisher, M., Temporal development methods for agent-based systems, J. Autonom. Agents Multi-Agent Syst. 10 (2005) 41-66.
10. Galton, A., Temporal logic, in Stanford Encyclopedia of Philosophy, http://plato.stanford.edu/entries/logic-temporal/#2 (2003).
11. Galton, A., Operators vs arguments: The ins and outs of reification, Synthese 150 (2006) 415-441.
12. Gleitman, H., Psychology (W. W. Norton & Company, New York, 1999).
13. Hawkins, R. D. and Kandel, E. R., Is there a cell-biological alphabet for simple forms of learning? Psychol. Rev. 91 (1984) 375-391.
14. Jonker, C. M., Snoep, J. L., Treur, J., Westerhoff, H. V. and Wijngaards, W. C. A. BDI-modelling of intracellular dynamics, in Proc. 1st Int. Workshop on Bioinformatics and Multi-Agent Systems (BIXMAS'02), eds. Williams A. B. and Decker K. (AAMAS, 2002), pp. 15-23.
15. Jonker, C. M. and Treur, J., A temporal-interactivist perspective on the dynamics of mental states, Cogn. Syst. Res. J. 4 (2003) 137-155.
16. Jonker, C. M. and Treur, J., Compositional verification of multi-agent systems: A formal analysis of pro-activeness and reactiveness, Int. J. Coop. Inform. Syst. 11 (2002) 51-92.
17. Keijzer, F., Representation in dynamical and embodied cognition, Cogn. Syst. Res. J. 3 (2002) 275-288.
18. Kim, J., Philosophy of Mind (Westview Press, 1996).
19. Machado, A., Learning the temporal dynamics of behaviour, Psychol. Rev. 104 (1997) 241-265.
20. McMillan, K. L., Symbolic Model Checking: An Approach to the State Explosion Problem, PhD thesis, School of Computer Science, Carnegie Mellon University, Pittsburgh, 1992 (Kluwer Academic Publishers, 1993).
21. Pavlov, I. P., Conditioned Reflexes (Oxford University Press, Oxford, 1927).
22. Port, R. F. and van Gelder, T. J., Mind as Motion: Explorations in the Dynamics of Cognition (MIT Press, Cambridge, Massachusetts, 1995).
23. Reiter, R., Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems (MIT Press, 2001).
24. Sharpanskykh, A. and Treur, J., Verifying interlevel relations within multi-agent systems, in Proc. 17th European Conf. on Artificial Intelligence (ECAI'06), eds. Brewka, G., Coradeschi, S., Perini, A. and Traverso, P. (IOS Press, 2006), pp. 290-294.
25. Sun, R., Symbol grounding: A new look at an old idea, Philos. Psychol. 13(2) (2000) 149-172.