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 Le raisonnement qualitatif sur le temps et l'espace
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.