Abstract
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
... read more