Raisonnement qualitatif sur le temps et l'espace Coll. Ingénierie des langues

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.

Le raisonnement qualitatif. Chapitre 1. Le formalisme d'Allen. Chapitre 2. Sous-classes polynomiales. Chapitre 3. Intervalles généralisés. Chapitre 4. Formalismes qualitatifs binaires. Chapitre 5. Formalismes qualitatifs de valence supérieure à 2. Chapitre 6. Formalismes quantitatifs, hybrides, et granularité. Chapitre 7. Raisonnement flou. Chapitre 8. Espaces conceptuels. Chapitre 9. Représentations faibles. Chapitre 10. Modèles de RCC-8. Chapitre 11. Approche catégorique. Chapitre 12. Complexité des langages de contraintes. Chapitre 13. Raisonnement spatial et logique modale. Chapitre 14. Applications et outils logiciels. Chapitre 15. Conclusion et perspectives. Annexes. Bibliographie. Index.