Computational Formal Semantics: Parsing (Part 1)

Sun 26 May 2013 by Adrian Brasoveanu

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 …
read more

Computational Formal Semantics: English Fragment 2 and Parsing Preview

Sun 19 May 2013 by Adrian Brasoveanu

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 more

Computational Formal Semantics: FOL (revised) and English Fragment 1

Mon 13 May 2013 by Adrian Brasoveanu

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:

read more

Computational Formal Semantics: Propositional and First-Order Logic

Mon 06 May 2013 by Adrian Brasoveanu

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 more

Computational Formal Semantics: Meeting 5

Sat 27 April 2013 by Adrian Brasoveanu

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 more

Computational Formal Semantics: Meeting 4

Sun 21 April 2013 by Adrian Brasoveanu

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 more

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 …
read more

Computational Formal Semantics: Meeting 2

Sun 07 April 2013 by Adrian Brasoveanu

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 more

Computational Formal Semantics: Meeting 1

Sat 30 March 2013 by Adrian Brasoveanu

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 more

Computational Formal Semantics (Spring 2013)

Tue 19 March 2013 by Adrian Brasoveanu

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