Contact - Recherche - Enseignement - Divers

Mis à jour le 26 Janvier 2009.

Actualités

Enseignements du Second Semestre 2008-2009 : cliquez ici.

Recherche : questions et réponses sur la sémantique lexicale.

Bruno Mery

(Salzburg 2006 - detail)

Doctorant en Informatique, au LaBRI, Bureau 123.

Contact : bruno (dot) mery (at) labri (dot) fr ou 05 4000 84 19, CV

Equipe Méthodes Formelles, projet Signes.









Activités de Recherche

Domaine général

Linguistique computationnelle, traitement automatique des langues, théorie des langages.

Concrètement, il s'agit de recherche sur les mécanismes de la langue telle qu'elle est parlée ou écrite. Une compréhension de ces mécanismes a de nombreuses applications en informatique : traduction, correction de fautes, génération de textes, interprétation de questions, reconnaissance ou synthèse vocale, typographie, applications à l'accessibilité (transcription de textes en langue des signes ou braille, interface de Stephen Hawking, par exemple). Domaines connexes : analyse de textes, traitement automatique, étiquettage, compilation.

Petite introduction faite maison (n'ayant absolument rien d'officiel, complétez avec cette définition, ce glossaire ou une de ces pages en anglais, par exemple).

Travaux et Publications

  • Mémoire de recherche en Master (DEA), sous la direction de Maxime Amblard, Irène Durand et Christian Retoré, sur les Grammaires légérement contexuelles pour l'analyse du langage naturel.

    Une version rapport INRIA (en anglais) est également disponible (approuvée en Décembre 2006). Dernière version, PDF.

    En résumé : le but est d'étudier les formalismes capables de représenter la syntaxe des langues humaines (plus puissants que les automates, expressions régulières ou autres systèmes simples de représentation de mots), tout en restant utilisables et performants (de complexité polynômiale au pire). La classe de formalismes visée constitue les grammaires légérement contextuelles définies par Aravind K. Joshi (petit aperçu ci-dessous, dans la hiérarchie de Noam Chomsky). Éléments intéressants : les grammaires minimalistes d'Edward Stabler et les grammaires à concaténation d'intervalles de Pierre Boulier.

    Mildly context-sensitive formalisms in Chomsky's hierarchy
  • Sur ces grammaires en particulier, un petit résumé d'article (en anglais) que j'avais rédigé dans le cadre de l'initiation à la recherche (Master 2).

  • Thèse de Doctorat en cours, dirigée par Christian Retoré et Christian Bassac, portant sur la Modélisation de la sémantique lexicale dans la théorie des types.

    Principe : l'étude de la sémantique lexicale, soit du sens logique des mots, avec une implémentation possible au sein de Grail, l'analyseur logique de Richard Moot. Applications possibles, par exemple, à la polysémie (double sens, métaphore, métonymie).

    La théorie nous servant de base est le Lexique Génératif de James Pustejovsky. Un premier but est d'élaborer un système logique satisfaisant (et implémentable efficacement) se fondant sur cette théorie.

    Premiers résultats : un modèle basé sur des constantes optionnelles permet de formaliser l'ensemble des phénomènes dans une sémantique proche de Montague. Article (version préliminaire) présenté FG 2007; autre présentation à NDTTG 2007 ; exposé (PDF) du Séminaire des Doctorants.

    De nombreuses élaborations et travaux sont en cours ; tous les éléments sont résumés et explicités dans un document sous forme de questions-réponses, certaines accessibles à tous, d'autres nécessitant plus de recherches. Voyez le document, qui reste à l'état d'élaboration pour le moment, et n'hésitez pas à me faire part de toute question supplémentaire, remarque ou demande de précision.

Point sur la politique de la recherche

Je pense que la recherche publique doit avoir les moyens, notamment humains, de permettre à chacun d'espérer de nouvelles découvertes fondamentales dans tous les domaines. Sachant pertinemment que ces découvertes ne se commandent pas, et que les financements sur projets à très court terme ne peuvent concerner que la phase finale, d'approfondissement ou d'implémentation d'une recherche effectuée en amont, et étant bien placé pour savoir que les champs disciplinaires se croisent hors de leurs limites (linguistique et informatique, tout de même...), je considère que l'orientation actuelle, visant à financer la recherche à court terme, la valorisation sur des applications directes, les projets rentables, et des instituts monodisciplinaires, sont fortement nuisibles. D'autre part, les réductions de budget, et surtout de moyens humains, pèsent lourdement sur notre système de recherche, d'enseignement supérieur et secondaire. Attaché à un couple enseignement-recherche actif, dans lequel les étudiants peuvent être témoins des avancées que leurs professeurs effectuent dans la recherche et ainsi se forger une véritable expertise, je ne réclame pas, pour les enseignants-chercheurs, de primes ou d'augmentation d'un traitement pourtant excessivement défavorable, mais une véritable augmentation des embauches, pour améliorer la qualité de l'encadrement comme de la recherche, et des conditions pérennes d'emploi et de conduite de projets, l'activité actuelle pâtissant fortement de la recherche continue de postes et de contrats. C'est pourquoi je soutiens sans réserve, et appelle chacun, dans la limite de ses possibilités, à joindre les mouvements de Sauvons la Recherche et Sauvons l'Université.

Enseignement

Année 2006-2007

Année 2007-2008

  • Premier semestre : encadrement de travaux dirigés en Informatique Théorique 1.

    Troisième année, groupe CBS5 A2. Cours de M. Alexandre Zvonkine, autres références : Anne Dicky (même enseignement en deuxième année, source de la plupart des exercices), Polycopié de Géraud Sénizergues (même enseignement, quelques années avant).

    Matériel particulier au groupe CBS5 A2 :

    • TDs ordres et induction : Exercices avec notes de correction succinctes (dernière rectification le 9 Octobre 2007).
    • TDs mots, langages et automates :Exercices corrigés pour tout le TD (long). Pour la minimisation des automates, un exemple commenté de résolution.
    • Important : Logique.

      Étant donné la situation actuelle, je fournis les énoncés avec solutions. Voici donc la première partie du TD (tout sauf les quantificateurs) : polycopié de M. Alexandre Zvonkine, comprenant exercices et quelques idées de solution.

      J'y ajoute un polycopié (Révision du 14 Décembre : exercice 14) avec quelques notes techniques (voyez le cours pour les tenants et aboutissants fondamentaux), ainsi que des notes supplémentaires sur les exercices données ci-dessus.

      Énoncé de l'unique "Devoir à la Maison" du cours, remplaçant le troisième DS : à rendre le 6 Décembre 2007. Sa correction (sans trop de détails).

    • DS sur les ordres : énoncé avec correction et quelques commentaires généraux.
    • DS sur les mots, langages et automates : énoncé avec correction, commentaires et errata.
  • Second Semestre : encadrement de travaux dirigés en Informatique Théorique 2.

    Troisième année. Cour de M. Géraud Sénizergues. Pas de matériel spécifique ; voyez le TATA, ouvrage (gratuit, en anglais) de référence pour le cours.

Année 2008-2008

  • Les circonstances exceptionnelles traversées actuellement par le système d'enseignement supérieur et de recherche sont de nature à perturber le déroulement normal des enseignements ce semestre. En particulier, je ne peux assurer que l'ensemble des travaux dirigés seront assurées aux dates prévues. N'hésitez pas à me contacter, ou à contacter d'autres membres de l'équipe pédagogique, pour des précisions sur les mouvements, ou toute question portant sur les cours ou exercices dans le cas d'une interruption temporaire des enseignements.

  • Second semestre : encadrement de travaux dirigés en Projet de Programmation 2.

    Deuxième année, groupe CSB4 A3. Cours de M. Pierre-André Wacrenier.

    Consultez les rappels des consignes générales.

  • Second semestre : encadrement de travaux dirigés en Informatique Théorique 2.

    Troisième année, groupe CSB6 A2. Cours de M. Géraud Sénizergues, voir également plus haut.

Activités diverses et personnelles

(Tout ce qui suit est absolument étranger à mes activités d'enseignement et de recherche et n'est cautionné ni par le LaBRI, ni par l'Université de Bordeaux 1, ni par aucune autre personne physique ou morale que moi et les responsables des sites internet ici liés.)

Valid HTML 4.01 Transitional