Modeling Urban Crime Patterns: Viewing Multi-Agent Systems as . . .

By combining the abstract state machine (ASM) formalism with the multi-agent modeling paradigm, we obtain a formal framework for semantic modeling and integration of established theories of crime analysis and prediction. We focus here on spatial and temporal aspects of crime in urban areas. Our work contributes to a novel interdisciplinary research effort broadly classified as Computational Criminology