On Applying Point-Interval Logic to Criminal Forensics (Student Paper)

Abstract

Application of a temporal logic to forensic analysis, especially in answering certain investigative questions related 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
Jun 01, 2006
Accession Number
ADA463356

Entities

People

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

Organizations

  • George Mason University

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Abstracts
  • Command And Control
  • Criminals
  • Explosions
  • Forensic Analysis
  • Information Operations
  • Intervals
  • Language
  • Numbers
  • Rational Numbers
  • Reasoning
  • Robotics
  • Standards
  • Time Intervals

Readers

  • Artificial Intelligence
  • Criminal Law
  • Geospatial Intelligence and Artificial Intelligence Analytics