Infinite RCC8 Networks
Khalil Challita · 2017
In this paper, we solve the problem of determining a consistent instantiation of any path consistent and atomic network of RCC8 base relations. We already know that such networks that contain a finite number of variables have a realization in any dimension d 1. The novelty of our work is that given any path-consistent and atomic constraint RCC8 network, possibly with countably infinite variables, we are able to construct in polynomial time a realization that satisfies it. For this purpose, we suitably instantiate the variables of such a network by associating to them some regular closed sets of the set of real numbers.