State-Space Abstractions for Probabilistic Inference: A Systematic Review

by   Stefan Lüdtke, et al.

Tasks such as social network analysis, human behavior recognition, or modeling biochemical reactions, can be solved elegantly by using the probabilistic inference framework. However, standard probabilistic inference algorithms work at a propositional level, and thus cannot capture the symmetries and redundancies that are present in these tasks. Algorithms that exploit those symmetries have been devised in different research fields, for example by the lifted inference-, multiple object tracking-, and modeling and simulation-communities. The common idea, that we call state space abstraction, is to perform inference over compact representations of sets of symmetric states. Although they are concerned with a similar topic, the relationship between these approaches has not been investigated systematically. This survey provides the following contributions. We perform a systematic literature review to outline the state of the art in probabilistic inference methods exploiting symmetries. From an initial set of more than 4,000 papers, we identify 116 relevant papers. Furthermore, we provide new high-level categories that classify the approaches, based on the problem classes the different approaches can solve. Researchers from different fields that are confronted with a state space explosion problem in a probabilistic system can use this classification to identify possible solutions. Finally, based on this conceptualization, we identify potentials for future research, as some relevant application domains are not addressed by current approaches.


Sequential Lifted Bayesian Filtering in Multiset Rewriting Systems

Bayesian Filtering for plan and activity recognition is challenging for ...

The Use of NLP-Based Text Representation Techniques to Support Requirement Engineering Tasks: A Systematic Mapping Review

Natural Language Processing (NLP) is widely used to support the automati...

Parametric Dependability Analysis through Probabilistic Horn Abduction

Dependability modeling and evaluation is aimed at investigating that a s...

State-space Abstraction for Anytime Evaluation of Probabilistic Networks

One important factor determining the computational complexity of evaluat...

Handling state space explosion in verification of component-based systems: A review

Component-based design is a different way of constructing systems which ...

Metaheuristics for the operating theater planning and scheduling: A systematic review

There are found a vast number of papers studying the problem of operatin...

A systematic literature review on solution approaches for the index tracking problem in the last decade

The passive management approach offers conservative investors a way to r...

Please sign up or login with your details

Forgot password? Click here to reset