On Applying Point-Interval Logic to Criminal Forensics

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 2006
Accession Number
ADA460519

Entities

People

  • Abbas K. Zaidi
  • Alexander H. Levis
  • Mashood Ishaque

Organizations

  • George Mason University

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Abstracts
  • Air Force
  • Clocks
  • Criminals
  • Explosions
  • Forensic Analysis
  • Inference Engines
  • Information Operations
  • Intervals
  • Language
  • Models
  • Numbers
  • Petri Nets
  • Real Numbers
  • Specifications
  • User Interface
  • Verification

Readers

  • Criminal Law
  • Mathematical Modeling and Probability Theory.
  • Strategic Security Studies