Probabilistic abductive computation of evidence collection strategies in crime investigation

This paper presents a methodology for integrating two approaches to building decision support systems (DSS) for crime investigation: symbolic crime scenario abduction [16] and Bayesian forensic evidence evaluation [5]. This is achieved by means of a novel compositional modelling technique that allows for automatically generating a space of models describing plausible crime scenarios from given evidence and formally represented domain knowledge. The main benefit of this integration is that the resulting DSS is capable to formulate effective evidence collection strategies useful for differentiating competing crime scenarios. A running example is used to demonstrate the theoretical developments.

[1]  Hung T. Nguyen,et al.  Probability Updating Using Second Order Probabilities and Conditional Event Algebra , 1999, Inf. Sci..

[2]  Michael Redmond,et al.  Empirical Analysis of Case-Based Reasoning and Other Prediction Methods in a Social Science Domain: Repeat Criminal Victimization , 2003, ICCBR.

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

[4]  Thomas G. Dietterich What is machine learning? , 2020, Archives of Disease in Childhood.

[5]  Neil Henry Latent structure analysis , 1969 .

[6]  Paolo Garbolino,et al.  A graphical model for the evaluation of cross-transfer evidence in DNA profiles. , 2003, Theoretical population biology.

[7]  D. Walton,et al.  Argumentation and Theory of Evidence , 2000 .

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

[9]  Hsinchun Chen,et al.  Using Coplink to Analyze Criminal-Justice Data , 2002, Computer.

[10]  Gert de Cooman,et al.  Precision–imprecision equivalence in a broad class of imprecise hierarchical uncertainty models , 2002 .

[11]  Luca Console,et al.  Readings in Model-Based Diagnosis , 1992 .

[12]  Paul F. Lazarsfeld,et al.  Latent Structure Analysis. , 1969 .

[13]  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.

[14]  Peter Walley,et al.  STATISTICAL INFERENCES BASED ON A SECOND-ORDER POSSIBILITY DISTRIBUTION , 1997 .

[15]  Ian W. Evett,et al.  Case pre-assessment and review in a two-way transfer case , 1999 .

[16]  Bart Verheij,et al.  Automated argument assistance for lawyers , 1999, ICAIL '99.

[17]  Ronald Prescott Loui,et al.  Progress on Room 5: a testbed for public interactive semi-formal legal argumentation , 1997, ICAIL '97.

[18]  A. Dawid,et al.  Probabilistic expert systems for DNA mixture profiling. , 2003, Theoretical population biology.

[19]  Henry Prakken,et al.  Argumentation schemes and generalisations in reasoning about evidence , 2003, ICAIL.

[20]  C. M. Breur New trends in criminal investigation and evidence , 2000 .

[21]  Jeroen Keppens,et al.  A model based reasoning approach for generating plausible crime scenarios from evidence , 2003, ICAIL.

[22]  Jeroen Keppens,et al.  Linguistic Bayesian Networks for reasoning with subjective probabilities in forensic statistics , 2003, ICAIL.

[23]  Hsinchun Chen,et al.  COPLINK Center: Information and Knowledge Management for Law Enforcement , 2004, DG.O.

[24]  Stig K. Andersen,et al.  Probabilistic reasoning in intelligent systems: Networks of plausible inference , 1991 .

[25]  J A Lambert,et al.  The impact of the principles of evidence interpretation on the structure and content of statements. , 2000, Science & justice : journal of the Forensic Science Society.

[26]  Brian Lees,et al.  Applying case-based reasoning to law enforcement , 2003 .

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

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

[29]  Jeroen Keppens,et al.  Compositional Model Repositories via Dynamic Constraint Satisfaction with Order-of-Magnitude Preferences , 2011, J. Artif. Intell. Res..

[30]  Patricia McKellar,et al.  A CommonKADS Representation for a Knowledge-based System to Evaluate Eyewitness Identification , 2003 .