Computational Formal Semantics: Parsing (Part 1)
Plan for the May 28 (11 am-12 pm) meeting: we will begin our discussion of natural language parsing (based primarily on ch. 9 of the “Computational Semantics” textbook). Please download the files below and place them in the same folder:
- basic definitions — trees, positions in a tree, subtrees, (proper) dominance …
Computational Formal Semantics: English Fragment 2 and Parsing Preview
Plan for the May 21 (11 am-12 pm) meeting: we will finish up the discussion of EF1 syntax and semantics and we will introduce our second English fragment EF2. The discussion and code will be based on ch. 7 of the “Computational Semantics” textbook by van Eijck & Unger. Please download …
read moreComputational Formal Semantics: FOL (revised) and English Fragment 1
Plan for the May 14 (11 am-12 pm) meeting: The first-order logic (FOL) files have been revised along the lines we discussed last time. I replaced the old modules with the new ones, so please download them again and place them in the same folder:
- FOL syntax: PredLsyn.hs
- the …
Computational Formal Semantics: Propositional and First-Order Logic
Plan for the May 7 (11 am-12 pm) meeting: we’ll go through the implementation of propositional and first-order logic in the “Computational Semantics” textbook. This material is discussed in chapters 4, 5 and 6 of the textbook interspersed with various other topics. Jan van Eijck and Christina Unger (the …
read moreComputational Formal Semantics: Meeting 5
Plan for the April 30 (11 am-12 pm) meeting: discuss algebraic data types, type parameters and recursive data structures, i.e., most of the chapter Making Our Own Types and Typeclasses (script available on eCommons). These are the last Haskell-related notions that we need to understand pretty much everything in …
read moreComputational Formal Semantics: Meeting 4
Plan for the April 23 (11 am-12 pm) meeting: finish up the discussion of Higher-order Functions (folds and function composition), then move on to talking about Modules and various parts of the standard library. The Data.List module in particular will be very useful for all our intended applications.
read moreComputational Formal Semantics: Meeting 3
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:
- propositional logic (syntax and …
Computational Formal Semantics: Meeting 2
Plan for the April 9 (11 am-12 pm) meeting: go through the next chapter of the “Learn you a Haskell” textbook, namely Syntax in Functions. The GHCI script will be available on eCommons before the meeting. See you then.
read moreComputational Formal Semantics: Meeting 1
Our first spring-quarter meeting (April 2, 11 am) will be dedicated to a basic intro to Haskell and a brief preview of how it can be used to implement formal semantics theories.
The best way to get Haskell up and running on your computer is to install the Haskell Platform …
read moreComputational Formal Semantics (Spring 2013)
LaLoCo will meet regularly during the spring 2013 quarter, basically every Tuesday 11 am-12 pm in the Meeting & Analysis room (Stevenson 217).
The main topic will be a tutorial on how to implement formal semantics theories in functional languages, Haskell in particular (but OCaml-based implementations, for example, should be …
read more