Merge learning and inference sections
Add description of stochastic semantics to abstract
Describe stochastic semantics in contributions
Rewrite the end of the introduction