Abstract
Evidence analysis is one of the Digital Forensics tasks and involves examining fragmented incomplete knowledge and reasoning on it, in order to reconstruct plausible crime scenarios. After more than one year of activity within the DigForASP COST Action, the lack of real data about movements of people in crime scenes emerged as a major limitation to the need of testing the DigForASP prototypes that exploit Artificial Intelligence and Automated Reasoning for evidence analysis.
In this paper we present DigForSim, an Agent Based Modeling and Simulation tool aimed at producing synthetic, controllable data on the movements of agents in the crime scene, in form of files logging the agents’ position at given time points. These log files serve as benchmarks for the DigForASP reasoning prototypes.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
- 2.
CA17124, https://digforasp.uca.es, funded for four years starting from 09/2018 by the European Cooperation in Science and Technology (COST, www.cost.eu).
- 3.
https://github.com/VivianaMascardi/DigForSim and https://github.com/VivianaMascardi/DigForReason, respectively; Alessandro Biagetti’s Master Thesis (with many experiments, figures and screenshots that could not be inserted in this paper for space constraints) and a link to a video showing DigForSim at work are also available in the DigForSim repository.
- 4.
- 5.
- 6.
- 7.
- 8.
- 9.
- 10.
- 11.
- 12.
- 13.
- 14.
- 15.
- 16.
References
Ancona, D., Ferrando, A., Mascardi, V.: Comparing trace expressions and linear temporal logic for runtime verification. In: Ábrahám, E., Bonsangue, M., Johnsen, E.B. (eds.) Theory and Practice of Formal Methods. LNCS, vol. 9660, pp. 47–64. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-30734-3_6
Axelrod, R.: The Complexity of Cooperation: Agent-Based Models of Competitionand Collaboration. Princeton University Press, Princeton (1997)
Bellifemine, F.L., Caire, G., Greenwood, D.: Developing Multi-agent Systems with JADE. Wiley, Hoboken (2007)
Bordini, R.H., Hübner, J.F., Wooldridge, M.: Programming Multi-agent Systems in AgentSpeak Using Jason. Wiley, Hoboken (2007)
Bosse, T., Gerritsen, C.: Agent-based simulation of the spatial dynamics of crime: on the interplay between criminal hot spots and reputation. In: AAMAS (2), pp. 1129–1136 (2008)
Bosse, T., Gerritsen, C.: Comparing crime prevention strategies by agent-based simulation. In: IAT, pp. 491–496. IEEE Computer Society (2009)
Conway, A., James, J.I., Gladyshev, P.: Development and initial user evaluation of a virtual crime scene simulator including digital evidence. In: James, J.I., Breitinger, F. (eds.) ICDF2C 2015. LNICST, vol. 157, pp. 16–26. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-25512-5_2
Franceschini, L.: RML: runtime monitoring language: a system-agnostic DSL for runtime verification. In: Programming, pp. 28:1–28:3. ACM (2019)
Groff, E.R., Johnson, S.D., Thornton, A.: State of the art in agent-based modeling of urban crime: an overview. J. Quant. Criminol. 35(1), 155–193 (2019)
Howard, T.L.J., Murta, A.D., Gibson, S.: Virtual environments for scene of crime reconstruction and analysis. In: Visual Data Exploration and Analysis VII, pp. 41–48 (2000)
Karabiyik, U., Mousas, C., Sirota, D., Iwai, T., Akdere, M.: A virtual reality framework for training incident first responders and digital forensic investigators. In: Bebis, G., et al. (eds.) ISVC 2019. LNCS, vol. 11845, pp. 469–480. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-33723-0_38
Liberman, A., Kario, D., Mussel, M., et al.: Cell studio: a platform for interactive, 3D graphical simulation of immunological processes. APL Bioeng. 2(2), 026107 (2018)
Luke, S., Cioffi-Revilla, C., Panait, L., Sullivan, K., Balan, G.: MASON: a multiagent simulation environment. Simulation 81(7), 517–527 (2005)
Madey, G., Kaisler, S.H.: Computational modeling of social and organizational system (2008). www3.nd.edu/~gmadey/Activities/CMSOS-Tutorial.pdf
Mascarenhas, S., Guimarães, M., Prada, R., et al.: A virtual agent toolkit for serious games developers. In: 2018 IEEE CIG Conference, pp. 1–7, August 2018
Pokahr, A., Braubach, L., Lamersdorf, W.: Jadex: a BDI reasoning engine. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.) Multi-Agent Programming. MSASSO, vol. 15, pp. 149–174. Springer, Boston, MA (2005). https://doi.org/10.1007/0-387-26350-0_6
Rao, A.S., Georgeff, M.P.: BDI agents: from theory to practice. In: Lesser, V.R., Gasser, L. (eds.) Proceedings of the 1st International Conference on MAS, pp. 312–319. The MIT Press (1995)
Renoux, J., Klügl, F.: Simulating daily activities in a smart home for data generation. In: WSC, pp. 798–809. IEEE (2018)
Sernani, P., Claudi, A., Calvaresi, P., Accattoli, D., Tofani, R., Dragoni, A.F.: Using 3D simulators for the ambient assisted living. In: AI-AM/NetMed@ECAI, pp. 16–20 (2014)
Taillandier, P., et al.: Building, composing and experimenting complex spatial models with the GAMA platform. GeoInformatica 23(2), 299–322 (2018). https://doi.org/10.1007/s10707-018-00339-6
Wang, Z., et al.: Cooperative ramp merging system: agent-based modeling and simulation using game engine. SAE Int. J. Connected Autom. Veh. 2, 115–128 (2019)
Wilensky, U., Rand, W.: An Introduction to Agent-Based Modeling: Modeling Natural, Social, and Engineered Complex Systems with NetLogo. MIT Press, Cambridge (2015)
Acknowledgements
This paper is based upon work from COST Action DigForASP, supported by COST (European Cooperation in Science and Technology). We acknowledge all the DigForASP partners for the exciting and constructive discussions.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Biagetti, A., Ferrando, A., Mascardi, V. (2020). The DigForSim Agent Based Simulator of People Movements in Crime Scenes. In: Demazeau, Y., Holvoet, T., Corchado, J., Costantini, S. (eds) Advances in Practical Applications of Agents, Multi-Agent Systems, and Trustworthiness. The PAAMS Collection. PAAMS 2020. Lecture Notes in Computer Science(), vol 12092. Springer, Cham. https://doi.org/10.1007/978-3-030-49778-1_4
Download citation
DOI: https://doi.org/10.1007/978-3-030-49778-1_4
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-49777-4
Online ISBN: 978-3-030-49778-1
eBook Packages: Computer ScienceComputer Science (R0)