Specification and Verification of Dynamics in Cognitive Agent Models
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Geographic Information Systems and Crime Analysis
Geographic Information Systems and Crime Analysis
Cognitive and social simulation of criminal behaviour: the intermittent explosive disorder case
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Analyzing police patrol routes by simulating the physical reorganization of agents
MABS'05 Proceedings of the 6th international conference on Multi-Agent-Based Simulation
LEADSTO: a language and environment for analysis of dynamics by simulation
MATES'05 Proceedings of the Third German conference on Multiagent System Technologies
A temporal modelling environment for internally grounded beliefs, desires and intentions
Cognitive Systems Research
Combining rational and biological factors in virtual agent decision making
Applied Intelligence
On the relation between cognitive and biological modelling of criminal behaviour
Computers in Human Behavior
Hi-index | 0.00 |
In 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.