How the Church programming language models our physical and social worlds
In short: Explore the mechanics of the Church programming language. This lecture demonstrates how this specific language facilitates the creation and testing of generative models to enable probabilistic inferences about objects, agents, and events.
Part of the MIT RES.9-003 Brains, Minds and Machines course from Summer 2015, this tutorial delves into how the Church language allows researchers to implement generative models. These models are essential for making probabilistic inferences regarding the behavior of agents and the dynamics of physical and social environments.
Opens the Intellect+ feed with this card first. Swipe up for the next one.
Sources
- Summary by Intellect · source: Tutorial 5.2: Tomer Ullman - Church Programming Language Part 2
To cite this card, link to https://intellectplus.co.uk/app/ideas-tutorial-5-2-tomer-ullman-church-programming-language-part-2.
How we source, check and correct cards: Editorial standards.
General information, not professional advice. Spotted an error? Flag the card or see corrections and complaints.
Intellect Plus is a visual educational discovery platform for exploring fascinating facts and ideas. Brain Food, Not Brain Rot. What is Intellect Plus?
