Formal analysis of trace conditioning (bibtex)
by T. Bosse, C.M. Jonker, S.A. Los, L. van der Torre, J. Treur
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 (2001) have been formalised and verified against a specification of local properties based on Machado (1997)'s differential equation model.
Reference:
Formal analysis of trace conditioning (T. Bosse, C.M. Jonker, S.A. Los, L. van der Torre, J. Treur), In Cognitive Systems Research Journal, volume 8, 2007.
Bibtex Entry:
@Article{Bosse2007,
  Title                    = {Formal analysis of trace conditioning},
  Author                   = {T. Bosse and C.M. Jonker and S.A. Los and L. van der Torre and J. Treur},
  Journal                  = {Cognitive Systems Research Journal},
  Year                     = {2007},
  Number                   = {1},
  Pages                    = {36-47},
  Volume                   = {8},

  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 (2001) have been formalised and verified against a specification of local properties based on Machado (1997)'s differential equation model.},
  Affiliation              = {icr},
  Bdsk-url-1               = {http://www.sciencedirect.com/science/article/pii/S1389041706000593},
  Timestamp                = {2013.07.26},
  Url                      = {http://www.sciencedirect.com/science/article/pii/S1389041706000593}
}
Powered by bibtexbrowser