A Probabilistic Programming Idiom for Active Knowledge Search

02/19/2022
by   Malte R. Damgaard, et al.
0

In this paper, we derive and implement a probabilistic programming idiom for the problem of acquiring new knowledge about an environment. The idiom is implemented utilizing a modern probabilistic programming language. We demonstrate the utility of this idiom by implementing an algorithm for the specific problem of active mapping and robot exploration. Finally, we evaluate the functionality of the implementation through an extensive simulation study utilizing the HouseExpo dataset.

READ FULL TEXT

page 2

page 4

page 7

research
03/03/2014

A Compilation Target for Probabilistic Programming Languages

Forward inference techniques such as sequential Monte Carlo and particle...
research
05/17/2019

Implementing a Library for Probabilistic Programming using Non-strict Non-determinism

This paper presents PFLP, a library for probabilistic programming in the...
research
08/20/2019

Reactive Probabilistic Programming

Synchronous reactive languages were introduced for designing and impleme...
research
07/28/2013

Reasoning for Moving Blocks Problem: Formal Representation and Implementation

The combined approach of the Qualitative Reasoning and Probabilistic Fun...
research
08/12/2022

Multi-Model Probabilistic Programming

Probabilistic programming makes it easy to represent a probabilistic mod...
research
06/02/2013

Declarative Modeling and Bayesian Inference of Dark Matter Halos

Probabilistic programming allows specification of probabilistic models i...
research
08/29/2011

A prototype of a knowledge-based programming environment

In this paper we present a proposal for a knowledge-based programming en...

Please sign up or login with your details

Forgot password? Click here to reset