******************************************************************************
CTL@CILTA
Categorial Type Logic and Italian Corpora
Lectures held by prof. M. MOORTGAT, University of Utrecht
******************************************************************************
The framework of categorial grammar was introduced by Jim Lambek in his
1958
and 1961 papers. These systems, despite their great mathematical
elegance, have
their limitations when it comes to dealing with real life problems in
computational linguistics. The structural properties of the original
categorial
grammars are hard-wired. Issues of structural variation, a core concern
of
linguistic theory, are not easily dealt with if the structural component
of the
grammar is fixed.
Over the past years, a new categorial grammar design has emerged, as a
result
of the surge of interest in resource-conscious models of computation.
For
current type-logical grammars, cross-linguistic variation arises from
the
interplay between a core module, capturing grammatical INVARIANTS, and a
flexible STRUCTURAL MODULE. The vocabulary of type-forming operations is
extended with explicit CONTROL operators that make it possible to keep
structural options firmly anchored in lexical type assignment.
This course offers an introduction to the theoretical foundations of
present-day categorial type logics, and their computational use in
natural
language processing. The course has a double emphasis:
- Italian. We look at some core phenomena of Italian grammar, and
see how
they fit within the broader landscape of cross-linguistic variation.
- Corpus-based computational linguistics. We discuss the
applicability of
categorial techniques to the exploitation of the Cilta corpus, drawing
on
experiences with the annotation of the Spoken Dutch Corpus and its
categorial
analysis.
Course structure:
1a week: 8-12 September
"Grammatical invariants. Constants of the base Logic,
residuation
laws, frame models for structured linguistic expressions."
2a week: 15-19 September
"Meaning assembly. The Curry-Howard interpretation."
3a week: 22-26 September
"The logic of variation. Structural laws relating form and
meaning
assembly."
4a week: 29 September - 2 October
2 parallel sessions:
Linguistic issues - "Lexical versus derivational
semantics."
Computational issues - "The computational system: sequent
proof
search and proof nets."
5a week: 6-10 October
"Learning: solving lexical and structural equations.
Incremental
processing."
6a week: 13-17 October (held by dr. R. Moot)
"Corpus-based categorial grammar induction."
The lectures will be held at CILTA with the following provisional weekly
schedule:
Monday - Discussion and Lecture (prof. M. Moortgat)
Tuesday - Lecture (prof. M. Moortgat)
Friday - Exercises in computer lab (dr. R. Bernardi)
-----------------------------------------------------------------------------
Please refer to CILTA website for further information and up-to-date
lecture
schedule:
http://www.cilta.unibo.it/Portale/Seminars%20CLT%20at%20CILTA.html
Contact Email address:
f.tamburini@cilta.unibo.it
This archive was generated by hypermail 2b29 : Fri Aug 29 2003 - 10:14:51 MET DST