Nous utilisons des cookies pour améliorer votre expérience. Pour nous conformer à la nouvelle directive sur la vie privée, nous devons demander votre consentement à l’utilisation de ces cookies. En savoir plus.
Problèmes de satisfaction de contraintes spatiales
Univ Europeenne - EAN : 9786131599163
Édition papier
EAN : 9786131599163
Paru le : 19 oct. 2011
59,00 €
55,92 €
Disponible
Pour connaître votre prix et commander, identifiez-vous
Notre engagement qualité
-
Livraison gratuite
en France sans minimum
de commande -
Manquants maintenus
en commande
automatiquement -
Un interlocuteur
unique pour toutes
vos commandes -
Toutes les licences
numériques du marché
au tarif éditeur -
Assistance téléphonique
personalisée sur le
numérique -
Service client
Du Lundi au vendredi
de 9h à 18h
- EAN13 : 9786131599163
- Réf. éditeur : 5388901
- Editeur : Univ Europeenne
- Date Parution : 19 oct. 2011
- Disponibilite : Disponible
- Barème de remise : NS
- Nombre de pages : 172
- Format : H:220 mm L:150 mm
- Poids : 262gr
- Interdit de retour : Retour interdit
- Résumé : 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.
- Biographie : 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.
