Mis à jour le 26 Janvier 2009.
Enseignements du Second Semestre 2008-2009 : cliquez ici.
Recherche : questions et réponses sur la sémantique lexicale.
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.
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).
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.
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.
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é.
Premier semestre : co-encadrement de Travaux Pratiques d'Initiation à l'Informatique, dans le cadre du premier semestre de MISMI de Licence, pouvant déboucher sur une Licence d'Informatique.
Groupes concernés :
Premier semestre : encadrement de projet d'algorithmique, partie algorithmes, première année d'informatique, groupe 2 de l'ENSEIRB.
Premier semestre : enseignement en TD d'algorithmique, partie structures arborescentes, première année d'informatique, groupe 2 de l'ENSEIRB.
Second semestre : co-encadrement de Travaux Pratiques d'USI en Licence d'Informatique, second semestre. Responsable du groupe pour cet enseignement : Nicolas Caniart.
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 :
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).
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.
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.
(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.)
Membre (devant depuis trop longtemps renouveler sa côtisation) de l'ABUL, fondateurs des Rencontres Mondiales du Logiciel Libre.
Membre associé de la Free Software Foundation.
Lecteur de Da Linux French Page et Slashdot.
Partisan de l'utilisation de LaTeX pour tout document écrit ou présentation.
Également utilisateur de beaucoup de choses en rapport avec Apple Computers, même les logiciels non libres, pour des raisons purement affectives.
Animateur et Président d'une association de culture et de loisirs de la CUB, Troll Me Tender, qui a repris une activité régulière début Février 2007.
Membre d'un Parti politique représenté localement.
Amateur de loisirs divers, variés, conventionnels ou moins, locaux ou importés.