Visiting hour

by appointment

 

Lecture schedule

All lectures are given in Room 314 (3rd floor in IT-bygget).

Tu 1.11, 10:15

Tu 1.11, 11:15

Fr 25.11, 13:15

 

Examination: Th 1.12

1. Oral presentation (ca 20 min), room 314, together with
2. A short essay (about 5 pages, i.e., 3-7 pages)
   (essay topic decided together with the examiner: see below)
3. Oral exam (ca 20 min), room 314

Possible essay topics would revolve around a person who has had major influence on modern semantics and his/her theories.
Examples of such persons:

John L. Austin

Donald Davidson

Jerry Fodor

Michael A. K. Halliday

George Lakoff

Richard Montague

Bertrand Russell

John Searl

Course material

Patrick Blackburn & Johan Bos

Representation and Inference for Natural Language:

A First Course in Computational Semantics.

CSLI Publications, Stanford, California. March 2005.

Lecture Schedule

• Lecture 1
  Introduction, the notions unification-based grammar, computational semantics.

  Slides

 
• Lecture 2
  Introduction to computational semantics, compositional semantics.
  First order logics, model verifications.
  Lamba calculus.

  Blackburn&Bos I: 1, 2.
  Slides

 
• Lecture 3
  Propositional theorem proving.
  First order theorem proving.
  More about unification.

  Blackburn&Bos I: 4.1-4.4, 5.1-5.5, 5.7-5.8.
  Slides

 

Responsible: Björn Gambäck
Last change Nov 7, 2011 .