Modélisation de la
sémantique lexicale dans la théorie des types
Encadrants : Christian Bassac, Christian Retoré
Téléphone : 0405 40 00 35 23 / 05 40 00 38 72
E-Mail : Christian.Bassac@inria.fr , retore@labri.fr
Équipe : Méthodes Formelles
Mot-clés : théorie des types, informatique linguistique
Description du sujet
Pour interpréter les phrases du langage naturel, des éléments de natures différentes sont indispensables.
L'analyse syntaxique est une information essentielle. Elle trouve les constituants et leur structure hiérarchique, ce qui permet d'associer des formules logiques aux énoncés :
Tout barbier se rase lui-même
qqs x barbier(x) )=> rase(x,x)
Mais l'analyse syntaxique ne suffit pas car nous utilisons aussi notre connaissance du monde pour interpréter une phrase, comme le rattachement du groupe prépositionnel dans les exemples suivants:
Il regarde le gangster avec des jumelles.
Il regarde le gangster avec un couteau.
Articuler dans un même modèle les aspects syntaxiques, logiques et la représentation des connaissances n'est pas facile.
Pustejovsky a proposé un modèle appelé lexique génératif pour représenter les connaissances dans le lexique:
on parle alors de sémantique lexicale, laquelle inclut le lien entre les sens des mots et leur relation avec le monde.
Ce travail consiste aussi à combiner sémantique lexicale et syntaxe, en partant d'un analyseur syntaxique, Grail,
qui inclut déjà un traitement de la sémantique
compositionnelle à
On pourra s'inspirer du mémoire de master 2 de Jules Vanier qui est
parti du lexique génératif comme modèle de la sémantique lexicale
pour aboutir à une formalisation et à une mécanisation
de la composition sémantique qui soit compatible avec la composition syntaxique.
Comme application particulière on pourra se focaliser sur la sémantique spatiale:
groupes prépositionnels, verbes de localisation ou de mouvement.
Mot-clés : traitement automatique des langues, grammaires catégorielles,
sémantique de Montague, lexique génératif, représentation des connaissances,
unification, logique d'ordre supérieur
Références :
James Pustejovky, The Generative Lexicon, MIT Press, 1995.
L.T.E.
Gamut, Logic, Language and Meaning. Vol. 2 (Intensional
Logic and Logical Grammar).
The
University of Chicago Press, 1991.
Richard
Moot, GRAIL version 3,
http://www.labri.fr/~moot/grail3.html
Christian Retoré, The logic of categorial
grammars,
http://www.labri.fr/perso/retore/publications.html
Jules Vanier, Vers un modèle de représentation des connaissances
dédié à l'analyse sémantique de la phrase
mémoire de Master, Université Paris 6, INRIA-Futurs et LABRI
Commentaires
éventuels :
Ce sujet est aussi bien pratique que théorique, la proportion entre programmation et résultats théoriques étant modulable suivant l'étudiant.