Carnegie Mellon University
file.pdf (828.19 kB)

A probabilistic language based upon sampling functions

Download (828.19 kB)
journal contribution
posted on 2006-01-01, 00:00 authored by Sungwoo Park, Frank Pfenning, Thrun
Abstract: "As probabilistic computations play an increasing role in solving various problems, researchers have designed probabilistic languages that treat probability distributions as primitive datatypes. Most probabilistic languages, however, focus only on discrete distributions and have limited expressive power. In this paper, we present a probabilistic language, called [lambda subscript oval], which uniformly supports all kinds of probability distributions -- discrete distributions, continuous distributions, and even those belonging to neither group. Its mathematical basis is sampling functions, i.e., mappings from the unit interval (0.0, 1.0] to probability domains. We also briefly describe the implementation of [lambda subscript oval] as an extension of Objective CAML and demonstrate its practicality with three applications in robotics: robot localization, people tracking, and robotic mapping. All experiments have been carried out with real robots."


Publisher Statement

Copyright 2006 Society of Photo-Optical Instrumentation Engineers. One print or electronic copy may be made for personal use only. Systematic reproduction and distribution, duplication of any material in this paper for a fee or for commercial purposes, or modification of the content of the paper are prohibited.