Computational Inference for Evidential Reasoning in Support of Judicial Proof

The process of judicial proof accrues evidence to confirm or deny hypotheses about world events relevant to a legal case. Software applications that seek to support this process must provide the user with sophisticated capabilities to manipulate evidential reasoning for legal cases. This requires computational techniques to represent the actors, entities, events, and context of world situations to structure alternative hypotheses interpreting evidence and to execute processes that draw inferences about the truth of hypotheses by assessing the relevance and weight of evidence to confirm or deny the hypotheses. Bayesian inference networks are combined with knowledge representations from artificial intelligence to structure and analyze evidential argumentation. The infamous 1994 Raddad murder trial in Nice, France provides a backdrop against which we illustrate the application of these techniques to evidential reasoning in support of judicial proof.

[1]  Max Henrion,et al.  Uncertainty: A Guide to Dealing with Uncertainty in Quantitative Risk and Policy Analysis , 1990 .

[2]  Wolfgang Spohn,et al.  A general non-probabilistic theory of inductive reasoning , 2013, UAI.

[3]  L. A. Zadeh,et al.  Fuzzy logic and approximate reasoning , 1975, Synthese.

[4]  Robert P. Goldman,et al.  Integrating Model Construction and Evaluation , 1992, UAI.

[5]  Kathryn B. Laskey,et al.  Constructing Situation Specific Belief Networks , 1998, UAI.

[6]  Eric Horvitz,et al.  A Framework for Comparing Alternative Formalisms for Plausible Reasoning , 1986, AAAI.

[7]  Yan Lin,et al.  Computational Advantages of Relevance Reasoning in Bayesian Belief Networks , 1997, UAI.

[8]  Robert P. Goldman,et al.  From knowledge bases to decision models , 1992, The Knowledge Engineering Review.

[9]  Prakash P. Shenoy,et al.  Probability propagation , 1990, Annals of Mathematics and Artificial Intelligence.

[10]  Ronald A. Howard,et al.  Readings on the Principles and Applications of Decision Analysis , 1989 .

[11]  Glenn Shafer,et al.  A Mathematical Theory of Evidence , 2020, A Mathematical Theory of Evidence.

[12]  Kathryn B. Laskey.  Sensitivity analysis for probability assessments in Bayesian networks , 1995, IEEE Trans. Syst. Man Cybern..

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

[14]  Gregory F. Cooper,et al.  Uncertainty in artificial intelligence : proceedings of the fourteenth Conference (1998) : July 24-26, 1998, University of Wisconsin, Madison, Wisconsin, USA , 1998 .

[15]  Judea Pearl,et al.  Probabilistic reasoning in intelligent systems - networks of plausible inference , 1991, Morgan Kaufmann series in representation and reasoning.

[16]  Bruce D'Ambrosio,et al.  Local expression languages for probabilistic dependence , 1995, Int. J. Approx. Reason..

[17]  David J. Spiegelhalter,et al.  Local computations with probabilities on graphical structures and their application to expert systems , 1990 .

[18]  Bruce D'Ambrosio,et al.  Incremental Probabilistic Inference , 1993, UAI.

[19]  Marek J. Druzdzel,et al.  Five Useful Properties of Probabilistic Knowledge Representations From the Point of View of Intelligent Systems , 1997, Fundam. Informaticae.

[20]  Michael P. Wellman.  Fundamental Concepts of Qualitative Probabilistic Networks , 1990, Artif. Intell..

[21]  Kathryn B. Laskey,et al.  Network Fragments: Representing Knowledge for Constructing Probabilistic Models , 1997, UAI.

[22]  J. S. Breese.  Knowledge representation and inference in intelligent decision systems , 1987 .