Blackburn, Patrick and Johan Bos (2005) Representation and Inference for Natural Language: a First Course in Computational Semantics, CSLI Publications, Stanford.For information about the book and some suggestions for how you may buy it on the web see http://www.blackburnbos.org.
We will devote the first intensive week to the first two chapters of the book:
Chap. 1 - First-Order LogicIn the second intensive week we will cover at least some of the remaining four chapters:
Chap. 2 - Lambda Calculus
Chap. 3 - Underspecified Representations
Chap. 4 - Propositional Inference
Chap. 5 - First Order Inference
Chap. 6 - Putting It All Together
Depending on the interests of people taking the course, we may take up one or more of the following topics: beyond the first order logic (generalized quantifiers, intensionality), other programming paradigms (functional programming, multi-paradigm approaches), discourse representation theory.
There will also be a final seminar for the presentation of student projects. There will be informal seminars using the videoconferencing software Marratech on intervening weeks, during which we will discuss solutions to exercises and questions relating to the material.
Slides for second intensive week (pdf)
Slides for net meeting 2nd Nov (pdf)
Lectures - 12 hours
Final seminar - 8 hours
Project - 80 hours
Exercises, reading and discussion sessions - 100 hours
To pass the course you need to: