Efficient Möbius Transformations and their applications to Dempster-Shafer Theory: Clarification and implementation ⋆

Maxime Chaveroche (1) , Franck Davoine (1) , Véronique Cherfaoui (1)

1 Heudiasyc - Heuristique et Diagnostic des Systèmes Complexes [Compiègne]

Dempster-Shafer Theory (DST) generalizes Bayesian probability theory, offering useful additional information, but suffers from a high computational burden. A lot of work has been done to reduce the complexity of computations used in information fusion with Dempster's rule. The main approaches exploit either the structure of Boolean lattices or the information contained in belief sources. Each has its merits depending on the situation. In this paper, we propose sequences of graphs for the computation of the zeta and Möbius transformations that optimally exploit both the structure of distributive semilattices and the information contained in belief sources. We call them the Efficient Möbius Transformations (EMT). We show that the complexity of the EMT is always inferior to the complexity of algorithms that consider the whole lattice, such as the Fast Möbius Transform (FMT) for all DST transformations. We then explain how to use them to fuse two belief sources. More generally, our EMTs apply to any function in any finite distributive lattice, focusing on a meet-closed or join-closed subset. This article extends our work published at the international conference on Scalable Uncertainty Management (SUM) [1]. It clarifies it, brings some minor corrections and provides implementation details such as data structures and algorithms applied to DST.

Mots clés: Möbius Transform; Zeta Transform; Fast Möbius Transform; Dempster-Shafer Theory; belief functions; complexity reduction

Domaines: Vision par ordinateur et reconnaissance de formes [cs.CV]

Maxime Chaveroche, Franck Davoine, Véronique Cherfaoui. Efficient Möbius Transformations and their applications to Dempster-Shafer Theory: Clarification and implementation ⋆. 2021. ⟨hal-03429350⟩