Modélisation des mouvements explicites dans les ACG avec le produit dépendant

Florent Pompigne 1, *
* Auteur correspondant
1 CALLIGRAMME - Linear logic, proof networks and categorial grammars
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : Abstract Categorial Grammars (ACG) is a grammatical framework based on linear lambda-calculus. As in Muskens' Lambda Grammars, an abstract term in this kind of categorial grammar can be realized in different directions, such as syntactic and semantic ones. This structure provides autonomy for these different processings. ACG's architecture is independent from the used logic and so the type system is easily extensible in order to deal better with some linguistic phenomena. This paper will be concerned with the issue of overt grammatical movements, in particular extraction constraints in relative propositions, and how several close frameworks deal with it. We will introduce the dependent product construction and show how use it to capture this phenomenon in ACG.
Type de document :
Communication dans un congrès
Conférence sur le Traitement Automatique des Langues Naturelles - TALN 2009 - RECITAL, Jun 2009, Senlis, France. 2009
Liste complète des métadonnées

Littérature citée [5 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00441912
Contributeur : Florent Pompigne <>
Soumis le : jeudi 17 décembre 2009 - 15:43:36
Dernière modification le : jeudi 11 janvier 2018 - 06:19:48
Document(s) archivé(s) le : jeudi 17 juin 2010 - 21:59:10

Fichier

recital-article.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00441912, version 1

Collections

Citation

Florent Pompigne. Modélisation des mouvements explicites dans les ACG avec le produit dépendant. Conférence sur le Traitement Automatique des Langues Naturelles - TALN 2009 - RECITAL, Jun 2009, Senlis, France. 2009. 〈inria-00441912〉

Partager

Métriques

Consultations de la notice

96

Téléchargements de fichiers

287