Efficient Möbius Transformations and their applications to D-S Theory

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 Demp-ster'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 lattices 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.

Mots clés: zeta transform; efficiency; Möbius transform; distributive lattice; meet-closed subset; join-closed subset; Fast Möbius Transform; FMT; Dempster-Shafer Theory; information-based; complexity reduction; belief functions; DST

Domaines: Informatique [cs]; Intelligence artificielle [cs.AI]

Maxime Chaveroche, Franck Davoine, Véronique Cherfaoui. Efficient Möbius Transformations and their applications to D-S Theory. 13th International Conference on Scalable Uncertainty Management (SUM 2019), Dec 2019, Compiègne, France. pp.390-403, ⟨10.1007/978-3-030-35514-2_29⟩. ⟨hal-02326438⟩