Description du livre
Le raisonnement qualitatif sur le temps et l'espace est un
domaine de l'intelligence artificielle qui connait 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.