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.
Il n'y a pas encore de discussion sur ce livre
Soyez le premier à en lancer une !
80 ans après, il est toujours essentiel de faire comprendre cet événement aux plus jeunes
Selma ne vit que pour les chevaux et c’est à travers eux qu’elle traverse cette période violente si difficile à comprendre pour une adolescente...
"Osons faire des choses qui sont trop grandes pour nous", suggère Maud Bénézit, dessinatrice et co-scénariste de l'album
"L’Antiquité appartient à notre imaginaire", explique la romancière primée cette année
