Mastering Left and Right. Different Approaches to a Problem That is Not Straight Forward

André van Delden; Till Mossakowski

In: From Research to Innovation and Practical Applications - Proceedings of the 36th Annual Conference on Artificial Intelligence (KI 2013). German Conference on Artificial Intelligence (KI-13), 36th, September 16-20, Koblenz, Germany, Lecture Notes in Artificial Intelligence (LNAI), Springer, 2013.


Reasoning over spatial descriptions involving relations that can be described as left, right and inline has been studied extensively during the last two decades. While the fundamental nature of these relations makes reasoning about them applicable to a number of interesting problems, it also makes reasoning about them computationally hard. The key question of whether a given description using these relations can be realized is as hard as deciding satisfiability in the existential theory of the reals. In this paper we summarize the semi-decision procedures proposed so far and present the results of a random benchmark illustrating the relative effectiveness and efficiency of these procedures.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence