Schedule is tentative. Check regularly for updates.
|
DATE
|
TOPIC
|
READINGS
|
ASSIGNMENT
|
LINKS
|
|---|---|---|---|---|
| 08/30 | Intro to Comp. Semantics | Van Eijck/Unger Chapter 1 | Meaning Representations and Predicate Logic Slides | |
| 09/03 | Lambda Calculus and Types 1/2 (sections 1-2) | Van Eijck/Unger Chapter 2 | Lambda Calculus Slides | |
| 09/06 | Lambda Calculus and Types 2/2 (section 3) | Van Eijck/Unger Chapter 3 | HW1 out | Rules for manipulating lambda terms, Haskell Slides |
| 09/10 | Quantifiers (section 4) | Van Eijck/Unger Chapter 7.1-7.2 | Constructing data types | |
| 09/13 | Formal Grammars 1/2 | Van Eijck/Unger Chapter 4 | Briscoe’s Formal Semantics, Map and Filter Slides | |
| 09/17 | Formal Grammars 2/2 | Unified Verb IndexPropBankVerbNet Slides | ||
| 09/20 | Compositionality and Typing 1/2 | Van Eijck/Unger Chapter 5 | HW1 due, HW2 out | Data Type Slides |
| 09/24 | Compositionality and Typing 2/2 | Van Eijck/Unger Chapter 7.3-7.6 | Problem Set #2 | Polymorphism Slides, Russell “On Denoting” |
| 09/27 | Ambiguity, Extension, and Intension | Van Eijck/Unger Chapter 7.7-8.3 | Montague (1973) | |
| 10/04 | Modal Logic and Intensionality | Van Eijck/Unger Chapter 8.4-8.6 | HW2 due 10/6, HW3 out | John seeks a unicorn |
| 10/08 | Modal Logic 1/2 | Blackburn and van Benthem: Modal Logic | Slides | |
| 10/11 | Modal Logic 2/2 | Eric Pacuit’s Slides on Modal Logic | ||
| 10/18 | Modal Logics for Time: LTL and CTL | Van Eijck/Unger Chapter 9 | HW3 due, HW4 out | Slides, More SlidesSlides |
| 10/22 | Monads and Continuations | van Eijck and Unger Slides 3 | Writing imperative programming in HaskellFunctors, Applicatives, And Monads in Pictures, Introducing Continuations | |
| 10/25 | Continuations | Van Eijck/Unger Chapter 11.1-11.3Review of Monads | van Eijck and Unger Slides 3 | Quantifier Substitutions |
| 10/29 | Continuations and Quantifiers | Van Eijck/Unger Chapter 11.4-11.6Review of Monads | van Eijck and Unger Slides 3 | Every princess helped some dwarf |
| 11/01 | Dynamic Semantics and Continuations | HW4 dueProblem Set #3 | Slides, More Slides | |
| 11/05 | Discourse Representation Theory 1/3 | DRT Slides-1, DRT Slides-2 | ||
| 11/08 | Discourse Representation Theory 2/3 | Van Eijck/Unger Chapter 12 | HW5 out, Final Project Options out | de Groote (2006), Asher and Pogodalla (2010) |
| 11/12 | Discourse Representation Theory 3/3 | Mann and Thompson (1988) | ||
| 11/15 | Multimodal Simulation Semantics | Slides | ||
| 11/19 | Encoding Context and Presuppositions | Van Eijck/Unger Chapter 13 | Presupposition in DRT | |
| 11/22 | Presupposition and Context Change | HW5 due | SDRT Slides, Epistemic Logic Slides, PAL Slides | |
| 11/26 | Public Announcement Logic | SlidesCoppock’s SlidesHeim (1983) | ||
| 12/03 | Snow Day | |||
| 12/06 | The Meaning of Meaning | Westera and Boleda (2019) | Vector Semantics Slides | |
| 12/10 | Final Project Presentations 1/2 | |||
| 12/13 | Final Project Presentations 2/2 | Final Project due 12/19 at 4:30pm | ||
| TBD | Type Coercion and Compositionality | Qualia Structure | Type Composition in GL | |
| TBD | Generative Lexicon and Type Theory | GL Introduction Slides | ||
| TBD | Computational Theory of Events 1/2 | Computational Models of Events, DITL Slides | 1. An overview of event extraction from text 2. Event Extraction as Dependency Parsing 3. Discovering Volatile Events in Your Neighborhood 4. Web Minging for Event-Based Commonsense Knowledge 5. joint Event Extraction 6. Extracting Temporal and Causal Relations between Events | |
| TBD | Computational Theory of Events 2/2 | Problem Set #5 | ||
| TBD | Dynamic Lexical Semantics | Pustejovsky and Moszkowicz (2011)Final Project Options |