2 research outputs found
Toward General Analysis of Recursive Probability Models
There is increasing interest within the research community in the design and
use of recursive probability models. Although there still remains concern about
computational complexity costs and the fact that computing exact solutions can
be intractable for many nonrecursive models and impossible in the general case
for recursive problems, several research groups are actively developing
computational techniques for recursive stochastic languages. We have developed
an extension to the traditional lambda-calculus as a framework for families of
Turing complete stochastic languages. We have also developed a class of exact
inference algorithms based on the traditional reductions of the
lambda-calculus. We further propose that using the deBruijn notation (a
lambda-calculus notation with nameless dummies) supports effective caching in
such systems (caching being an essential component of efficient computation).
Finally, our extension to the lambda-calculus offers a foundation and general
theory for the construction of recursive stochastic modeling languages as well
as promise for effective caching and efficient approximation algorithms for
inference.Comment: Appears in Proceedings of the Seventeenth Conference on Uncertainty
in Artificial Intelligence (UAI2001
A New Object-Oriented Stochastic Modeling Language
A new language and inference algorithm for stochastic modeling is presented. This work refines and generalizes the stochastic functional language originally proposed by [1]. The language supports object-oriented representation and recursive functions. It provides a compact representation for a large class of stochastic models including infinite models. It provides the ability to represent general and abstract stochastic relationships and to decompose large models into smaller components. Our work extends the language of [1] by providing object encapsulation and reuse and a new and effective strategy for caching. An exact and complete inference algorithm is presented here that is expected to support efficient inference over important classes of models and queries