A two-phase method for extracting explanatory arguments from Bayesian networks

Errors in reasoning about probabilistic evidence can have severe consequences. In the legal domain a number of recent miscarriages of justice emphasises how severe these consequences can be. These cases, in which forensic evidence was misinterpreted, have ignited a scientific debate on how and when probabilistic reasoning can be incorporated in (legal) argumentation. One promising approach is to use Bayesian networks (BNs), which are well-known scientific models for probabilistic reasoning. For non-statistical experts, however, Bayesian networks may be hard to interpret. Especially since the inner workings of Bayesian networks are complicated, they may appear as black box models. Argumentation models, on the contrary, can be used to show how certain results are derived in a way that naturally corresponds to everyday reasoning. In this paper we propose to explain the inner workings of a BN in terms of arguments.We formalise a two-phase method for extracting probabilistically supported arguments from a Bayesian network. First, from a Bayesian network we construct a support graph, and, second, given a set of observations we build arguments from that support graph. Such arguments can facilitate the correct interpretation and explanation of the relation between hypotheses and evidence that is modelled in the Bayesian network. The process of finding explanatory arguments in a BN can be split in two phases.This is done for efficiency, both in the computation and the explanation.In the first stage, a so called support graph is constructed.This new formalism efficiently represents possible chains of inference in the BN.

[1]  Vincenzo Crupi,et al.  On Bayesian Measures of Evidential Support: Theoretical and Empirical Issues* , 2007, Philosophy of Science.

[2]  Henry Prakken,et al.  Constructing and understanding Bayesian networks for legal evidence with scenario schemes , 2015, ICAIL.

[3]  Henry Prakken,et al.  Reconstructing Causal Reasoning about Evidence: a Case Study , 2001 .

[4]  Bart Verheij,et al.  Handbook of Argumentation Theory , 1987 .

[5]  Norman Fenton,et al.  Calculating and understanding the value of any type of match evidence when there are potential testing errors , 2014, Artificial Intelligence and Law.

[6]  Olivier Pourret,et al.  Bayesian networks : a practical guide to applications , 2008 .

[7]  Changhe Yuan,et al.  Most Relevant Explanation in Bayesian Networks , 2011, J. Artif. Intell. Res..

[8]  Phan Minh Dung,et al.  On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games , 1995, Artif. Intell..

[9]  Henry Prakken,et al.  The ASPIC+ framework for structured argumentation: a tutorial , 2014, Argument Comput..

[10]  A. Philip Dawid,et al.  Beware of the DAG! , 2008, NIPS Causality: Objectives and Assessment.

[11]  Henry Prakken,et al.  Explaining Bayesian Networks Using Argumentation , 2015, ECSQARU.

[12]  Marek J. Druzdzel Qualitative Verbal Explanations in Bayesian Belief Networks , 1996 .

[13]  Henry Prakken,et al.  Demonstration of a structure-guided approach to capturing bayesian reasoning about legal evidence in argumentation , 2015, ICAIL.

[14]  Carmen Lacave,et al.  Explanation of Bayesian Networks and Influence Diagrams in Elvira , 2007, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[15]  Jeroen Keppens Argument diagram extraction from evidential Bayesian networks , 2012, Artificial Intelligence and Law.

[16]  Russell G. Almond,et al.  Graphical Explanation in Belief Networks , 1997 .

[17]  Bart Verheij,et al.  DefLog: on the Logical Interpretation of Prima Facie Justified Assumptions , 2003, J. Log. Comput..

[18]  Judea Pearl,et al.  Embracing Causality in Default Reasoning , 1988, Artif. Intell..

[19]  Carmen Lacave,et al.  A review of explanation methods for Bayesian networks , 2002, The Knowledge Engineering Review.

[20]  Bart Verheij,et al.  To Catch a Thief With and Without Numbers: Arguments, Scenarios and Probabilities in Evidential Reasoning. , 2014 .

[21]  D. Kahneman Thinking, Fast and Slow , 2011 .

[22]  Anthony Hunter,et al.  A probabilistic approach to modelling uncertain logical arguments , 2013, Int. J. Approx. Reason..

[23]  LacaveCarmen,et al.  A review of explanation methods for Bayesian networks , 2002 .

[24]  William C. Thompsont,et al.  The Prosecutor's Fallacy and the Defense Attorney's Fallacy* , 1987 .

[25]  Anne S. Hsu,et al.  When 'neutral' evidence still has probative value (with implications from the Barry George Case). , 2014, Science & justice : journal of the Forensic Science Society.

[26]  D. Schum,et al.  A Probabilistic Analysis of the Sacco and Vanzetti Evidence , 1996 .

[27]  Gerard Vreeswijk,et al.  Abstract Argumentation Systems , 1997, Artif. Intell..

[28]  Michael P. Wellman,et al.  Explaining 'Explaining Away' , 1993, IEEE Trans. Pattern Anal. Mach. Intell..

[29]  Finn V. Jensen,et al.  Bayesian Networks and Decision Graphs , 2001, Statistics for Engineering and Information Science.

[30]  Henry Prakken,et al.  Extracting Legal Arguments from Forensic Bayesian Networks , 2014, JURIX.

[31]  P. E. M. Huygen Use of Bayesian Belief Networks in legal reasoning , 2005 .

[32]  Colin Aitken,et al.  Bayesian Networks and Probabilistic Inference in Forensic Science , 2006 .

[33]  John L. Pollock,et al.  Justification and Defeat , 1994, Artif. Intell..

[34]  John L. Pollock,et al.  Defeasible Reasoning , 2020, Synthese Library.

[35]  Gerard Vreeswijk,et al.  Argumentation in Bayesian Belief Networks , 2004, ArgMAS.

[36]  Charles Maynard,et al.  Beware of the"...". , 2005, Journal of clinical sleep medicine : JCSM : official publication of the American Academy of Sleep Medicine.

[37]  W. Thompson,et al.  Interpretation of statistical evidence in criminal trials , 1987 .

[38]  Phan Minh Dung,et al.  Towards (Probabilistic) Argumentation for Jury-based Dispute Resolution , 2010, COMMA.

[39]  Henry Prakken,et al.  A general account of argumentation with preferences , 2013, Artif. Intell..

[40]  Judea Pearl,et al.  Equivalence and Synthesis of Causal Models , 1990, UAI.

[41]  H. Eysenck THINKING , 1958 .

[42]  Henry Prakken,et al.  An abstract framework for argumentation with structured arguments , 2010, Argument Comput..

[43]  Guillermo Ricardo Simari,et al.  A Mathematical Treatment of Defeasible Reasoning and its Implementation , 1992, Artif. Intell..

[44]  Henry Prakken,et al.  A structure-guided approach to capturing bayesian reasoning about legal evidence in argumentation , 2015, ICAIL.

[45]  Henri Jacques Suermondt,et al.  Explanation in Bayesian belief networks , 1992 .

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

[47]  Martin Caminada,et al.  On the evaluation of argumentation formalisms , 2007, Artif. Intell..