Raisonnements sur l'espace et le temps
des modèles aux applications
Traité IGAT, série Géomatique

Issu d'une action concertée incitative du Ministère de la Recherche, cet ouvrage traite des formalismes de représentation et de raisonnement sur l'espace et le temps, tels qu'ils sont développés actuellement en intelligence artificielle. Il s'adresse aussi bien à un public d'étudiants que de chercheurs ou d'ingénieurs dans le domaine de l'informatique ou de la géomatique. Il est organisé en trois parties principales. Les auteurs présente tout d'abord des formalismes logiques et algébriques de représentation de l'espace et du temps. Dans une deuxième partie, ils décrivent les techniques de raisonnement associés à ces représentations : raisonnements logiques, résolution de contraintes, treillis et modèles graphiques. Une troisième partie expose des applications concrètes de ces techniques, en particulier pour l'analyse et la gestion de territoires agricoles.

Introduction -G. Ligozat, F. Le Ber, O. Papini. Représentation du temps et de l'espace. Représentations en logique classique -Ph. Muller, V. Dugat. Représentation en logique modale -O. Papini. Représentation algébrique -G. Ligozat. Raisonnement sur le temps et l'espace. Raisonnement en logique classique -O. Papini. Raisonnement en logique modale -O. Papini. Réseaux de contraintes temporelles et spatiales -J.-F. Condotta, E. Würbel. Treillis pour le raisonnement spatial -F. Le Ber, A. Napoli. Quelques modèles graphiques pour le raisonnement temporel et spatial -J.-F. Mari, C. Largouët. Applications. Application en hydrologie : approches logiques et réseaux de contraintes -E. Würbel. Reconnaissance de paysages agricoles à l'aide de treillis de relations -F. Le Ber. Fouille de données spatio-temporelles à l'aide de modèles de Markov cachés -J.-F. Mari. Reconnaissance de l'occupation du sol à l'aide d'un automate temporisé -C. Largouët, M.-O. Cordier. Annexes.