Incremental Probabilistic Inference

03/06/2013
by   Bruce D'Ambrosio, et al.
0

Propositional representation services such as truth maintenance systems offer powerful support for incremental, interleaved, problem-model construction and evaluation. Probabilistic inference systems, in contrast, have lagged behind in supporting this incrementality typically demanded by problem solvers. The problem, we argue, is that the basic task of probabilistic inference is typically formulated at too large a grain-size. We show how a system built around a smaller grain-size inference task can have the desired incrementality and serve as the basis for a low-level (propositional) probabilistic representation service.

READ FULL TEXT

page 1

page 2

page 3

page 4

page 5

page 6

page 7

page 8

research
05/10/2013

Programming with Personalized PageRank: A Locally Groundable First-Order Probabilistic Logic

In many probabilistic first-order representation systems, inference is p...
research
06/04/2013

First-Order Decomposition Trees

Lifting attempts to speed up probabilistic inference by exploiting symme...
research
03/18/2018

Cubical Assemblies and Independence of the Propositional Resizing Axiom

We construct a model of cubical type theory with a univalent and impredi...
research
10/16/2012

Lifted Relax, Compensate and then Recover: From Approximate to Exact Lifted Probabilistic Inference

We propose an approach to lifted approximate inference for first-order p...
research
03/27/2013

Process, Structure, and Modularity in Reasoning with Uncertainty

Computational mechanisms for uncertainty management must support interac...
research
03/13/2013

Integrating Model Construction and Evaluation

To date, most probabilistic reasoning systems have relied on a fixed bel...
research
09/20/2023

Colour Passing Revisited: Lifted Model Construction with Commutative Factors

Lifted probabilistic inference exploits symmetries in a probabilistic mo...

Please sign up or login with your details

Forgot password? Click here to reset