Abstract FR:

Le travail présenté dans cette thèse s'attache à la représentation des informations temporelles véhiculées par le langage naturel. Son objectif est de contribuer a l'étude de la dimension temporelle dans les problèmes de représentation des connaissances et de modèles de raisonnements en intelligence artificielle et systèmes cognitifs. La diversité et la complexité des marqueurs linguistiques de l'expression du temps exigent que soit d'abord menée une analyse lexicale et syntaxique fine dont les résultats servent de base à la construction d'une sémantique formelle qui exprime les structures temporelles du discours. Le cadre théorique choisi est celui de la sémantique logique et plus particulièrement de la théorie des représentations discursives proposée par HANS KAMP. La première partie de l'ouvrage est consacrée a une synthèse des différents éléments qui sous-tendent la méthodologie. Après une présentation des différentes approches du raisonnement temporel en intelligence artificielle, les outils logiques qui permettent d'appréhender la nature du temps et les marqueurs de la sémantique du temps dans le langage naturel sont examinés. Les problèmes de la sémantique du discours sont abordés avec la présentation du cadre théorique. La deuxième partie présente la contribution de l'auteur au calcul de la référence temporelle dans le discours. Les spécifications d'un système de construction de représentations temporelles de textes y sont proposées. Des formalismes originaux sont définis tant pour les représentations que pour les règles sémantiques qui en assurent la construction. Le processus de construction des représentations des textes est décrit dans ses étapes successives qui concernent le calcul des représentations des marqueurs temporels, des phrases et des relations inter-phrastiques. Ce travail, qui conduit à la mise en œuvre automatique des représentations temporelles de textes, apporte une contribution.