The DigForSim Agent Based Simulator of People Movements in Crime Scenes

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.