Abstract
The paper presents an application of temporal knowledge representation and reasoning techniques to forensic analysis, especially in answering certain investigative questions relating to time-sensitive information about a criminal or terrorist activity. A brief introduction to a temporal formalism called Point-Interval Logic is presented. A set of qualitative and quantitative temporal facts is taken from the London bombing incident that took place on July 7, 2005, to illustrate the use of temporal reasoning for criminal forensics. 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 counterterrorist investigators. A software tool called Temper that implements Point-Interval Logic is used to run the analysis and reasoning presented in the paper.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ishaque, M.; Zaidi, A. K; and Levis, A. H.: On Applying Point-Interval Logic to Criminal Forensics, Proc. Of 2006 Command and Control Research and Technology Symposium (CCRTS). San Diego, CA. (2006)
Findlay, J. N.: Time: A treatment of some puzzles, Aust. J. Phil., vol. 19.216–235 (1941)
Prior, A. N.: Diodoran modalities, Phil. Quart., vol. 5. 205–213 (1955)
Kautz, H.: Temporal Reasoning, In The MIT Encyclopedia of Cognitive Science, MIT Press, Cambridge. (1999)
Allen, J. F.: Maintaining Knowledge About Temporal Intervals, Communications of ACM, 26. 832–843 (1983)
Ladkin, P. B. and Maddux, R. D.: On binary constraint problems. Journal of the Association for Computing Machinery. 41(3):435–469 (1994)
Vilain, M. and Kautz, H.: Constraint-propagation algorithms for temporal reasoning. In Proceedings of the Fifth National Conference on Artificial Intelligence. 377–382 (1986)
Ladkin, P. B., and Maddux, R. D.: Representation and reasoning with convex time intervals, Tech. Report KES.U.88.2, Kestrel Institute. (1988)
Vilain, M., Kautz, H., and Van Beek, P.: Constraint propagation algorithms for temporal reasoning: a revised report. In Readings in Qualitative Reasoning about Physical Systems, San Mateo, CA, Morgan Kaufman. 373–381 (1990)
Gerevini, A. and Schubert, L.: Efficient Temporal Reasoning through Timegraphs. In Proceedings of IJCAI-93.(1993)
Drakengren, T. and Jonsson, P.: Eight Maximal Tractable Subclasses of Allen’s Algebra with Metric Time, Journal of Artificial Intelligence Research, 7.25–45 (1997)
Zaidi, A. K.: On Temporal Logic Programming Using Petri Nets. IEEE Transactions on Systems, Man and Cybernetics, Part A. 29(3):245–254 (1999)
Zaidi, A. K., and Levis, A. H.: TEMPER: A Temporal Programmer for Time-sensitive Control of Discrete-event Systems. IEEE Transaction on Systems, Man, and Cybernetic. (2001) 31(6):485–496
Rauf, I. and Zaidi, A. K.: A Temporal Programmer for Revising Temporal Models of Discrete- Event Systems. Proc. of 2002 IEEE International Conference on Systems, Man, and Cybernetics, Hemmamat, Tunisia.(2002)
Zaidi, A. K., and Wagenhals, L. W.: Planning Temporal Events Using Point-Interval Logic. Special Issue of Mathematical and Computer Modeling (43)1229–1. (2006)
Ishaque, S. M. M.: On Temporal Planning and Reasoning with Point Interval Logic, MS Thesis, CS, George Mason University, VA. (2006)
Ishaque M.; Mansoor F.; and Zaidi A. K. An Inference Mechanism for Point-Interval Logic, The 21st International FLAIRS Conference, Association for the Advancement of Artificial Intelligence, Coconut Grove, FL. (2008)
Ma, C.: On Planning Time Sensitive Operations, MS Thesis, SE, George Mason University, VA. (1999)
Busacker, R. G., and Saaty, T. L.: Finite Graphs and Networks: an introduction with application. New York.: McGraw-Hill. (1965)
Warshal,l S.: A theorem on boolean matrices, Journal of the ACM, 9, 1,11–12. (1962)
Boost Graph Library. Information Available at: http://www.boost.org/
Grahpviz. Information Available at: http://www.graphviz.org/
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag/Wien
About this chapter
Cite this chapter
Zaidi, A.K., Ishaque, M., Levis, A.H. (2009). Combining Qualitative and Quantitative Temporal Reasoning for Criminal Forensics. In: Memon, N., David Farley, J., Hicks, D.L., Rosenorn, T. (eds) Mathematical Methods in Counterterrorism. Springer, Vienna. https://doi.org/10.1007/978-3-211-09442-6_5
Download citation
DOI: https://doi.org/10.1007/978-3-211-09442-6_5
Publisher Name: Springer, Vienna
Print ISBN: 978-3-211-09441-9
Online ISBN: 978-3-211-09442-6
eBook Packages: Computer ScienceComputer Science (R0)