Conf: ACL 2001 Tutorial

[alexis nasr]

CATEGORIAL GRAMMARS AND RESOURCE LOGICS:
FROM FUNDAMENTALS TO SOME RECENT ADVANCES

Christian Retoré -- INRIA & Université de Nantes
http://www.irisa.fr/paragraphe/Christian.Retore



This tutorial will first provide an overview of standard results on
the logical view of categorial grammars
(including a brief account oftheir relation to Montague semantics).
Then it will focus on a selection of recent advances in categorial grammars
coming out of their relation to resource logics:
the existence of learning algorithms (following the Gold paradigm),
the proof-nets of linear logic (which provide a new interesting
kind of parse structures), and finally a logical account of
parts of Chomsky's minimalist program (via Stabler's minimalist grammars).



1  FUNDAMENTALS
----------------
Classical categorial grammars (AB-grammars)
  -  From semantic categories to AB-categorial grammars
  - AB-grammars and their relation to CFGs
  - Examples and limitation of AB-grammars
A logic for categorial grammars: Lambek  calculus
  - Syntactic properties and parsing
  - String semantics for the Lambek calculus, completeness
  - Weak and strong generative capacity
Relation to Montague semantics

2  SOME RECENT ADVANCES
------------------------
Learning algorithms
Linear-logic proof-nets as parse structures
  - Lambek calculus and Linear Logic
  - Proof-nets and human-processing complexity
  - Proof-net grammars and TAGs
Relation to Chomsky's minimalist program
  - Stabler's minimalist grammars
  - A logical account of minimalist grammars

more informations on the ACL2001 website:

http://www.irit.fr/ACTIVITES/EQ_ILPL/aclWeb/acl2001.html
-------------------------------------------------------------------------
Message diffusé par la liste Langage Naturel <LN at cines.fr>
Informations, abonnement : http://www.biomath.jussieu.fr/LN/LN-F/
English version          : http://www.biomath.jussieu.fr/LN/LN/
Archives                 : http://listserv.linguistlist.org/archives/ln.html

La liste LN est parrainée par l'ATALA (Association pour le Traitement
Automatique des Langues)
Information et adhésion  : http://www.atala.org/
-------------------------------------------------------------------------