Semantics of Probabilistic Programs

1 / 2

# Semantics of Probabilistic Programs - PowerPoint PPT Presentation

Semantics of Probabilistic Programs. Approaches discussed in literature E 1  p E 2 =&gt; E 1 (with prob. p) =&gt; 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.

I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.

## PowerPoint Slideshow about 'Semantics of Probabilistic Programs' - shana-logan

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.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.

- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript
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.