Titre: Analyse syntaxique robuste dans les grammaires catégorielles
Encadrants : Richard Moot, Christian Retoré
Téléphone : 05 40 00 66 10/ 05 40 00 38 72
E-Mail : moot@labri.fr, retore@labri.fr
Équipe : Méthodes Formelles
Mot-clés : grammaires formelles, systèmes déductifs,
traitement automatique des langues
Description du sujet
Bien qu'issues de la linguistique, les grammaires formelles (celle
de
la hérarchie de Chomsky, les
grammaires d'abres, les grammaires
catégorielles) connaissent plus de
succès en informatique
théorique que dans la pratique du
traitement automatique des
langues.
En effet, quand bien même la syntaxe une langue peut être
convenablement décrite par une
grammaire formelle, les données
linguistiques réelles, celles qu'on
souhaite analyser,
s'éloignent des phrases idéales
produite par le modèle
formel: mots manquants ou mal
orthographiés, phrases interrompues,
insertions et apartés, reprises,
etc.
Ce sujet propose d'enrichir un analyseur syntaxique fondé sur
les
grammaires catégorielles, Grail (Moot,
2002) afin qu'il traites de
données linguistiques réelles tout en
gardant le cadre
syntaxico- sémantique puissant
fourni par la théorie des
types. Les grammaires formelles qui
en sont issues peuvent être
vues comme un système déductif: les
analyses syntaxiques sont
des démonstrations formelles dans
des logiques sensibles aux
ressources, ce qui permet dans
extraire des lambda-termes
représentant la sémantique des énoncés
analyser. Une
application possible de ce type de
modèle est, par exemple, un
système de questions réponses en
langue naturelle.
Ce sujet de thèse comporte des aspects théoriques et
pratiques. Les premiers sont
incontournables et les seconds seront
plus ou moins développés suivant le
candidat.
Aspects théoriques : Formalisation de différents types
d'erreurs
et extensions du système logiques
pour permettre des
analyses/déductions partielles
Proposition de mécanismes
d'extension de l'analyseur
syntaxique pour traiter ces analyses
partielles, études de la complexité,
Etudes des critères
d'évaluation des extensions
logiques et des mécanismes d'analyse
syntaxique qui en découlent,
Introduction d'un mécanisme
d'analyse probabiliste pour choisir
parmi la multitude d'analyses
syntaxiques que va engendrer la
possibilité d'analyse partielles
Aspects Pratiques : Implémentation d'une extension robuste
de
Grail, Constitution d'un corpus "bruité" (avec
erreurs), Evaluation
des performances (suivants les critères
étudiés) sur ce
corpus.
Application au français Références
Lambek, J. (1958) `The Mathematics of Sentence Structure',
American Mathematical Monthly 65, pp. 154-170.
http://www.uni-bielefeld.de/lili/personen/gjaeger/cg_ss00/lambek/
lambek58.html
Moortgat, M.
Categorial Type Logic In van Benthem and ter Meulen Handbook of Logic and Language, Elsevier-MIT
Press, 1997.
http://grail.let.uu.nl/~mjm/Tarragona/
Moot, R. Proof-Nets
for Linguistic analysis, OTS, Utrecht
Universiteit, 2002.
http://www.labri.fr/~moot
Moot, R. Grail
the theorem prover for type-logical grammars
http://www.labri.fr/Perso/~moot/grail.html
Retoré, C. (2004) `The Logic of Categorial Grammars, Notes
de Cours.
http://www.labri.fr/~retore/