Abstract FR:

Les recherches presentees dans cette these s'inscrivent dans le cadre d'une collaboration entre l'equipe lrc et la sogerma-socea. L'objectif de ce travail est de definir des logiciels d'aide a la decision capables d'interpreter des sequences d'images prises par des cameras embarquees (eg. Cameras infra rouges). La methode proposee est fondee sur les modeles qui definissent la semantique de l'espace et du mouvement dans la langue. En partant de ces modeles nous definissons un systeme hybride capable de traduire les informations numeriques delivrees par des capteurs en des expressions logiques interpretant les observations et susceptibles d'etre exploitees par des raisonnements. Ce systeme articule trois composantes. La premiere calcule, a partir d'une prise instantanee d'information (une image), les relations mereo-topologiques verifiees entre les entites de la scene a cet instant precis. Ce type de relations permet d'exprimer la semantique de prepositions spatiales de la langue qui decrivent la localisation des entites mobiles lors de la prise. Nous definissons ensuite un systeme general de raisonnement temporel base sur la notion d'intervalles. Il s'agit d'un systeme de raisonnement temporel non-monotone inspire du calcul d'evenements qui permet de distinguer des informations temporelles sures (pendant les periodes d'observation), des informations temporelles deduites par defaut lorsque l'on applique des postulats de persistance (en dehors des periodes d'observation). Ce calcul decide quel verbe de deplacement permet de decrire des observations