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