Problhmes De Satisfaction De Contraintes Spatiales (french Edition) [Paperback]

Les probl?mes de la repr?sentation et du raisonnement spatiaux sont d'une importance cruciale en informatique. Le raisonnement spatial qualitatif (RSQ), qui est un sous-domaine de l'intelligence articielle, vise ? mod?liser l'espace en utilisant uniquement des relations spatiales de type qualitatif, sans avoir recours aux techniques quantitatives traditionnelles. Dans le RSQ, un formalisme spatial est d?fini par des entit?s primitives spatiales qu'il manipule et par des relations spatiales atomiques consid?r?es entre ces entit?s, de sorte qu'on puisse raisonner qualitativement sur un nombre quelconque de ses ?l?ments spatiaux, gr?ce aux relations basiques d?j? fix?es. Dans cette th?se, notre attention sera tourn?e vers deux formalismes spatiaux qualitatifs: (1) RCC, (2) les droites dans le plan et dans l'espace euclidiens; ainsi que vers une logique spatio-temporelle qualitative bas?e sur RCC5. On montrera que les r?seaux RCC5 et RCC8 sont consistants, et que r?soudre des contraintes entre des droites en dimension 3 est un probl?me NP-difficile.