Inference using compiled min-based possibilistic causal networks in the presence of interventions

Qualitative possibilistic causal networks are important tools for handling uncertain information in the possibility theory framework. Contrary to possibilistic networks (Ayachi et al., 2011 [2]), the compilation principle has not been exploited to ensure causal reasoning in the possibility theory framework. This paper proposes mutilated-based inference approaches and augmented-based inference approaches for qualitative possibilistic causal networks using two compilation methods. The first one is a possibilistic adaptation of the probabilistic inference approach (Darwiche, 2002 [13]) and the second is a purely possibilistic approach based on the transformation of the graphical-based representation into a logic-based one (Benferhat et al., 2002 [3]). Each of the proposed methods encodes the network or the possibilistic knowledge base into a propositional base and compiles this output in order to efficiently compute the effect of both observations and interventions. This paper also reports on a set of experimental results showing cases in which augmentation outperforms mutilation under compilation and vice versa.

[1]  Pierre Marquis,et al.  On Valued Negation Normal Form Formulas , 2007, IJCAI.

[2]  Jurryt Pietersma,et al.  All Roads Lead to Fault Diagnosis: Model-Based Reasoning with LYDIA , 2006 .

[3]  Adnan Darwiche,et al.  Modeling and Reasoning with Bayesian Networks , 2009 .

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

[5]  Habiba Drias,et al.  On the Compilation of Stratified Belief Bases under Linear and Possibilistic Logic Policies , 2007, IJCAI.

[6]  Marco Cadoli,et al.  A Survey on Knowledge Compilation , 1997, AI Commun..

[7]  Moisés Goldszmidt,et al.  Rank-based Systems: A Simple Approach to Belief Revision, Belief Update, and Reasoning about Evidence and Actions , 1992, KR.

[8]  Philippe Smets,et al.  The Transferable Belief Model , 1994, Artif. Intell..

[9]  Salem Benferhat,et al.  Compiling Possibilistic Networks: Alternative Approaches to Possibilistic Inference , 2010, UAI.

[10]  Salem Benferhat,et al.  Compiling Min-based Possibilistic Causal Networks: A Mutilated-Based Approach , 2011, ECSQARU.

[11]  E. Hisdal Conditional possibilities independence and noninteraction , 1978 .

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

[13]  Adnan Darwiche,et al.  A Logical Approach to Factoring Belief Networks , 2002, KR.

[14]  Adnan Darwiche,et al.  A compiler for deterministic, decomposable negation normal form , 2002, AAAI/IAAI.

[15]  Salem Benferhat,et al.  Inferring interventions in product-based possibilistic causal networks , 2011, Fuzzy Sets Syst..

[16]  Lotfi A. Zadeh,et al.  Fuzzy Sets , 1996, Inf. Control..

[17]  J. Pearl Causality: Models, Reasoning and Inference , 2000 .

[18]  Pierre Marquis,et al.  A Knowledge Compilation Map , 2002, J. Artif. Intell. Res..

[19]  Adnan Darwiche,et al.  Compiling Bayesian Networks Using Variable Elimination , 2007, IJCAI.

[20]  Didier Dubois,et al.  On the transformation between possibilistic logic bases and possibilistic causal networks , 2002, Int. J. Approx. Reason..

[21]  Adnan Darwiche,et al.  Decomposable negation normal form , 2001, JACM.

[22]  Salem Benferhat,et al.  Possibilistic Causal Networks for Handling Interventions: A New Propagation Algorithm , 2007, AAAI.

[23]  Didier Dubois,et al.  Possibility Theory - An Approach to Computerized Processing of Uncertainty , 1988 .

[24]  Philippe Smets Non-standard logics for automated reasoning , 1988 .

[25]  Adnan Darwiche,et al.  Compiling Bayesian Networks with Local Structure , 2005, IJCAI.