AAAI Publications, Twenty-First International Joint Conference on Artificial Intelligence

Font Size: 
Euclidean and Mereological Qualitative Spaces: A Study of SCC and DCC
Stefano Borgo

Last modified: 2009-06-25


We determine the implicit assumptions and the structure of the Single and Double Cross Calculi within Euclidean geometry, and use these results to guide the construction of analogous calculi in mereogeometry.  The systems thus obtained have strong semantic and deductive similarities with the Euclidean-based Cross Calculi although they rely on a different geometry. This fact suggests that putting too much emphasis on usual classification of qualitative spaces may hide important commonalities among spaces living in different classes.

Full Text: PDF