**Schedule is under construction!**
Reading Key
JM: Jurafsky and Martin (2022) Speech and Language Processing.
EU: van Eijck and Unger (2010) Computational Semantics with Functional Programming (on Moodle)
L: Lipovača (2011). Learn You a Haskell for Great Good!
HR: Huth and Ryan (2004) Logic in Computer Science (on Moodle)
LS: Distributional Semantics (2023) Cambridge University Press (on Moodle)
MRS: Introduction to Information Retrieval (2008)
DATE
|
TOPIC
|
READINGS
|
ASSIGNMENT
|
LINKS
|
---|---|---|---|---|
08/30 | Course Introduction, Lambda Calculus | |||
09/03 | Lambda Calculus (cont.) | EU Chapter 2 | ||
09/06 | Semantic Types | JM Chapter F | ||
09/10 | Functional Programming | EU Chapter 3-3.5 | ||
09/13 | Semantics of Predicate Logic | EU Chapter 3.6-3.9 | HW 1 Out | |
09/17 | Types in Haskell (Typeclasses/Currying/HOF) | EU Chapter 3.10-3.15 | Unified Verb IndexPropBankVerbNet Slides | |
09/20 |
Types in Natural Language |
EU Chapter 4.2-4.8 | ||
09/24 | Fragment of English | EU Chapter 6 | HW1 Due | |
09/27 | Functors, Applicative Functors, and Monads (Applicatives 2/Monads) | |||
10/01 | Functors, Applicative Functors, and Monads (Applications to NL) (cont.) | EU Chapter 5.2-5.3, 5.5-5.6 | HW 2 Out | |
10/08 | Functors, Applicative Functors, and Monads (cont.) | EU Chapter 8 | ||
10/15 | Modal Logic | EU Chapter 7.5-7.6 | HW 2 Due | |
10/18 | Continuations | EU Chapter 11 | ||
10/22 | No Class (Thursday Schedule) | |||
10/25 | Quiz 1 | |||
10/29 | Dynamic Semantics (1, 2) | |||
11/01 | Vector Semantics (1) | HW 3 Out | ||
11/05 | Vector Semantics | LS Chapter 2.2-2.4 | ||
11/08 | Vector Semantics (2) | LS Chapter 2.4-2.7 | ||
11/12 | Vector Semantics | LS Chapter 6 | ||
11/15 | Vector Semantics | HW 3 Due | ||
11/19 | Vector Semantics (3) | LS Chapter 4 | ||
11/22 | Vector Semantics (4) | LS Chapter 5 | ||
11/26 | GL Word Embeddings, HRR + NN | |||
12/03 | Quiz 2 Review | |||
12/06
12/10 |
Quiz 2
Final Project Presentations |
|
|
|
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 |