Action-Centric Probabilistic Programming

Research output: Contribution to conferencePaperpeer-review

Abstract

Probabilistic models are dominant in data management, but are often described in a combination of natural and mathematical language, and algorithms need to be engineered for an individual application. Probabilistic programming languages have received considerable attention recently as they contribute formal languages that enable re-use and clarity in the problem specification. Our interest in this paper is the development of a programming language, called ALLEGRO, that is in service of the high-level control of an autonomous system, such a mobile robot. The language’s mathematical foundations rests of Bayesian conditioning, and its programs are interpreted over a sophisticated logical theory of actions supplemented with user-defined axioms. While many existing probabilistic programming languages can easily be shown to capture stochastic transitions, we argue that an actioncentric probabilistic programming has many valuable properties. As a modeling language, ALLEGRO can be seen as a basis for relating high-level control specifications, including plans with loops, on the one hand, and high-level probabilistic models, such as relational graphical models, on the other.
Original languageEnglish
Number of pages5
Publication statusPublished - 2016
Event6th International Workshop on Statistical Relational AI - New York City, United States
Duration: 11 Jul 201611 Jul 2016
http://www.starai.org/2016/#papers

Conference

Conference6th International Workshop on Statistical Relational AI
Abbreviated titleStarAI 2016
CountryUnited States
CityNew York City
Period11/07/1611/07/16
Internet address

Fingerprint

Dive into the research topics of 'Action-Centric Probabilistic Programming'. Together they form a unique fingerprint.

Cite this