calcul de la connexion entre régions

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
wiki.datafranca.org