This folder contains examples of reasoning about reasoning with nested inference adapted from work by @ngoodman and collaborators.
generics.py
: Taken from Probabilistic Language Understandinghyperbole.py
: Taken from Probabilistic Language Understandingschelling.py
: Taken from ForestDBschelling_false.py
: Taken from ForestDBsearch.py
: Inference algorithms used in the example models. Adapted from Design and Implementation of Probabilistic Programming Languagessemantic_parsing.py
: Taken from Design and Implementation of Probabilistic Programming Languages