Computational Natural Language Semantics
Prof. Dr. Michael Kohlhase

Jacobs University
Fall 2006
Fall 2008
Fall 2010
Fall 2012
Spring 2014
Spring 2015

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 grammar G that defines a language fragment that can be translated,
  • a logical system L that acts as the meaning representation, and
  • a translation from syntax trees induced by G to formulae in L.

The course resources (course notes, literature, assignments) can be found here.

Having heard the course “Computational Logic” is very helpful, but not a prerequisite.