Compositional Stochastic Modeling and Probabilistic Programming

12/03/2012
by   Eric Mjolsness, et al.
0

Probabilistic programming is related to a compositional approach to stochastic modeling by switching from discrete to continuous time dynamics. In continuous time, an operator-algebra semantics is available in which processes proceeding in parallel (and possibly interacting) have summed time-evolution operators. From this foundation, algorithms for simulation, inference and model reduction may be systematically derived. The useful consequences are potentially far-reaching in computational science, machine learning and beyond. Hybrid compositional stochastic modeling/probabilistic programming approaches may also be possible.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
08/02/2023

On the Metric Temporal Logic for Continuous Stochastic Processes

In this paper, we prove measurability of event for which a general conti...
research
11/16/2021

Prediction theory in continuous time

We consider prediction theory for stationary stochastic processes in con...
research
12/12/2012

Continuous Time Bayesian Networks

In this paper we present a language for finite state continuous time Bay...
research
04/11/2018

Compositional semantics for new paradigms: probabilistic, hybrid and beyond

Emerging computational paradigms, such as probabilistic and hybrid progr...
research
12/30/2021

Bayesian Algorithms Learn to Stabilize Unknown Continuous-Time Systems

Linear dynamical systems are canonical models for learning-based control...
research
01/26/2021

Compositional Game Theory, Compositionally

We present a new compositional approach to compositional game theory (CG...
research
12/22/2017

A Compositional Coalgebraic Semantics of Strategic Games

We provide a compositional coalgebraic semantics for strategic games. In...

Please sign up or login with your details

Forgot password? Click here to reset