Wouter C. A. Wijngaards

Learn More
1 In this paper the internal dynamics of mental states, in particular states based on beliefs, desires and intentions, is formalised using a temporal language. A software environment is presented that can be used to specify, simulate and analyse temporal dependencies between mental states in relation to traces of them. If also relevant data on internal(More)
A BDI-based continuous-time modelling approach for intracellular dynamics is presented. It is shown how temporalized BDI-models make it possible to model intracellular biochemical processes as decision processes. By abstracting from some of the details of the biochemical pathways, the model achieves understanding in nearly intuitive terms, without losing(More)
The living cell exists by virtue of thousands of nonlinearly interacting processes. This complexity greatly impedes its understanding. The standard approach to the calculation of the behaviour of the living cell, or part thereof, integrates all the rate equations of the individual processes. If successful extremely intensive calculations often lead the(More)
In this paper reduction and its pragmatics are discussed in the light of the development in Computer Science of languages to describe processes. The design of higher-level description languages within Computer Science has had the aim of allowing for description of the dynamics of processes in the (physical) world on a higher level avoiding all (physical)(More)
In this paper a modelling approach to the dynamics within a multi-agent organisation is presented. A declarative, executable specification language for dynamics within an organisation is proposed as a basis for simulation. Moreover, to be able to specify and analyse dynamic properties within an organisation, another declarative specification language is put(More)
Existing chemical models of bacteria are complicated, due to the thousands of interacting chemical reactions within the cell. To gain a higher level of understanding, more transparent and abstract models are needed. In this paper an intentional dynamic modelling approach is introduced and used to simulate the behaviour of Escherichia coli. A model of the(More)
In this paper a modelling approach to the dynamics within a multi-agent organisation is presented. A declarative, executable temporal modelling language for organisation dynamics is proposed as a basis for simulation. Moreover, to be able to specify and analyse dynamic properties, another temporal language is put forward, which is much more expressive than(More)
Within a design process, the evaluation of a candidate design solution against a set of requirements may be hard, especially when the requirements concern dynamic properties. For a component-based design, evaluation of the dynamics can be based on dynamic properties of the components, and the way in which they are connected. In this paper an automated(More)
Existing (embodied) chemical models of bacteria are rather complex, due to the thousands of interacting chemical reactions within the cell. To gain a higher level of understanding, more transparent and, thus more abstract, models are needed. Intentional models are sometimes advocated to gain transparent models of complex dynamical systems. However, a main(More)