Constrained Bayesian Networks: Theory, Optimization, and Applications

05/15/2017
by   Paul Beaumont, et al.
0

We develop the theory and practice of an approach to modelling and probabilistic inference in causal networks that is suitable when application-specific or analysis-specific constraints should inform such inference or when little or no data for the learning of causal network structure or probability values at nodes are available. Constrained Bayesian Networks generalize a Bayesian Network such that probabilities can be symbolic, arithmetic expressions and where the meaning of the network is constrained by finitely many formulas from the theory of the reals. A formal semantics for constrained Bayesian Networks over first-order logic of the reals is given, which enables non-linear and non-convex optimisation algorithms that rely on decision procedures for this logic, and supports the composition of several constrained Bayesian Networks. A non-trivial case study in arms control, where few or no data are available to assess the effectiveness of an arms inspection process, evaluates our approach. An open-access prototype implementation of these foundations and their algorithms uses the SMT solver Z3 as decision procedure, leverages an open-source package for Bayesian inference to symbolic computation, and is evaluated experimentally.

READ FULL TEXT

page 18

page 20

research
07/29/2020

Bayesian Inference by Symbolic Model Checking

This paper applies probabilistic model checking techniques for discrete ...
research
04/03/2019

Symbolic Exact Inference for Discrete Probabilistic Programs

The computational burden of probabilistic inference remains a hurdle for...
research
10/22/2019

Embedded Bayesian Network Classifiers

Low-dimensional probability models for local distribution functions in a...
research
05/31/2023

A Comparison of Decision Algorithms on Newcomblike Problems

When formulated using Bayesian networks, two standard decision algorithm...
research
07/08/2014

Inferring latent structures via information inequalities

One of the goals of probabilistic inference is to decide whether an empi...
research
05/18/2018

Reachability Analysis for Spatial Concurrent Constraint Systems with Extrusion

Spatial concurrent constraint programming (SCCP) is an algebraic model o...
research
11/20/2019

Additive Bayesian Network Modelling with the R Package abn

The R package abn is designed to fit additive Bayesian models to observa...

Please sign up or login with your details

Forgot password? Click here to reset