ECAI 2004 Conference Paper

A Spatial Logic of Betweenness

Mehmet Giritli

There are several approaches for qualitative spatial reasoning, covering different aspects of the domain. In this paper, I present a region-based spatial logic of the ternary betweenness relation. In one of the possible specializations, the theory can be used to represent and reason about the orientational or positional aspects of the spatial domain in a region-based manner. The expressive power of the developed theory is remarkable when compared to the most common mereological or topological calculi in the literature. Nevertheless, the main contribution of this paper is that I provide specific models which are sound and complete for the first-order theory of betweenness developed here.

Keywords: Spatial Reasoning, Qualitative Reasoning

Citation: Mehmet Giritli: A Spatial Logic of Betweenness. In R.López de Mántaras and L.Saitta (eds.): ECAI2004, Proceedings of the 16th European Conference on Artificial Intelligence, IOS Press, Amsterdam, 2004, pp.1021-1022.

ECAI-2004 is organised by the European Coordinating Committee for Artificial Intelligence (ECCAI) and hosted by the Universitat Politècnica de València on behalf of Asociación Española de Inteligencia Artificial (AEPIA) and Associació Catalana d'Intel-ligència Artificial (ACIA).