Accession Number:

ADA460519

Title:

On Applying Point-Interval Logic to Criminal Forensics

Descriptive Note:

Technical paper

Corporate Author:

GEORGE MASON UNIV FAIRFAX VA

Report Date:

2006-01-01

Pagination or Media Count:

16.0

Abstract:

Application of a temporal logic to forensic analysis, especially in answering certain investigative questions relating to time-sensitive information, is presented. A set of temporal facts is taken from the London bombing incident that took place on July 7, 2005, to illustrate the approach. The information used in the illustration is gathered through the online news sites. A hypothetical investigation on the information is carried out to identify certain time intervals of potential interest to crime investigators. A software tool called Temper that implements temporal logic is used.

Subject Categories:

  • Sociology and Law
  • Statistics and Probability
  • Computer Programming and Software
  • Unconventional Warfare

Distribution Statement:

APPROVED FOR PUBLIC RELEASE