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/