Digital forensics and investigations meet artificial intelligence

Costantini, Stefania; Gasperis, Giovanni De; Olivieri, Raffaele

doi:10.1007/s10472-019-09632-y

Cited by 51 publications

(23 citation statements)

References 35 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…In a more recent study conducted by Costantini, De Gasperis, and Olivieri (2019), the integration of AI into digital forensics has been explored in adequate detail. The study regards AI as an enabling technology for digital forensics.…”

Section: Literature Reviewmentioning

confidence: 99%

The impact of automation and artificial intelligence on digital forensics

Jarrett

Choo

2021

WIREs Forensic Science

View full text Add to dashboard Cite

Artificial intelligence (AI; broadly defined to include Machine Learning and Deep Learning) and automation are two current and reciprocal computing disciplines. As such, AI‐powered software, programs, operating systems, and devices are developed on a massive scale to automate a wide variety of processes and operations. The principal aims of integrating AI and automation include efficiency, accuracy, and cost‐reduction. While there is still an on‐going cost associated with automation, the cost is typically many magnitudes smaller than the on‐going costs incurred to get the job done manually, which increases the likelihood of generating a high return on investment. One emerging application of AI and automation is digital forensics. For example, US Federal and State Law Enforcement Agencies have started exploring the utility of AI‐powered technology to make the job of digital forensics more impactful. This trend can maximize the accuracy of digital forensic investigations, enabling the resolution of more digital investigations. This article is categorized under: Digital and Multimedia Science > Cyber Threat Intelligence Digital and Multimedia Science > Artificial Intelligence Digital and Multimedia Science > Cybercrime Investigation

show abstract

Section: Literature Reviewmentioning

confidence: 99%

The impact of automation and artificial intelligence on digital forensics

Jarrett

Choo

2021

WIREs Forensic Science

View full text Add to dashboard Cite

show abstract

“…The application presented in this section is motivated by the challenges of evidence-based digital forensics (Costantini et al 2019), that goes beyond data analysis. We consider a fictional crime story inspired by Agatha Christie's novel "Hercule Poirot's Christmas".…”

Section: Evidence-based Digital Forensicsmentioning

confidence: 99%

Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming

Izmirlioglu¹,

Erdem²

2020

Theory and Practice of Logic Programming

View full text Add to dashboard Cite

We propose a novel formal framework (called 3D-NCDC-ASP) to represent and reason about cardinal directions between extended objects in 3-dimensional (3D) space, using Answer Set Programming (ASP). 3D-NCDC-ASP extends Cardinal Directional Calculus (CDC) with a new type of default constraints, and NCDC-ASP to 3D. 3D-NCDC-ASP provides a flexible platform offering different types of reasoning: Nonmonotonic reasoning with defaults, checking consistency of a set of constraints on 3D cardinal directions between objects, explaining inconsistencies, and inferring missing CDC relations. We prove the soundness of 3D-NCDC-ASP, and illustrate its usefulness with applications.

show abstract

“…The B.C. case offuscated by using different names and the code of the logical judge are implemented in SWISH 6 and can be accessed at https://swish.swi-prolog.org/p/casoValjean.pl. Figure 1 shows a screenshot from that web page.…”

Section: The Logical Judge and The Case Of Valjeanmentioning

confidence: 99%

“…From those early attempts, much progress has been made: research on deontic and defeasible reasoning [1,5], ontological reasoning [7], and argumentation [8,18] is extremely lively and helps disclosing the many connections between logic programming (and, more in general, computational logic and automated reasoning) and legal reasoning. The application of automated reasoning to digital forensics is another promising research direction [6] whose potential is witnessed by the ongoing "Digital Forensics: Evidence Analysis via Intelligent Systems and Practices" (DigForASP) COST Action 1 . DigForASP exploits computational logic to reason on crimes evidences to reconstruct possible scenarios related to the crime, even when knowledge is fragmented and incomplete.…”

Section: Introductionmentioning

confidence: 99%

Logical Judges Challenge Human Judges on the Strange Case of B.C.-Valjean

Mascardi

Pellegrini

2020

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

On May 12th, 2020, during the course entitled Artificial Intelligence and Jurisdiction Practice organized by the Italian School of Magistracy, more than 70 magistrates followed our demonstration of a Prolog logical judge reasoning on an armed robbery case. Although the implemented logical judge is just an exercise of knowledge representation and simple deductive reasoning, a practical demonstration of an automated reasoning tool to such a large audience of potential end-users represents a first and unique attempt in Italy and, to the best of our knowledge, in the international panorama. In this paper we present the case addressed by the logical judge-a real case already addressed by a human judge in 2015-and the feedback on the demonstration collected from the attendees.

show abstract

Digital forensics and investigations meet artificial intelligence

Cited by 51 publications

References 35 publications

The impact of automation and artificial intelligence on digital forensics

The impact of automation and artificial intelligence on digital forensics

Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming

Logical Judges Challenge Human Judges on the Strange Case of B.C.-Valjean

Contact Info

Product

Resources

About