Formal analysis of trace conditioning

Authors:
Tibor Bosse;Catholijn M. Jonker;Sander A. Los;Leendert Van Der Torre;Jan Treur
Affiliations:
Vrije Universiteit Amsterdam, Department of Artificial Intelligence, De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands;Radboud Universiteit Nijmegen, Nijmegen Institute for Cognition and Information, Montessorilaan 3, 6525 HR Nijmegen, The Netherlands;Vrije Universiteit Amsterdam, Department of Cognitive Psychology, Van der Boechorststraat 1, 1081 BT Amsterdam, The Netherlands;University of Luxembourg, Computer Science and Communications (CSC), Faculty of Sciences, Technology and Communication (FSTC), 6, rue Richard Coudenhove, Kalergi, L-1359, Luxembourg;Vrije Universiteit Amsterdam, Department of Artificial Intelligence, De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands
Venue:
Cognitive Systems Research
Year:
2007

Citing 4
Cited 2

A logic-based calculus of events

New Generation Computing
Mind as motion: explorations in the dynamics of cognition

Mind as motion: explorations in the dynamics of cognition
It's about time: an overview of the dynamical approach to cognition

Mind as motion
A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective

IEEE Transactions on Knowledge and Data Engineering

Modelling the reciprocal interaction between believing and feeling from a neurological perspective

BI'09 Proceedings of the 2009 international conference on Brain informatics
Learning to believe by feeling: an agent model for an emergent effect of feelings on beliefs

ISNN'10 Proceedings of the 7th international conference on Advances in Neural Networks - Volume Part II

Quantified Score

Hi-index	0.00

Visualization

Abstract

In the literature classical conditioning is usually described and analysed informally. If formalisation is used, this is often based on mathematical models based on difference or differential equations. This paper explores a formal description and analysis of the process of trace conditioning, based on logical specification and analysis methods of dynamic properties of the process. Specific types of dynamic properties are global dynamic properties, describing properties of the process as a whole, or local dynamic properties, describing properties of basic steps in a conditioning process. If the latter type of properties are specified in an executable format, they provide a temporal declarative specification of a simulation model. By a software environment these local properties can be used to actually perform simulation. Global properties can be checked automatically for simulated or other traces. Using these methods the properties of conditioning processes informally expressed by Los and Van Den Heuvel [Los, S. A., & Van Den Heuvel, C. E. (2001). Intentional and unintentional contributions to non-specific preparation during reaction time foreperiods. Journal of Experimental Psychology: Human Perception and Performance, 27, 370-386] have been formalised and verified against a specification of local properties based on Machado's [Machado, A. (1997). Learning the temporal dynamics of behaviour. Psychological Review, 104, 241-265] differential equation model.