– Mastering Left and Right – Different Approaches to a Problem That Is Not Straight Forward

  • André van Delden
  • Till Mossakowski
Conference paper

DOI: 10.1007/978-3-642-40942-4_22

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8077)
Cite this paper as:
van Delden A., Mossakowski T. (2013) – Mastering Left and Right – Different Approaches to a Problem That Is Not Straight Forward. In: Timm I.J., Thimm M. (eds) KI 2013: Advances in Artificial Intelligence. KI 2013. Lecture Notes in Computer Science, vol 8077. Springer, Berlin, Heidelberg

Abstract

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.

Keywords

Left-Right Distinction Qualitative Spatial Reasoning Oriented Matroid Consistency Realizability Semi-Decision Procedure Benchmark 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • André van Delden
    • 1
  • Till Mossakowski
    • 1
    • 2
  1. 1.Research Center on Spatial Cognition (SFB/TR 8)University of BremenGermany
  2. 2.DFKI GmbHBremenGermany

Personalised recommendations