Modeling Urban Crime Patterns: Viewing Multi-Agent Systems as Abstract State Machines

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.

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

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

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

[4]  H. D. McKay,et al.  Juvenile delinquency and urban areas : a study of rates of delinquency in relation to differential characteristics of local communities in American cities , 2006 .

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

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

[7]  Shari Lawrence Pfleeger,et al.  Software metrics (2nd ed.): a rigorous and practical approach , 1997 .

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

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

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

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

[12]  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 .

[13]  Nick Tilley,et al.  Criminology, Situational Crime Prevention and the Resourceful Offender , 2000 .

[14]  Shari Lawrence Pfleeger,et al.  Software Metrics : A Rigorous and Practical Approach , 1998 .

[15]  Y. Shoham.  Introduction to Multi-Agent Systems , 2002 .

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

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

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

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

[20]  Egon Börger,et al.  Abstract State Machines. A Method for High-Level System Design and Analysis , 2003 .

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

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

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

[24]  Arthur C. Graesser,et al.  Is it an Agent, or Just a Program?: A Taxonomy for Autonomous Agents , 1996, ATAL.

[25]  Egon Börger,et al.  The ASM Ground Model Method as a Foundation for Requirements Engineering , 2003, Verification: Theory and Practice.

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

[27]  O. Reiser,et al.  Principles Of Gestalt Psychology , 1936 .

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

[29]  V. Wissen,et al.  Population Issues. An Interdisciplinary Focus. The Plenum Series on Demographic Methods and Population Analysis , 1999 .

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

[31]  Patricia L. Brantingham,et al.  Patterns in Crime , 1984 .

[32]  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.