Rank of tensors of l-out-of-k functions: an application in probabilistic inference

Bayesian networks are a popular model for reasoning under uncertainty. We study the problem of efficient probabilistic inference with these models when some of the conditional probability tables represent deterministic or noisy `-out-of-k functions. These tables appear naturally in real-world applications when we observe a state of a variable that depends on its parents via an addition or noisy addition relation. We provide a lower bound of the rank and an upper bound for the symmetric border rank of tensors representing `-out-of-k functions. We propose an approximation of tensors representing noisy `-out-of-k functions by a sum of r tensors of rank one, where r is an upper bound of the symmetric border rank of the approximated tensor. We applied the suggested approximation to probabilistic inference in probabilistic graphical models. Numerical experiments reveal that we can get a gain in the order of two magnitudes but at the expense of a certain loss of precision.

[1]  J. Chang,et al.  Analysis of individual differences in multidimensional scaling via an n-way generalization of “Eckart-Young” decomposition , 1970 .

[2]  F. Díez,et al.  An efficient factorization for the noisy MAX ∗ , 2007 .

[3]  Hilbert J. Kappen,et al.  Bayesian Networks for Expert Systems: Theory and Practical Applications , 2010, Interactive Collaborative Information Systems.

[4]  Jirí Vomlel,et al.  Exploiting tensor rank-one decomposition in probabilistic inference , 2007, Kybernetika.

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

[6]  Jirí Vomlel,et al.  Exploiting Functional Dependence in Bayesian Network Inference , 2002, UAI.

[7]  Richard A. Harshman,et al.  Foundations of the PARAFAC procedure: Models and conditions for an "explanatory" multi-model factor analysis , 1970 .

[8]  Anders L. Madsen,et al.  LAZY Propagation: A Junction Tree Inference Algorithm Based on Lazy Evaluation , 1999, Artif. Intell..

[9]  Scott M. Olmsted On representing and solving decision problems , 1983 .

[10]  I. VÁŇOVÁ,et al.  Academy of Sciences of the Czech Republic , 2020, The Grants Register 2021.

[12]  P. Savický,et al.  Arithmetic circuits of the noisy-or models , 2008 .

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

[14]  Grazia Lotti,et al.  Approximate Solutions for the Bilinear Form Computational Problem , 1980, SIAM J. Comput..

[15]  Jirí Vomlel,et al.  Triangulation Heuristics for BN2O Networks , 2009, ECSQARU.

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

[17]  L. Lathauwer,et al.  From Matrix to Tensor : Multilinear Algebra and Signal Processing , 1996 .