Logics of time and computation
Logics of time and computation
Hidden order: how adaptation builds complexity
Hidden order: how adaptation builds complexity
Mind as motion: explorations in the dynamics of cognition
Mind as motion: explorations in the dynamics of cognition
Dynamic representation of decision-making
Mind as motion
Growth dynamics in development
Mind as motion
The imperative future: principles of executable temporal logic
The imperative future: principles of executable temporal logic
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
LEADSTO: a language and environment for analysis of dynamics by simulation
MATES'05 Proceedings of the Third German conference on Multiagent System Technologies
A temporal modelling environment for internally grounded beliefs, desires and intentions
Cognitive Systems Research
Integrating agent models and dynamical systems
DALT'07 Proceedings of the 5th international conference on Declarative agent languages and technologies V
Methods for model-based reasoning within agent-based Ambient Intelligence applications
Knowledge-Based Systems
Hi-index | 0.00 |
To analyze the disorders of their patients, psychotherapists often have to get insight in adaptive dynamical systems. Analysis of dynamical systems usually is performed using mathematical techniques. Such an analysis is not precisely the type of reasoning performed in psychotherapy practice. In this article, it is shown how practical reasoning about dynamic properties of adaptive dynamical systems within psychotherapy can be described using a high-level logical language to describe dynamics. Using this language, an executable model has been developed of the dynamics of eating regulation disorders. Based on this model, a number of simulation traces have been generated, both for well-functioning situations and for different types of malfunctioning situations that correspond to the first phase of well-known disorders such as anorexia (nervosa), obesitas, and bulimia. Next, it is shown how such traces can be automatically analyzed against a number of dynamic properties.