HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Other publications

Formalisation de la dynamique du langage à travers les grammaires d'interaction

Mathieu Morey 1
1 CALLIGRAMME - Linear logic, proof networks and categorial grammars
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : Les grammaires d'interaction sont un formalisme permettant de faire de l'analyse syntaxique et sémantique de la langue naturelle. Les objets syntaxiques de base sont des descriptions d'arbres polarisées qui spécifient partiellement des arbres syntaxiques. Dynamic Syntax est un formalisme d'analyse sémantique, dans lequel la syntaxe contraint la croissance d'une structure sémantique. Les objets sémantiques sont des descriptions d'arbres avec des ressources qui spécifient partiellement des arbres sémantiques. Alors que les grammaires d'interaction n'ont pas encore de dimension sémantique fixée, Dynamic Syntax souffre d'une formulation procédurale donc difficile à manipuler. Nous proposons donc une première tentative de formulation déclarative pour Dynamic Syntax en grammaires d'interaction. Cette tentative met en lumière plusieurs types de différences entre les deux formalismes, dont certaines semblent surmontables. Nous concluons sur les solutions possibles et les perspectives ouvertes par cette étude.
Document type :
Other publications
Complete list of metadata

https://hal.inria.fr/inria-00186754
Contributor : Mathieu Morey Connect in order to contact the contributor
Submitted on : Monday, November 12, 2007 - 11:10:18 AM
Last modification on : Friday, February 4, 2022 - 3:29:41 AM
Long-term archiving on: : Monday, April 12, 2010 - 1:55:10 AM

Files

rapport.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00186754, version 1

Collections

Citation

Mathieu Morey. Formalisation de la dynamique du langage à travers les grammaires d'interaction. 2007. ⟨inria-00186754⟩

Share

Metrics

Record views

85

Files downloads

71