Artificial Intelligence
Mereotopology: a theory of parts and boundaries
Data & Knowledge Engineering - Special issue on modeling parts and wholes
Toward a geometry of common sense: a semantics and a complete axiomatization of mereotopology
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
| Hi-index | 0.00 |
It is considered the virtue of mereotopology that it takes regions instead of points to be the primitive entities of space. As mereotopology is assumed to avoid the difficulties incurred by considering points as primitive entities, mereotopology is thought to provide the means for common-sense spatial representation and reasoning. However, we show that considering regions as primitive entities in mereotopology does not prevent us referring to points in a commonly used mereotopological first-order language. Therefore, the difficulties attributed to taking points as primitive entities must be considered even for point-free mereotopologies. Consequently, the virtue of mereotopology cannot lie in taking regions instead of points as primitive entities. On the contrary, we argue that the virtue of mereotopology is its capability to treat regions and points as primitive entities.