Raisonnements sur l'espace et le temps

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.