Calcul de la connexion entre régions

Définition

Le calcul de la connexion entre régions est un formalisme en logique du premier ordre pour décrire et raisonner sur des relations topologiques entre régions de l'espace. Typiquement, le calcul de la connexion entre régions comporte huit (8) relations de base.

Français

calcul de la connexion entre régions n.m.

Anglais

Region connection calculus

Source : Claude Coulombe, DataFranca.org