Decision-Making with Complex Data Structures using Probabilistic Programming

07/11/2014
by   Brian E. Ruttenberg, et al.
0

Existing decision-theoretic reasoning frameworks such as decision networks use simple data structures and processes. However, decisions are often made based on complex data structures, such as social networks and protein sequences, and rich processes involving those structures. We present a framework for representing decision problems with complex data structures using probabilistic programming, allowing probabilistic models to be created with programming language constructs such as data structures and control flow. We provide a way to use arbitrary data types with minimal effort from the user, and an approximate decision-making algorithm that is effective even when the information space is very large or infinite. Experimental results show our algorithm working on problems with very large information spaces.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/31/2018

Tokenized Data Markets

We formalize the construction of decentralized data markets by introduci...
research
04/20/2020

Exploring Distributed Control with the NK Model

The NK model has been used widely to explore aspects of natural evolutio...
research
02/22/2023

Integrating Data Structures and Algorithms in K-12 Education using Block-based Programming

This paper describes the design and evaluation of DSAScratch, an extensi...
research
08/28/2018

A Short Note on Collecting Dependently Typed Values

Within dependently typed languages, such as Idris, types can depend on v...
research
02/01/2019

ParaSail: A Pointer-Free Pervasively-Parallel Language for Irregular Computations

ParaSail is a language specifically designed to simplify the constructio...
research
05/01/2018

Computable decision making on the reals and other spaces via partiality and nondeterminism

Though many safety-critical software systems use floating point to repre...
research
06/07/2022

Automated Expected Amortised Cost Analysis of Probabilistic Data Structures

In this paper, we present the first fully-automated expected amortised c...

Please sign up or login with your details

Forgot password? Click here to reset