Sémantique formelle de l'expression du mouvement. De la sémantique lexicale au calcul de la structure du discours en français

par Pierre Sablayrolles

Thèse de doctorat en Informatique. Intelligence artificielle

Sous la direction de Mario Borillo.

Soutenue en 1995

à Toulouse 3 .


  • Résumé

    Le travail que nous presentons dans ce memoire s'inscrit dans le cadre de l'analyse formelle de la semantique du langage naturel. Plus precisement, il concerne la representation et le traitement des structures spatio-temporelles de la langue. Developper des formalismes pour representer la connaissance spatiale et temporelle a toujours ete d'une importance considerable en intelligence artificielle et en sciences cognitives. Pour mettre au jour et modeliser les concepts spatio-temporels de base sous-jacents a cette connaissance, le langage naturel constitue une excellente trace de ces concepts, en particulier par la facon meme dont on utilise certaines expressions plutot que certaines autres pour decrire le monde. Or, dans la langue, ce sont les expressions decrivant des mouvements qui expriment le mieux les liens etroits qui unissent l'espace et le temps, puisqu'elles representent une succession de localisations spatiales evoluant au cours du temps. Notre travail s'appuie par consequent sur une etude linguistique descriptive de l'ensemble des verbes de mouvement et des prepositions spatiales du francais. Tout d'abord, nous clarifions la notion de lieu, qui restait tres ambigue dans la litterature. Cela nous permet de distinguer quatre grandes classes de verbes de mouvement. Pour l'une de ces classes, la classe des verbes de changement de lieu, nous realisons une analyse linguistique systematique de l'ensemble des elements pertinents, en adoptant quatre points de vues differents mais complementaires: une approche localiste, une approche aspectuelle, une approche connaissance du monde et une approche aspectualite. En nous appuyant sur une etude localiste des prepositions spatiales du francais, nous enoncons, sous la forme d'axiomes logiques, des regles formelles de composition nous permettant de calculer la semantique spatio-temporelle d'un complexe de mouvement a partir des proprietes spatiales et temporelles du verbe et de la preposition qui le composent. Ces regles sont formalisees dans une theorie basee sur la mereologie. Le calcul fait intervenir des informations de nature lexicales, mais aussi des informations liees a la structure meme du discours. Nous utilisons donc la sdrt segmented discourse representation theory de nicholas asher pour modeliser ces interactions et nous faisons appel a l'operateur d'implication faible des logiques non-monotones pour coder les defauts dans nos entrees lexicales. Nous montrons egalement comment les informations discursives peuvent etre utilisees pour la desambiguisation lexicale et comment les informations lexicales peuvent aider au calcul de la structure du discours

  • Titre traduit

    Formal semantics of expressions of motion. From lexical semantics to the calculus of the discourse structure in french


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 2 vol. (606) p

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Ecole nationale supérieure des sciences appliquées et de technologie. Bibliothèque.
  • Disponible pour le PEB
  • Bibliothèque : Université Paul Sabatier. Bibliothèque universitaire de sciences.
  • Disponible pour le PEB
  • Cote : 1995TOU30224
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.