Announcing Semantics 3 (Fall 2013): Computational Formal Semantics with Haskell

Sun 07 July 2013 by Adrian Brasoveanu

Semantics 3 this coming fall (upper div. undergraduate course, UCSC Linguistics) will be dedicated to introducing computational formal semantics with Haskell.

The syllabus is available here: Sem 3 syllabus. It contains a general description of the course, goals and motivation, a tentative outline, general instructions about how to get Haskell …

read more

Estimating general random-effect structures with JAGS

Fri 28 June 2013 by Adrian Brasoveanu

Given the importance of being able to estimate general random-effect structures for mixed-effects models (see this paper by Barr, Levy, Scheepers & Tily, for example), I put together a tutorial on how to estimate such models in R and JAGS.

This is easy to do for mixed-effects linear models in R …

read more

Church tutorial: Monday (June 10), 11 am—3 pm, the Cave

Wed 05 June 2013 by Adrian Brasoveanu

Dan Lassiter and in all likelihood Noah Goodman will come down from Stanford for an extensive Church tutorial on Monday, June 10, 11 am—3 pm (with a break for lunch at some point). We will meet in the Cave — please note the change of venue. If you want/have …

read more

Computational Formal Semantics: Parsing (Part 2)

Sat 01 June 2013 by Adrian Brasoveanu

Plan for the June 4 (11 am-12 pm) meeting: parsing a larger fragment of English, including checking for agreement features, subcat lists etc., but without movement (again, based primarily on ch. 9 of the “Computational Semantics” textbook). Please download the files below and place them in the same folder:

  • basic …
read more

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