.. title: Thursday, February 26th, 2015
.. slug: thursday-february-26th-2015
.. date: 2015-02-26 16:57:14 UTC
.. tags:
.. link:
.. description:
.. type: text
My goal for Thursday was to read the rest of `Fragment Grammars: Exploring Computation and Reuse in Language `_, which I did, minus the appendices.
I have written `a blog post `_ about my impressions so far.
.. Extra Notes:
"Church is a stochastic version of the lambda calculus with a Scheme-like syntax built on a sampling semantics."
"Stochastic functions are sometimes called a probabilistic kernels"
We have probabilistic functions which serve as samplers.
"There are various ways to define this distribution, but the simplest
draws the possible RHSs of a production from a multinomial
distribution."
In this case *exchangeable* means that the order of the choice of
partitioning doesn't affect the final probability. "A sequence of
random variables is exchangeable if it has the same joint distribution
under all permutations."