Adrian Brasoveanu

Computational Formal Semantics: Meeting 3

Sat 13 April 2013 by Adrian Brasoveanu

Plan for the April 16 (11 am-12 pm) meeting: go through the Recursion and Higher-order Functions chapters. The two GHCI scripts are already available on eCommons. We will have two more intro-to-Haskell type meetings, after which we will finally turn to computational formal semantics and implement:

  1. propositional logic (syntax and semantics)
  2. first-order logic (FOL, syntax and semantics)
  3. the syntax of a fragment of English and its semantics via translation into FOL
  4. generalized quantifiers

If we still have time, we can talk about other topics, e.g., parsing or intensional semantics.