Spatial Inference — Learning vs. Constraint Solving

  • Carsten Gips
  • Petra Hofstedt
  • Fritz Wysotzki
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2479)


We present a comparison of two new approaches for solving constraints occurring in spatial inference. In contrast to qualitative spatial reasoning we use a metric description, where relations between pairs of objects are represented by parameterized homogenous transformation matrices with numerical (nonlinear) constraints. We employ interval arithmetics based constraint solving and methods of machine learning in combination with a new algorithm for generating depictions for spatial inference


Spatial Relation Constraint Program Interval Arithmetic Generalization Error Spatial Reasoning 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    The Brandeis Interval Arithmetic Constraint Solver, March 2002. Available from
  2. 2.
    A. P. Ambler and R. J. Popplestone. Inferring the Positions of Bodies from Specified Spatial Relationships. Artificial Intelligence, 6:157–174, 1975.zbMATHCrossRefMathSciNetGoogle Scholar
  3. 3.
    B. Claus, K. Eyferth, C. Gips, R. Hörnig, U. Schmid, S. Wiebrock, and F. Wysotzki. Reference Frames for Spatial Inferences in Text Comprehension. In C. Freksa, C. Habel, and K. F. Wender, editors, Spatial Cognition, LNAI 1404. Springer, 1998.Google Scholar
  4. 4.
    P. Geibel, C. Gips, S. Wiebrock, and F. Wysotzki. Learning Spatial Relations with CAL5 and TRITOP. Technical Report 98-7, TU Berlin, 1998.Google Scholar
  5. 5.
    P. Griebel, G. Lehrenfeld, W. Mueller, C. Tahedl, and H. Uhr. Integrating a Constraint Solver into a Real-Time Animation Environment. In Proc. of the 1996 IEEE Symposium on Visual Languages, September 1996.Google Scholar
  6. 6.
    H. W. Guesgen. Spatial Reasoning Based on Allen’s Temporal Logic. Technical Report TR-89-049, ICSI, Berkeley, Cal., 1989.Google Scholar
  7. 7.
    S. Haridi, S. Janson, J. Montelius, T. Franzen, P. Brand, K. Boortz, B. Danielsson, B. Carlson, T. Keisu, D. Sahlin, and T. Sjöland. Concurrent Constraint Programming at SICS with the Andorra Kernel Language. In P. Kanellakis, J.-L. Lassez, and V. Saraswat, editors, First Workshop on Principles and Practice of Constraint Programming-PPCP’93, 1993.Google Scholar
  8. 8.
    Daniel Hernández. Qualitative Representation of Spatial Knowledge. LNAI 804. Springer, 1994.Google Scholar
  9. 9.
    T.J. Hickey, M.H. van Emden, and H. Wu. A Unified Framework for Interval Constraints and Interval Arithmetic. In M. Maher and J.-F. Puget, editors, Principles and Practice of Constraint Programming-CP’98, LNCS 1520. Springer, 1998.CrossRefGoogle Scholar
  10. 10.
    P. Hofstedt. Better Communication for Tighter Cooperation. In First International Conference on Computational Logic, LNCS 1861. Springer, 2000.Google Scholar
  11. 11.
    P. Hofstedt, E. Godehardt, and D. Seifert. A Framework for Cooperating Constraint Solvers-A Prototypic Implementation. In E. Monfroy and L. Granvilliers, editors, Workshop on Cooperative Solvers in Constraint Programming-CoSolv, 2001.Google Scholar
  12. 12.
    P. N. Johnson-Laird. Mental Models: Towards a Cognitive Science of Language, Inference and Consciousness. Cambridge University Press, Cambridge, 1983.Google Scholar
  13. 13.
    T. Jörding and I. Wachsmuth. An Antropomorphic Agent for the Use of Spatial Language. In Proceedings of ECAI’96-Workshop on Representation and Processing of Spatial Expressions, pages 41–53, 1996.Google Scholar
  14. 14.
    G. Nakhaeizadeh and C. C. Taylor, editors. Machine Learning and Statistics-The Interface. Wiley, 1997.Google Scholar
  15. 15.
    T. Röfer. Routemark-based Navigation of a Wheelchair. In Third ECPD International Conference on Advanced Robotics, Intelligent Automation and Active Systems, Bremen, 1997.Google Scholar
  16. 16.
    S. Wiebrock, L. Wittenburg, U. Schmid, and F. Wysotzki. Inference and Visualization of Spatial Relations. In C. Freksa, W. Brauer, C. Habel, and K. Wender, editors, Spatial Cognition II, LNAI 1849. Springer, 2000.Google Scholar
  17. 17.
    S. Wiebrock and F. Wysotzki. Lernen von räumlichen Relationen mit CAL5 und DIPOL. Technical Report 99-17, TU Berlin, 1999.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Carsten Gips
    • 1
  • Petra Hofstedt
    • 1
  • Fritz Wysotzki
    • 1
  1. 1.Berlin University of TechnologyGermany

Personalised recommendations