Formalisation and Analysis of the Temporal Dynamics of Conditioning

  • Tibor Bosse
  • Catholijn M. Jonker
  • Sander A. Los
  • Leendert van der Torre
  • Jan Treur
Conference paper

DOI: 10.1007/11752660_5

Part of the Lecture Notes in Computer Science book series (LNCS, volume 3950)
Cite this paper as:
Bosse T., Jonker C.M., Los S.A., van der Torre L., Treur J. (2006) Formalisation and Analysis of the Temporal Dynamics of Conditioning. In: Müller J.P., Zambonelli F. (eds) Agent-Oriented Software Engineering VI. AOSE 2005. Lecture Notes in Computer Science, vol 3950. Springer, Berlin, Heidelberg

Abstract

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Tibor Bosse
    • 1
  • Catholijn M. Jonker
    • 2
  • Sander A. Los
    • 3
  • Leendert van der Torre
    • 4
    • 5
  • Jan Treur
    • 1
  1. 1.Department of Artificial IntelligenceVrije Universiteit AmsterdamAmsterdamThe Netherlands
  2. 2.Nijmegen Institute for Cognition and InformationRadboud Universiteit NijmegenNijmegenThe Netherlands
  3. 3.Department of Cognitive PsychologyVrije Universiteit AmsterdamAmsterdamThe Netherlands
  4. 4.Centrum voor Wiskunde en InformaticaAmsterdamThe Netherlands
  5. 5.Delft University of TechnologyDelftThe Netherlands

Personalised recommendations