This course introduces logic-based methods for computing and representing for the semantics of natural language. We use Montague's "method of fragments" to create a series of language models of increasing coverage (of English).
A language model is a triple of
A **language model** is a triple of
* a grammar *G* that defines a language fragment that can be translated,
* a logical system *L* that acts as the meaning representation, and
