Problemes de Satisfaction de Contraintes Spatiales
29%
off

Problemes de Satisfaction de Contraintes Spatiales

By (author) 

Free delivery worldwide

Available. Dispatched from the UK in 3 business days
When will my order arrive?

Description

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.show more

Product details

  • Paperback | 172 pages
  • 150.11 x 219.96 x 9.91mm | 303.91g
  • Univ Europeenne
  • United States
  • French
  • Aufl.
  • black & white illustrations
  • 6131599165
  • 9786131599163

About Challita-K

Khalil Challita a obtenu sa maîtrise en mathématiques pures à l'université libanaise-Fanar, son DEA à l'AUF-Beyrouth, et son doctorat à l'UPS-Toulouse. Actuellement il est professeur assistant à l'université Notre Dame - Louaize. Ses recherches portent principalement sur deux sujets: le raisonnement spatial qualitatif et la sécurité informatique.show more