Search

Item does not contain fulltext, 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.

6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005, Contains fulltext : 56944.pdf (publisher's version ) (Closed access), In order to create adaptive Agent Systems with abilities matching those of their biological counterparts, a natural approach is to incorporate classical conditioning mechanisms into such systems. However, existing models for classical conditioning are usually based on differential equations. Since the design of Agent Systems is traditionally based on qualitative conceptual languages, these differential equations are often not directly appropriate to serve as an input for Agent System design. To deal with this problem, this paper explores a formal description and analysis of a conditioning process based on logical specification and analysis methods of dynamic properties of conditioning. Specific types of dynamic properties are global properties, describing properties of the process as a whole, or local 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. Global properties can be checked automatically for simulated or other traces. Using these methods the properties of conditioning processes informally expressed by Los and Heuvel [8] have been formalised and verified against a specification of local properties based on Machado [9]'s mathematical model.

6th International Workshop on Agent-Oriented Software Engineering, (AOSE-2005), Contains fulltext : 56823.pdf (publisher's version ) (Closed access), In order to create adaptive Agent Systems with abilities matching those of their biological counterparts, a natural approach is to incorporate classical conditioning mechanisms into such systems. However, existing models for classical conditioning are usually based on differential equations. Since the design of Agent Systems is traditionally based on qualitative conceptual languages, these differential equations are often not directly appropriate to serve as an input for Agent System design. To deal with this problem, this paper explores a formal description and analysis of a conditioning process based on logical specification and analysis methods of dynamic properties of conditioning. Specific types of dynamic properties are global properties, describing properties of the process as a whole, or local 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. Global properties can be checked automatically for simulated or other traces. Using these methods the properties of conditioning processes informally expressed by Los and Heuvel [7] have been formalised and verified against a specification of local properties based on Machado [8]'s mathematical model.

Contains fulltext : 60242.pdf (publisher's version ) (Closed access)

Contains fulltext : 111114.pdf (author's version ) (Open Access)