DigForASP: A European cooperation network for logic-based AI in digital forensics

This short paper briefly describes DigForASP, a COST Action that aims to create a cooperation network for exploring the potential of the application of logic-based Artificial Intelligence in the Digital Forensics field, and to foster synergies between these fields. Specifically, the challenge is to address the Evidence Analysis phase, where evidence about possible crimes and crimes perpetrators collected from various electronic devices (by means of specialized software, and according to specific regulations) must be exploited so as to reconstruct possible events, event sequences and scenarios related to a crime. Evidence Analysis results are then made available to law enforcement, investigators, public prosecutors, lawyers and judges: it is therefore crucial that the adopted techniques guarantee reliability and verifiability, and that their result can be explained to the human actors.