No full text
Article (Scientific journals)
Formal analysis of trace conditioning
Bosse, T.; Jonker, C. M.; Los, S. A. et al.
2007In Cognitive Systems Research, 8 (1), p. 36–47
Peer Reviewed verified by ORBi
 

Files


Full Text
No document available.

Send to



Details



Keywords :
Trace conditioning; Dynamics; Temporal modelling; Formal analysis; Differential equation
Abstract :
[en] 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.
Disciplines :
Computer science
Identifiers :
UNILU:UL-ARTICLE-2010-218
Author, co-author :
Bosse, T. ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Jonker, C. M. ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Los, S. A. ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
van der Torre, Leon ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Treur, J. ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
External co-authors :
no
Language :
English
Title :
Formal analysis of trace conditioning
Publication date :
2007
Journal title :
Cognitive Systems Research
ISSN :
1389-0417
Publisher :
Elsevier Science
Volume :
8
Issue :
1
Pages :
36–47
Peer reviewed :
Peer Reviewed verified by ORBi
Available on ORBilu :
since 01 March 2016

Statistics


Number of views
61 (0 by Unilu)
Number of downloads
0 (0 by Unilu)

Scopus citations®
 
7
Scopus citations®
without self-citations
1
OpenCitations
 
8
WoS citations
 
8

Bibliography


Similar publications



Contact ORBilu