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 à la Montague, pour inclure des éléments de sémantique lexicale, et filtrer les analyses que le sens des mots rend hautement improbable.

 

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.