A Temporal Modelling Environment for Internally Grounded Beliefs, Desires and Intentions

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 physical states over time are available, these can be analysed with respect to their relation to mental states as well. © Elsevier Science B.V. All rights reserved