Inference in Possibilistic Hypergraphs

In order to obivate soundness problems in the local treatment of uncertainty in knowledge-based systems, it has been recently proposed to represent dependencies by means of hypergraphs and Markov trees. It has been shown that a unified algorithmic treatment of uncertainties via local propagation is possible on such structures, both for belief functions and Bayesian probabilities, while preserving the soundness and the completeness of the obtained results. This paper points out that the same analysis applies to approximate reasoning based on possibility theory, and discusses the usefulness of the idempotence property for combining possibility distributions, a property not satisfied in probabilistic reasoning. The second part analyzes a previously proposed technique for handling dependencies, by relating it to the hypergraph approach.

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

[2]  Lotfi A. Zadeh,et al.  A Theory of Approximate Reasoning , 1979 .

[3]  Nils J. Nilsson,et al.  Probabilistic Logic * , 2022 .

[4]  P. Chatalic Raisonnement deductif en presence de connaissances imprecises et incertaines : un systeme base sur la theorie de dempster-shafer , 1986 .

[5]  Judea Pearl,et al.  Fusion, Propagation, and Structuring in Belief Networks , 1986, Artif. Intell..

[6]  Didier Dubois,et al.  A Tentative Comparison of Numerical Approximate Reasoning Methodologies , 1987, Int. J. Man Mach. Stud..

[7]  Khaled Mellouli,et al.  Propagating belief functions in qualitative Markov trees , 1987, Int. J. Approx. Reason..

[8]  Ernest Davis,et al.  Constraint Propagation with Interval Labels , 1987, Artif. Intell..

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

[10]  Didier Dubois,et al.  On the combination of uncertain or imprecise pieces of information in rule-based systems-A discussion in the framework of possibility theory , 1988, Int. J. Approx. Reason..

[11]  Didier Dubois,et al.  Fuzzy arithmetic in qualitative reasoning , 1989 .

[12]  Didier Dubois,et al.  Processing fuzzy temporal knowledge , 1989, IEEE Trans. Syst. Man Cybern..

[13]  Ronald R. Yager,et al.  Some extensions of constraint propagation of label sets , 1989, Int. J. Approx. Reason..

[14]  Rudolf Kruse,et al.  Fuzzy reasoning in a multidimensional space of hypotheses , 1990, Int. J. Approx. Reason..

[15]  Peter M. Williams An interpretation of Shenoy and Shafer's axioms for local computation , 1990, Int. J. Approx. Reason..

[16]  Ronald R. Yager,et al.  On discovering potential inconsistencies in validating uncertain knowledge bases by reflecting on the input , 1991, IEEE Trans. Syst. Man Cybern..

[17]  Prakash P. Shenoy,et al.  Local Computation in Hypertrees , 1991 .