Temporal Modelling of Intentional Dynamics

摘要

In this paper the internal dynamics of mental states based on beliefs, desires and intentions, is formalised using a temporal language. The use of a software environment to specify, simulate and analyse temporal dependencies between these intentional states in relation to behavioral traces is addressed.