Cálculo de conexión de región
El cálculo de conexión de región ( RCC ) está destinado a servir para la representación espacial cualitativa y el razonamiento . RCC describe regiones de manera abstracta (en el espacio euclidiano , o en un espacio topológico ) por sus posibles relaciones entre sí. RCC8 consta de 8 relaciones básicas que son posibles entre dos regiones:
A partir de estas relaciones básicas, se pueden construir combinaciones. Por ejemplo, la parte propia (PP) es la unión de TPP y NTPP.
Los dos axiomas describen dos rasgos de la relación de conexión, pero no el rasgo característico de la relación de conexión. [2] Por ejemplo, podemos decir que un objeto está a menos de 10 metros de sí mismo y que si el objeto A está a menos de 10 metros del objeto B, el objeto B estará a menos de 10 metros del objeto A. Entonces, la relación 'menos de 10 metros' también satisface los dos axiomas anteriores, pero no habla de la relación de conexión en el sentido previsto de RCC.
El cálculo RCC8 está destinado a razonar sobre configuraciones espaciales. Considere el siguiente ejemplo: dos casas están conectadas a través de una carretera. Cada casa está ubicada en una propiedad propia. La primera casa posiblemente toca el límite de la propiedad; el segundo seguramente no. ¿Qué podemos inferir sobre la relación de la segunda propiedad con el camino?
Usando la tabla de composición RCC8 y el algoritmo de consistencia de ruta , podemos refinar la red de la siguiente manera:
Es decir, la carretera se superpone (PO) property2 o es una parte propia tangencial de ella. Pero, si el camino es una parte propia tangencial de la propiedad2 , entonces el camino solo puede estar conectado externamente (EC) a la propiedad1 . Es decir, road PO property1 no es posible cuando road TPP property2 . Este hecho no es obvio, pero se puede deducir una vez que examinamos las "etiquetas singleton" consistentes de la red de restricciones. El siguiente párrafo describe brevemente el etiquetado singleton.
