A computational model for simulating spatial aspects of crime in urban environments

In this paper, we present a novel approach to computational modeling of social systems. By combining the abstract state machine (ASM) formalism with the multi-agent modeling paradigm, we obtain a formal semantic framework for 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 new multidisciplinary research effort broadly classified as Computational Criminology.

[1]  Pieter Hooimeijer,et al.  Advances in the Microsimulation of Demographic Behavior , 1999 .

[2]  Donald Brown,et al.  Using a multi-agent model to predict both physical and cyber criminal activity , 2000, Smc 2000 conference proceedings. 2000 ieee international conference on systems, man and cybernetics. 'cybernetics evolving to systems, humans, organizations, and their complex interactions' (cat. no.0.

[3]  Marcus Felson,et al.  ROUTINE ACTIVITIES AND CRIME PREVENTION IN THE DEVELOPINGMETROPOLIS , 1987 .

[4]  Andreas Blass,et al.  Abstract state machines capture parallel algorithms , 2003, TOCL.

[5]  Paul Wiles,et al.  The 'road to nowhere': the evidence for travelling criminals , 2000 .

[6]  Gerhard Weiss,et al.  Multiagent Systems , 1999 .

[7]  G. Nigel Gilbert,et al.  Simulation for the social scientist , 1999 .

[8]  Edsger W. Dijkstra,et al.  A note on two problems in connexion with graphs , 1959, Numerische Mathematik.

[9]  Michael Luck,et al.  A Formal Framework for Agency and Autonomy , 1995, ICMAS.

[10]  P. Brantingham,et al.  Nodes, paths and edges: Considerations on the complexity of crime and the physical environment , 1993 .

[11]  K. Sycara,et al.  This Is a Publication of the American Association for Artificial Intelligence Multiagent Systems Multiagent System Issues and Challenges Individual Agent Reasoning Task Allocation Multiagent Planning Recognizing and Resolving Conflicts Managing Communication Modeling Other Agents Managing Resources , 2022 .

[12]  Yuri Gurevich,et al.  Sequential abstract-state machines capture sequential algorithms , 2000, TOCL.

[13]  Jacques Ferber,et al.  Multi-agent simulation as a tool for analysing emergent processes in societies , 1992 .

[14]  Onn Shehory,et al.  Evaluation of modeling techniques for agent-based systems , 2001, AGENTS '01.

[15]  Yuri Gurevich,et al.  Evolving algebras 1993: Lipari guide , 1995, Specification and validation methods.

[16]  Patricia L. Brantingham,et al.  Computer Simulation as a Tool for Environmental Criminologists , 2004 .

[17]  Abder Koukam,et al.  Formal Specification and Prototyping of Multi-agent Systems , 2000, ESAW.

[18]  Michael Wooldridge,et al.  Intelligent Agents: The Key Concepts , 2001, Multi-Agent-Systems and Applications.

[19]  J. Doran,et al.  The EOS Project: modelling Upper Palaeolithic social change , 1994 .

[20]  Michael Wooldridge,et al.  Towards formal methods for agent-based systems , 1996, FME 1996.

[21]  Jacques Ferber,et al.  Multi-agent systems - an introduction to distributed artificial intelligence , 1999 .

[22]  Michael Grüninger,et al.  Introduction , 2002, CACM.

[23]  K. Koffka.  Principles Of Gestalt Psychology , 1936 .

[24]  Paul Davidsson,et al.  Agent Based Social Simulation: A Computer Science View , 2002, J. Artif. Soc. Soc. Simul..

[25]  Barbara Messing,et al.  An Introduction to MultiAgent Systems , 2002, Künstliche Intell..

[26]  Roozbeh Farahbod.  Extending and refining an abstract operational semantics of the web services archiecture for the Business Process Execution Language , 2004 .

[27]  Scott H. Decker,et al.  Armed Robbers in Action: Stickups and Street Culture , 1997 .

[28]  David J. Israel,et al.  Plans and resource‐bounded practical reasoning , 1988, Comput. Intell..

[29]  Mark Ryan,et al.  Formalisms for multi-agent systems , 1997, Knowl. Eng. Rev..

[30]  Stuart C. Shapiro,et al.  Encyclopedia of artificial intelligence, vols. 1 and 2 (2nd ed.) , 1992 .