Grammaires minimalistes :

propriétés mathématiques des descriptions linguistiques et implantation

 

Encadrants : Irène Durand, Christian Retoré

 

Téléphone : 05 40 00 38 72 / 05 40 00 69 14

 

E-Mail : retore@labri.fr, idurand@labri.fr

 

Équipe : Méthodes Formelles

 

Mot-clés : grammaires formelles, systèmes déductifs, logique,  traitement automatique des langues, parsing, analyse syntaxique

 

Description du sujet

 

Les grammaires minimalistes [4] constituent un modèle de la syntaxe

des langues naturelles particulièrement intéressant. En effet,

elles formalisent le récent programme minimaliste de Noam Chomsky

[1] et décrivent de manière universelle les langues humaines

à l'aide de deux opérations : la composition de deux arbres

et le déplacement d'un sous-arbre à l'intérieur d'un

arbre. Les langages engendrés ne sont donc distingués que par le

lexique, fonction qui assigne à chaque mot (ou terminal) des

formules décrivant son comportement syntaxique.

 

D'un point de vue mathématique, des liens ont été établis

entre ces grammaires et la théorie des langages classique, les

systèmes de réécriture, et la théorie de la

démonstration. Une correspondance avec les grammaires

régulières d'arbres, récemment découverte [3], permet

de les étudier à l'aide des outils développés dans le

cadre de la théorie des automates et de la logique monadique du

second ordre.  [5] Il a aussi été montré que certains

systèmes de réécriture pouvaient se plonger dans ces

grammaires, et qu'elle mêmes contenaient des grammaires

catégorielles fondées sur des systèmes déductifs

partiellement commutatifs. [2]

 

Le sujet de cette thèse sera de renforcer les liens entre les

grammaires minimalistes et les formalismes plus conventionnels. La

capacité générative faible (les chaînes engendrées) est

relativement bien connue, et on se propose d'étudier la capacité

générative forte, les langages d'arbres engendrés, ce qui est

une question importante (ce sont les structures linguistiques) mais

relativement mal connue (une exception étant [5] dans le cas des

grammaires de Lambek).

 

En parallèle on se propose de développer une implantation des

grammaires minimalistes, un prototype pour le français qui utilise

les résultats théoriques pour garantir l'efficacité

algorithmique.

 

Références

 

[1] Noam Chomsky. The minimalist program. MIT Press, Cambridge, MA,  1995.

 

[2] Alain Lecomte and Christian Retoré. Extending Lambek grammars: a  logical account of minimalist grammars. In Proceedings of the 39th  Annual Meeting of the Association for Computational Linguistics, ACL  2001, pages 354%Gâ??%@361, Toulouse, July 2001. ACL. http://www.labri.fr/ ~retore

 

[3] Uwe Mönnich, Jens Michaelis, and Frank Morawietz. On minimalist  attribute grammars and macro tree transducers. In Ch. Rohrer, A.  Rossdeutscher, and H. Kamp, editors, Linguistic Form and its  Computation. CSLI Publications, 2004. http://tcl.sfs.uni-tuebingen.de/ ~um/

 

[4] Edward Stabler. Derivational minimalism. In Christian Retoré,  editor, Logical Aspects of Computational Linguistics, LACLÆ96, volume  1328 of LNCS/LNAI, pages 68%Gâ??%@95. Springer-Verlag, 1997. http:// www.humnet.ucla.edu/humnet/linguistics/people/stabler/stabler.htm

 

[5] Hans-Jörg Tiede, 1999. Deductive Systems and Grammars: Proofs as  Grammatical Structures. PhD thesis, Illinois Wesleyan University, 1999.

 

[6] Igor Walukiewicz. Automata and logic. In EFF Summer School, 2001.  http://www.labri.fr/Perso/~igw/surveys.html