Estimating general random-effect structures with JAGS
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 moreChurch tutorial: Monday (June 10), 11 am—3 pm, the Cave
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 moreComputational Formal Semantics: Parsing (Part 2)
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 …
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 …