Assumption Based Peg Unification for Crime Scenario Modelling

An important cause of miscarriages of justice is the failure of crime investigators and lawyers to consider important plausible explanation for the available evidence. Recent research has explored the development of decision support systems that (i) assist human crime investigators by proposing plausible crime scenarios explaining given evidence, and (ii) provide the means to analyse such scenarios. While such approaches can generate useful explanations, they are inevitably restricted by the limitations of formal abductive inference mechanisms. Building on work presented previously at this venue, this paper characterises an important class of scenarios, containing “alternative suspects” or “hidden objects”, which cannot be synthesised robustly using conventional abductive inference mechanisms. The work is then extended further by proposing a novel inference mechanism that enables the generation of such scenarios.

[1]  Jeroen Keppens,et al.  Probabilistic abductive computation of evidence collection strategies in crime investigation , 2005, ICAIL '05.

[2]  Lauri Karttunen,et al.  Discourse Referents , 1969, COLING.

[3]  Lauri Karttunen In syntax and semantics , 1976 .

[4]  David Poole,et al.  Explanation and prediction: an architecture for default and abductive reasoning , 1989, Comput. Intell..

[5]  J A Lambert,et al.  A model for case assessment and interpretation. , 1998, Science & justice : journal of the Forensic Science Society.

[6]  Johan de Kleer,et al.  An Assumption-Based TMS , 1987, Artif. Intell..

[7]  Jeroen Keppens,et al.  Knowledge based crime scenario modelling , 2006, Expert Syst. Appl..

[8]  Jeroen Keppens,et al.  "Murdered by Persons Unknown" - Speculative Reasoning in Law and Logic , 2004 .

[9]  Brian C. Williams,et al.  Diagnosing Multiple Faults , 1987, Artif. Intell..

[10]  P. Thagard,et al.  Abductive Reasoning: Logic, Visual Thinking, and Coherence , 1997 .

[11]  Johan de Kleer,et al.  A Comparison of ATMS and CSP Techniques , 1989, IJCAI.

[12]  D. Schum The Evidential Foundations of Probabilistic Reasoning , 1994 .

[13]  G. L. Collected Papers , 1912, Nature.

[14]  Pietro Torasso,et al.  A spectrum of logical definitions of model‐based diagnosis 1 , 1991, Comput. Intell..

[15]  M. H. Heycock,et al.  Papers , 1971, BMJ : British Medical Journal.

[16]  Fred Landman Towards a Theory of Information: The Status of Partial Objects in Semantics , 1986 .

[17]  A Jamieson A rational approach to the principles and practice of crime scene investigation: I. Principles. , 2004, Science & justice : journal of the Forensic Science Society.

[18]  Kurt Konolige,et al.  Abduction Versus Closure in Causal Theories , 1992, Artif. Intell..