Probabilistic Pragmatic Modelling of Elliptical Corrections Using First Order Logic Semantic Representations

Execution: python3 court.py Modification: edit court.py

search_inference.py, HashingMarginal and inspiration taken directly from official pyro github examples

Dependencies

• nltk
  

• nltk external prover command (e.g. ResolutionProverCommand)

• torch

• pyro

• matplotlib

• time and RAM

The below is taken from the official pyro github examples

Rational Speech Acts (RSA) examples

This folder contains examples of reasoning about reasoning with nested inference adapted from work by @ngoodman and collaborators.

• generics.py: Taken from Probabilistic Language Understanding
• hyperbole.py: Taken from Probabilistic Language Understanding
• schelling.py: Taken from ForestDB
• schelling_false.py: Taken from ForestDB
• search.py: Inference algorithms used in the example models. Adapted from Design and Implementation of Probabilistic Programming Languages
• semantic_parsing.py: Taken from Design and Implementation of Probabilistic Programming Languages

Built With

• jupyter-notebook
• python
• shell