Problèmes de Satisfaction de Contraintes Spatiales [French]

By Challita-K and Khalil Challita

Les problemes de la representation 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 a modeliser 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 defini par des entites primitives spatiales qu'il manipule et par des relations spatiales atomiques considerees entre ces entites, de sorte qu'on puisse raisonner qualitativement sur un nombre quelconque de ses elements spatiaux, grace aux relations basiques deja fixees. Dans cette these, notre attention sera tournee 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 basee sur RCC5. On montrera que les reseaux RCC5 et RCC8 sont consistants, et que resoudre des contraintes entre des droites en dimension 3 est un probleme NP-difficile."

• Format: Paperback
• Language: French
• ISBN: 6131599165
• ISBN13: 9786131599163
• Release Date: October 2011
• Publisher: Omniscriptum
• Length: 172 Pages
• Weight: 0.57 lbs.
• Dimensions: 0.4" x 6.0" x 9.0"