A logical approach to grammar description - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Journal of Language Modelling Année : 2015

A logical approach to grammar description

Résumé

In the tradition of Model Theoretic Syntax, we propose a logical approach to the description of grammars. We combine in one formalism several tools that are used throughout computer science for their power of abstraction: logic and lambda calculus. We propose then a high-level formalism for describing mildly context sensitive grammars and their semantic interpretation. As we rely on the correspondence between logic and finite state automata, our method combines con-ciseness with effectivity. We illustrate our approach with a simple linguistic model of several interleaved linguistic phenomena involving extraction. The level of abstraction provided by logic and lambda calculus allows us not only to use this linguistic model for several languages, namely English, German, and Dutch, but also for semantic interpretation.
Fichier principal
Vignette du fichier
cks.pdf (258.19 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

hal-01251222 , version 1 (19-01-2016)

Identifiants

Citer

Lionel Clément, Jérôme Kirman, Sylvain Salvati. A logical approach to grammar description. Journal of Language Modelling, 2015, Special issue on High-level methodologies for grammar engineering, 3 (1), pp. 87-143 ⟨10.15398/jlm.v3i1.94⟩. ⟨hal-01251222⟩
120 Consultations
1096 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More