1 / 2

Semantics of Probabilistic Programs

Semantics of Probabilistic Programs. Approaches discussed in literature E 1  p E 2 => E 1 (with prob. p) => E 2 (with prob. (1-p)) Probability of a specific output is not explicit. [E 1  p E 2 ]s = (p)*[E 1 ]s + (1-p)*[E 2 ]s [E]s is a measure function from events to probabilities.

shana-logan
Download Presentation

Semantics of Probabilistic Programs

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Semantics of Probabilistic Programs • Approaches discussed in literature • E1pE2 => E1 (with prob. p) => E2 (with prob. (1-p)) • Probability of a specific output is not explicit. • [E1pE2]s = (p)*[E1]s + (1-p)*[E2]s • [E]s is a measure function from events to probabilities. • Forward or Backward? • Practical Issues • Backward implementation is difficult. (inverses, representation of sets). • Need to be able to compute probabilities, expectations inside of the program.

  2. Haskell Implementation • Using type classes to realize a general parameterized type (Prob a). • Has capability to generalize to product types (a  b). • data (DomainClass a) => (Prob a) = … • (DomainClass a) is an assertion that ‘a’ must be an instance of DomainClass. • Still must provide ‘instance DomainClass T’ declaration, which defines functions to operate on values of type T. • Underlying representation • Dimensions: exact/interpolated countable/uncountable • Sample sets and functions considered.

More Related