Euclidean and Mereological Qualitative Spaces: A Study of SCC and DCC
Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence. Pages 708-712.
Abstract
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.Stefano Borgo
@inproceedings{ijcai2009p123,
title = {Euclidean and Mereological Qualitative Spaces: A Study of SCC and DCC},
author = {Borgo, Stefano},
booktitle = {Proceedings of the Twenty-First International Joint Conference on
Artificial Intelligence, {IJCAI-09}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Hiroaki Kitano},
pages = {708--712},
year = {2009},
url = {https://ijcai.org/proceedings/2009/123},
}
TY - CPAPER TI - Euclidean and Mereological Qualitative Spaces: A Study of SCC and DCC AU - Borgo, Stefano T2 - Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence, IJCAI-09 PB - International Joint Conferences on Artificial Intelligence PY - 2009 SP - 708 EP - 712 UR - https://ijcai.org/proceedings/2009/123 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
