Stochastic Planning and Lifted Inference

01/04/2017
by   Roni Khardon, et al.
0

Lifted probabilistic inference (Poole, 2003) and symbolic dynamic programming for lifted stochastic planning (Boutilier et al, 2001) were introduced around the same time as algorithmic efforts to use abstraction in stochastic systems. Over the years, these ideas evolved into two distinct lines of research, each supported by a rich literature. Lifted probabilistic inference focused on efficient arithmetic operations on template-based graphical models under a finite domain assumption while symbolic dynamic programming focused on supporting sequential decision-making in rich quantified logical action models and on open domain reasoning. Given their common motivation but different focal points, both lines of research have yielded highly complementary innovations. In this chapter, we aim to help close the gap between these two research areas by providing an overview of lifted stochastic planning from the perspective of probabilistic inference, showing strong connections to other chapters in this book. This also allows us to define Generalized Lifted Inference as a paradigm that unifies these areas and elucidates open problems for future research that can benefit both lifted inference and stochastic planning.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
01/16/2014

Probabilistic Relational Planning with First Order Decision Diagrams

Dynamic programming algorithms have been successfully applied to proposi...
research
08/19/2020

A Survey of Knowledge-based Sequential Decision Making under Uncertainty

Reasoning with declarative knowledge (RDK) and sequential decision-makin...
research
06/23/2021

DeepStochLog: Neural Stochastic Logic Programming

Recent advances in neural symbolic learning, such as DeepProbLog, extend...
research
06/19/2021

A Unified View of Algorithms for Path Planning Using Probabilistic Inference on Factor Graphs

Even if path planning can be solved using standard techniques from dynam...
research
09/12/2014

Probabilistic Selection in AgentSpeak(L)

Agent programming is mostly a symbolic discipline and, as such, draws li...
research
01/25/2018

Probabilistic Planning by Probabilistic Programming

Automated planning is a major topic of research in artificial intelligen...

Please sign up or login with your details

Forgot password? Click here to reset