Raisonnements sur l'espace et le temps : des modèles aux applications
Résumé
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 est organisé en trois parties principales. Nous présentons tout d'abord des formalismes logiques et algébriques de représentation de l'espace et du temps. Dans une deuxième partie, nous décrivons les techniques de raisonnement associés à ces représentations : raisonnements logiques, résolution de contraintes, treillis et modèles graphiques. Une troisième partie s'attache à décrire quelques applications concrètes de ces techniques, en particulier à l'analyse et à la gestion de territores agricoles.