Case analysis of criminal behaviour

Item does not contain fulltextIn this paper, it is shown how behavioural properties can be specified for three types of violent criminals. Moreover, it is shown how empirical material in the form of informal descriptions of traces of crime-related events can be formalised. Furthermore, it is shown how these formalised traces and behavioural properties can be used in automated analysis, for example in order to determine which type of criminal can have committed such a crime. Moreover, an underlying dynamical model is presented that shows causal mechanisms behind each of the behaviours, and their dependencies on the characteristics of the type of criminal and inputs in terms of stimuli from the environment.20th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2007, Kyoto, Japan, June 26-29, 200