'Backward implementation' presentation slideshows

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.

106 views • 2 slides