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

Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics

Volumn 4, Issue , 2005, Pages 3667-3674

  Brantingham, P L ^b   Glasser U ^a   Kinney, B ^b   Singh, K ^a   Vajihollahi, M ^a  

^a Simon Fraser U   (Canada)

^b SIMON FRASER UNIVERSITY   (Canada)

Author keywords

Abstract State Machines; Computational Criminology; Modeling; Multi Agent Systems; Simulation

Indexed keywords

ABSTRACT STATE MACHINE (ASM); COMPUTATIONAL CRIMINOLOGY; COMPUTATIONAL MODELS; MODELING;

COMPUTATIONAL METHODS; COMPUTER SIMULATION; MULTI AGENT SYSTEMS; SEMANTICS;

SYSTEMS ANALYSIS;

EID: 27944466741     PISSN: 1062922X     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (43)

1. P. J. Brantingham and P. L. Brantingham, "Introduction: The Dimensions of Crime," in Environmental Criminology (P. J. Brantingham and P. L. Brantingham, eds.), pp. 7-26, Waveland Press, 1991.
2. P. J. Brantingham and P. L. Brantingham, Patterns in Crime. New Tork: Macmillan Publishing Company, 1984.
3. A. E. Bottoms and P. Wale, "Environmental Criminology," in The Oxford Handbook of Criminology (3rd ed.), pp. 620-656, Oxford University Press, 2002.
4. R. T. Wright and S. H. Decker, Armed Robbers in Action: Stickups and Street Culture. Northeastern University Press, 1997.
5. D. K. Rossmo, Geographic Profiling. CRC Press, 2000.
6. P. J. Brantingham and P. L. Brantingham, "Computer Simulation as a Tool for Environmental Criminologists," Security Journal, pp. 22-30, 2004.
7. L. Gunderson and D. Brown, "Using a Multi-Agent Model to Predict Both Physical and Cyber Criminal Activity," IEEE International Conference on Systems, Man, and Cybernetics, vol. 4, pp. 2338-2343, 2000.
8. P. J. Brantingham, P. L. Brantingham, and U. Glässer, "Computer Simulation as a Research Tool in Criminology and Criminal Justice," Criminal Justice Matters, February 2005.
9. E. Börger and R. Stärk, Abstract State Machines: A Method for High-Level System Design and Analysis. Springer-Verlag, 2003.
10. K. P. Sycara, "Multiagent Systems," AI Magazine, pp. 79-92, 1998.
11. N. Gilbert and K. G. Troitzsch, Simulation for the Social Scientist. Open University Press, 1999.
12. M. Felson, "Routine Activities and Crime Prevention in the Developing Metropolis," Criminology, pp. 911-931, 1987.
13. P. J. Brantingham and P. L. Brantingham, "Environment, Routine and Situation: Toward a Pattern Theory of Crime," Advances in Criminological Theory, pp. 259-294, 1993.
14. P. Wiles and A. Costello, The 'Road to Nowhere': The Evidence for Travelling Criminals. London: Policing and Reducing Crime Unit, Home Office Research, Development and Statistics Directorate, 2000. (Home Office Research Study No. 207).
15. P. J. Brantingham and P. L. Brantingham, "Nodes, Paths and Edges: Considerations on the Complexity of Crime and the Physical Environment," Journal of Environmental Psychology, pp. 3-28, 1993.
16. D. Cornish and R. V. Clarke, "Introduction," The Reasoning Criminal: Rational Choice Perspectives on Offending, Research in Criminology, pp. 1-16, 1986.
17. G. F. Rengert, "The Journey to Crime: Conceptual Foundations and Policy Implications," in Crime, Policing and Place: Essays in Environmental Criminology, pp. 109-117, Routlede, 1992.
18. P. Hooimeijer and A. Oskamp, "Advances in the Microsimulation of Demographic Behaviour," in Population Issues: An Interdisciplinary Focus, The Plenum Series on Demographic Methods and Population Analysis, pp. 229-263, Plenum Press, 1999.
19. Y. Gurevich, "Evolving Algebras 1993: Lipari Guide," in Specification and Validation Methods (E. Börger, ed.), pp. 9-36, Oxford University Press, 1995.
20. Y. Gurevich, "Sequential Abstract State Machines Capture Sequential Algorithms," ACM Transactions on Computational Logic, vol. 1, pp. 77-111, July 2000.
21. A. Blass and Y. Gurevich, "Abstract State Machines Capture Parallel Algorithms," ACM Transactions on Computation Logic, vol. 4, no. 4, pp. 578-651, 2003.
22. M. Wooldridge, An Introduction to Multiagent Systems. John Wiley and Sons Ltd, 2002.
23. J. Ferber, Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence. Addison Wesley, February 1999.
24. N. Gilbert and J. Doran, Simulating Societies. UCL Press, 1995.
25. J. Doran, M.Palmer, N. Gilbert, and P. Mellars, "The EOS project: Modelling Upper Palaeolithic Social Change," in Simulating Society: The Computer Simulation of Social Phenomena (N. Gilbert and J. Doran, eds.), ch. 9, pp. 195-221, London: UCL Press, 1994.
26. A. Drogoul and J. Ferber, "Multi-Agent Simulation as a Tool for Studying Emergent Processes in Societies," in Simulating Society: The Computer Simulation of Social Phenomena (N. Gilbert and J. Doran. eds.), ch. 6, pp. 127-142, London: UCL Press, 1994.
27. P. Davidsson, "Agent Based Social Simulation: A Computer Science View," Journal of Artificial Societies and Social Simulation, vol. 5, January 2002.
28. M. d'Inverno, M. Fisher, A. Lomuscio, M. Luck, M. de Rijke, M. Ryan, and M. Wooldridge, "Formalisms For Multi-Agent Systems," in First UK Workshop on Foundations of Multi-Agent Systems, 1996.
29. M. Fisher and M. Wooldridge, "Towards Formal Methods for Agent-Based Systems," in BCS-FACS Northern Formal Methods Workshop. Electronic Workshops in Computing (D. Duke and A. Evans, eds.), Springer Verlag, 1997.
30. M. Luck and M. d'Inverno, "A Formal Framework for Agency and Autonomy," in Proceedings of the First International Conference on Multi-Agent Systems (ICMAS-95) (V. Lesser and L. Gasser, eds.), (San Francisco, CA, USA), pp. 254-260, AAAI Press, 1995.
31. V. Hilaire, A. Koukam, P. Gruer, and J. P. Müller, "Formal Specification and Prototyping of Multi-agent Systems," Lecture Notes in Computer Science, vol. 1972, 2001.
32. O. Shehory and A. Sturm, "Evaluation of Modeling Techniques for Agent-Based Systems," in Proceedings of the Fifth International Conference on Autonomous agents, pp. 624-631, ACM Press, 2001.
33. M. E. Bratman, D. Israel, and M. E. Pollack, "Plans and Resource-Bounded Practical Reasoning," Computational Intelligence, vol. 4, pp. 349-355, 1988.
34. M. Wooldridge, "Intelligent Agents: The Key Concepts," in Multi-Agent Systems and Applications II (M. Luck, V. Marik, O. Stepankova, and R. Trappl, eds.), pp. 3-43, Springer, 2001.
35. R. Farahbod, "Extending and refining an abstract operational semantics of the web services architecture for the business process execution language," Master's thesis, Simon Fraser University, Bumaby, Canada, July 2004.
36. J. Kolodner and D. Leake, "A Tutorial Introduction to Case-Based Reasoning.," in Case-Based Reasoning: Experiences, Lessons, and Future Directions (D. Leake, ed.), pp. 31-65, AAAI Press, 1996.
37. K. Koffka, Principles of Gestalt Psychology. Harcourt, 1967.
38. J. Sonnenfeld, "Geography, Perception and the Behavioral Environment," in Man, Space and the Environment (P. W. English and R. C. Mayfield, eds.), pp. 244-251, New York: Oxford University Press, 1972.
39. P. L. Brantingham, U. Glässer, K. Singh, and M. Vajihollahi, "Mastermind: Modeling and Simulation of Criminal Activity in Urban Environments," Technical Report SFU-CMPT-TR-2005-01, Simon Fraser University, February 2005.
40. P. L. Brantingham, U. Glässer, K. Singh, and M. Vajihollahi, "Mastermind: Modeling and Simulation of Criminal Activity in Urban Environments," Technical Report SFU-CMPT-TR-2005-14, Simon Fraser University, July 2005. Revised version of SFU-CMPT-TR2005-01, February 2005.
41. S. C. Shapiro, Encyclopedia of Artificial Intelligence. John Wiley & Sons, 1992.
42. E. W. Dijkstra, "A Note On Two Problems In Connection With Graphs," Numerische Mathematik, vol. 1, pp. 269-271, 1959.
43. Microsoft FSE Group, The Abstract State Machine Language. http://research.miorosoft.com/fse/asml/.