Formal analysis of trace conditioning

Cognitive Systems Research

Volumn 8, Issue 1, 2007, Pages 36-47

  Bosse, Tibor ^a   Jonker, Catholijn M ^b   Los, Sander A ^a   van der Torre, Leendert ^c   Treur, Jan ^a  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

^b RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

^c UNIVERSITY OF LUXEMBOURG   (Luxembourg)

Author keywords

Differential equation; Dynamics; Formal analysis; Temporal modelling; Trace conditioning

Indexed keywords

COMPUTER SIMULATION; DIFFERENCE EQUATIONS; MATHEMATICAL MODELS;

FORMAL ANALYSIS; TEMPORAL MODELLING; TRACE CONDITIONING;

COGNITIVE SYSTEMS;

ARTICLE; COMPUTER PROGRAM; COMPUTER SIMULATION; CONDITIONING; DYNAMICS; MATHEMATICAL MODEL; PRIORITY JOURNAL;

EID: 33846636393     PISSN: None     EISSN: 13890417     Source Type: Journal    
DOI: 10.1016/j.cogsys.2005.08.001     Document Type: Article

References (21)

1. Ashby R. Design for a brain. 2nd ed. (1960), Chapman & Hall, London
2. Barringer H., Fisher M., Gabbay D., Owens R., and Reynolds M. The Imperative Future: Principles of Executable Temporal Logic (1996), Research Studies Press Ltd. and John Wiley & Sons
3. Bosse T., Jonker C.M., van der Meij L., and Treur J. LEADSTO: a language and environment for analysis of dynamics by simulation. In: Eymann T., et al. (Ed). Proceedings of the 3rd German conference on multi-agent system technologies, MATES'05. LNAI 3550 (2005), Springer-Verlag 165-178
4. Busemeyer J., and Townsend J.T. Decision field theory: a dynamic-cognitive approach to decision making in an uncertain environment. Psychological Review 100 (1993) 432-459
5. Fisher M., and Wooldridge M. On the formal specification and verification of multi-agent systems. International Journal of Cooperative Information Systems 6 (1997) 67-94
6. Gallistel C.R., and Gibbon J. Time, rate, and conditioning. Psychological Review 107 (2000) 289-344
7. Jonker, C. M., & Treur, J. (2002). Analysis of the dynamics of reasoning using multiple representations. In: W. D. Gray, & C. D. Schunn (Eds.), Proceedings of the 24th annual conference of the cognitive science society, CogSci 2002 (pp. 512-517). Mahwah, NJ: Lawrence Erlbaum Associates, Inc. Extended version to appear in Applied Artifical Intelligence Journal, vol. 21 (2007).
8. Jonker C.M., and Treur J. A temporal-interactivist perspective on the dynamics of mental states. Cognitive Systems Research Journal 4 (2003) 137-155
9. Jonker C.M., and Treur J. Modelling the dynamics of reasoning processes: reasoning by assumption. Cognitive Systems Research Journal 4 (2003) 119-136
10. Jonker C.M., Treur J., and de Vries W. Temporal analysis of the dynamics of beliefs, desires, and intentions. Cognitive Science Quarterly 2 (2002) 471-494
11. Jonker C.M., Treur J., and Wijngaards W.C.A. A temporal modelling environment for internally grounded beliefs, desires and intentions. Cognitive Systems Research Journal 4 3 (2003) 191-210
12. Kowalski R., and Sergot M. A logic-based calculus of events. New Generation Computing 4 (1986) 67-95
13. Los S.A., Knol D.L., and Boers R.M. The foreperiod effect revisited: conditioning as a basis for nonspecific preparation. Acta Psychologica 106 (2001) 121-145
14. Los S.A., and Van Den Heuvel C.E. Intentional and unintentional contributions to nonspecific preparation during reaction time foreperiods. Journal of Experimental Psychology: Human Perception and Performance 27 (2001) 370-386
15. Machado A. Learning the temporal dynamics of behaviour. Psychological Review 104 (1997) 241-265
16. Niemi P., and Naatanen R. Foreperiod and simple reaction time. Psychological Bulletin 89 (1981) 133-162
17. In: Port R.F., and van Gelder T. (Eds). Mind as motion: Explorations in the dynamics of cognition (1995), MIT Press, Cambridge, Mass
18. Reiter R. Knowledge in action: Logical foundations for specifying and implementing dynamical systems (2001), MIT Press
19. Rist F., and Cohen C. Sequential effects in the reaction times of schizophrenics: crossover and modality shift effects. In: Steinhauer E.R., Gruzelier J.H., and Zubin J. (Eds). Neuropsychology, psychophysiology and information processing. Handbook of schizophrenia vol. 5 (1991), Elsevier, Amsterdam 241-271
20. van Eck P., Engelfriet J., Fensel D., Harmelen F., van Venema Y., and Willems M. A survey of languages for specifying dynamics: A knowledge engineering perspective. IEEE Transactions on Knowledge and Data Engineering 13 (2001) 462-496
21. van Gelder, T. J., & Port, R. F. (1995). It's About time: an overview of the dynamical approach to cognition. In: Port and van Gelder (1995) (pp. 1-43).