State-Space Abstractions for Probabilistic Inference: A Systematic Review

04/18/2018
by   Stefan Lüdtke, et al.
0

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.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 18

07/20/2017

Sequential Lifted Bayesian Filtering in Multiset Rewriting Systems

Bayesian Filtering for plan and activity recognition is challenging for ...
02/27/2013

State-space Abstraction for Anytime Evaluation of Probabilistic Networks

One important factor determining the computational complexity of evaluat...
10/19/2012

Parametric Dependability Analysis through Probabilistic Horn Abduction

Dependability modeling and evaluation is aimed at investigating that a s...
07/29/2017

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

Component-based design is a different way of constructing systems which ...
08/11/2020

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

There are found a vast number of papers studying the problem of operatin...
09/01/2020

Comparative Layouts Revisited: Design Space, Guidelines, and Future Directions

We present a systematic review on three comparative layouts (i.e., juxta...
05/02/2019

From Specifications to Behavior: Maneuver Verification in a Semantic State Space

To realize a market entry of autonomous vehicles in the foreseeable futu...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.