Abstract FR:

Cette etude se situe dans le domaine de la representation des connaissances et de la formalisation du raisonnement sur l'action. Notre contribution s'interesse particulierement a la localisation d'un mobile a partir d'une description de son itineraire. Nous considerons une scene constituee d'un ensemble de lieux de reference par rapport auxquels un mobile est localise. Deux relations de localisation sont possibles etre a l'interieur ou etre a l'exterieur d'un lieu. L'itineraire du mobile est decrit a travers sa localisation a differents instants, et a travers des actions de deplacements du type entrer ou sortir d'un lieu. Le probleme qui se pose est : que peut-on deduire sur la localisation du mobile a differents instants? deux axes ont ete developpes. Le premier concerne l'etude des problemes de representation de la localisation du mobile par rapport aux lieux, ainsi que la nature spatio-temporelle des deplacements du mobile. Une theorie spatio-temporelle a ainsi ete proposee pour la description de l'evolution d'un mobile par rapport a un ensemble de lieux. Le deuxieme axe developpe concerne l'etude de la representation logique des actions et de leurs effets et particulierement les problemes du decor, de la ramification, du non determinisme et de la concurrence des actions. Une comparaison des differents formalismes dans ce domaine a ete realisee. Nous avons egalement propose un systeme de raisonnement em (modelisation d'evenements), base sur la notion de dependance entre une action et l'etat d'une propriete, et qui permet de resoudre ces differents problemes. Le systeme em constitue la base formelle permettant de decrire les actions de deplacements (entrer et sortir), les lois sur le comportement du mobile, et les hypotheses concernant l'interpretation d'une description. Nous montrons ensuite que les deductions obtenues sont conformes a nos intuitions et au raisonnement de sens commun (suivant la specification de la classe de scenarios etudiee).