LEADSTO: a language and environment for analysis of dynamics by simulation

Authors:
Tibor Bosse;Catholijn M. Jonker;Lourens van der Meij;Jan Treur
Affiliations:
Vrije Universiteit Amsterdam, Department of Artificial Intelligence, De Boelelaan, HV Amsterdam, The Netherlands;Nijmegen Institute for Cognition and Information, Division Cognitive Engineering, Montessorilaan, HR Nijmegen, The Netherlands;Vrije Universiteit Amsterdam, Department of Artificial Intelligence, De Boelelaan, HV Amsterdam, The Netherlands;Vrije Universiteit Amsterdam, Department of Artificial Intelligence, De Boelelaan, HV Amsterdam, The Netherlands
Venue:
IEA/AIE'2005 Proceedings of the 18th international conference on Innovations in Applied Artificial Intelligence
Year:
2005

Citing 3
Cited 0

Qualitative process theory

Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Mind as motion: explorations in the dynamics of cognition

Mind as motion: explorations in the dynamics of cognition
The imperative future: principles of executable temporal logic

The imperative future: principles of executable temporal logic

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents the language and software environment LEADSTO that has been developed to model and simulate dynamic processes in terms of both qualitative and quantitative concepts. The LEADSTO language is a declarative order-sorted temporal language, extended with quantitative means. Dynamic processes can be modelled by specifying the direct temporal dependencies between state properties in successive states. Based on the LEADSTO language, a software environment was developed that performs simulations of LEADSTO specifications, generates simulation traces for further analysis, and constructs visual representations of traces. The approach proved its value in a number of research projects in different domains.