Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Problèmes de Satisfaction de Contraintes Spatiales

Problèmes de Satisfaction de Contraintes Spatiales

Challita-K

Paperback

Series: Omn.Univ.Europ.

Literary CriticismGeneral Computers

ISBN10: 6131599165
ISBN13: 9786131599163
Publisher: Ed Universitaires Europeennes
Published: Feb 28 2018
Pages: 172
Weight: 0.57
Height: 0.40 Width: 5.98 Depth: 9.02
Language: French
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.

Also in

General Computers

View All