Raisonnement qualitatif sur le temps et l'espace

Le raisonnement qualitatif sur le temps et l'espace est un domaine de l'intelligence artificielle qui connaît un développement important, notamment en raison de ses liens avec de nombreuses applications comme la planification, la robotique et les systèmes d'information géographique.

Cet ouvrage traite de la représentation et de la manipulation de connaissances qualitatives sur le temps, comme par exemple « ces deux événements ont débuté simultanément » ou sur l'espace, comme « la parcelle A est adjacente à la parcelle B ».

Les questions d'expressivité, de complexité, et d'existence de modèles sont étudiées de façon systématique, en privilégiant les techniques algébriques et géométriques. L'ouvrage s'intéresse également aux extensions floues des formalismes, à l'étude de la complexité au moyen de notions d'algèbre universelle et contient des pointeurs vers les applications, ainsi qu'une description de logiciels qui permettent d'utiliser les formalismes.