Search papers, labs, and topics across Lattice.
This paper introduces a novel approach to imprecise probabilistic programming by utilizing graded monads and binary decision diagrams (BDDs) to represent credal sets, allowing for a flexible framework that accommodates a convex set of distributions. The authors demonstrate that their method integrates seamlessly with existing BDD compilation and weighted model counting processes, enabling the representation of imprecise probabilities without altering the underlying infrastructure. Key results include the development of Imp, a Haskell-embedded domain-specific language that enforces commutativity and supports various forms of inference, including exact and differentiable methods, through a semiring-parametric approach.
Imp allows for precise handling of imprecise probabilities without disrupting established probabilistic programming frameworks, enabling richer modeling of uncertainty.
Imprecise probability generalizes standard probability theory by replacing a single distribution with a convex set of possible distributions. We show that this generalization requires no change to the standard BDD compilation and weighted model counting pipeline used by discrete probabilistic languages. An imprecise coin flip is simply a BDD variable whose weight is left free rather than fixed. We introduce Imp, a Haskell-embedded DSL for imprecise probabilistic programming. A graded monad, indexed by finite sets of named sources of epistemic uncertainty, restores the commutativity that the standard convex powerset monad lacks, and GHC's type system enforces this at compile time. Weighted model counting is parametric in the semiring, so the same compiled BDD supports exact, differentiable, and interval-bounded inference.
