Toward a Geometry of Common Sense: A Semantics and a Complete Axiomatization of Mereotopology
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence. Knowledge Representation. Pages 846-851.
Abstract
Mereological and topological notions of connection, part, interior and complement are central to spatial reasoning and to the semantics of natural language expressions concerning locations and relative positions. While several authors have proposed axioms for these notions, no one with the exception ofTarski [18], who based his axiomatization of mereological notions on a Euclidean metric, has attempted to give them a semantics. We offer an alternative to Tarski, starting with mereotopological notions that have proved useful in the semantic analysis of spatial expressions. We also give a complete axiomatization of this account of mereotopological reasoning.
@inproceedings{ijcai1995p110,
title = {Toward a Geometry of Common Sense: A Semantics and a Complete Axiomatization of Mereotopology},
author = {Asher, Nicholas and Vieu, Laure},
booktitle = {Proceedings of the Fourteenth International Joint Conference on
Artificial Intelligence, {IJCAI-95}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Chris S. Mellish},
pages = {846--851},
year = {1995},
note = {Knowledge Representation},
url = {https://ijcai.org/proceedings/1995/110},
}
TY - CPAPER TI - Toward a Geometry of Common Sense: A Semantics and a Complete Axiomatization of Mereotopology AU - Asher, Nicholas AU - Vieu, Laure T2 - Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI-95 PB - International Joint Conferences on Artificial Intelligence PY - 1995 SP - 846 EP - 851 UR - https://ijcai.org/proceedings/1995/110 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
