Strings and Holes: An Exercise on Spatial Reasoning

  • Pedro Cabalar
  • Paulo Santos
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4140)

Abstract

This paper investigates the challenging problem of encoding the knowledge and reasoning processes involved in the common sense manipulation of physical objects. In particular we provide a formalisation of a domain involving rigid objects, holes and a string within a reasoning about actions and change framework. Therefore, this work investigates the formalisation and reasoning about flexible objects and void space (holes) in a single domain. Preliminary results of automated reasoning within this domain are also presented.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Clementini, E., di Felice, P., Hernandez, D.: Qualitative representation of positional information. Artificial Intelligence (1997)Google Scholar
  2. 2.
    Cohn, A.G., Hazarika, S.M.: Qualitative spatial representation and reasoning: An overview. Fundamenta Informaticae 46(1-2), 1–29 (2001)MATHMathSciNetGoogle Scholar
  3. 3.
    Hernandez, D., Clementini, E., di Felice, P.: Qualitative distances. In: Kuhn, W., Frank, A. (eds.) Lecture Notes in Artificial Intelligence. Springer-Verlag (1995)Google Scholar
  4. 4.
    Meathrel, R.C., Galton, A.P.: A hierarchy of boundary-based shape descriptors. In: Proc. of IJCAI, pp. 1359–1369 (2001)Google Scholar
  5. 5.
    Morita, T., Takamatsu, J., Ogawara, K., Kimura, H., Ikeuchi, K.: Knot planning from observation. In: Proc. of the IEEE ICRA, pp. 3887–3892 (2003)Google Scholar
  6. 6.
    Randell, D., Cui, Z., Cohn, A.: A spatial logic based on regions and connection. In: Proc. of KR, pp. 165–176 (1992)Google Scholar
  7. 7.
    Reidemeister, K.: Knot Theory. BCS Associates (1983)Google Scholar
  8. 8.
    Santos, P., Shanahan, M.: Hypothesising object relations from image transitions. In: Proc. of ECAI 2002, pp. 292–296 (2002)Google Scholar
  9. 9.
    Shanahan, M.: Default reasoning about spatial occupancy. Artificial Intelligence 74(1), 147–163 (1995)CrossRefGoogle Scholar
  10. 10.
    Stock, O. (ed.): Spatial and Temporal Reasoning. Kluwer Academic, Dordrecht (1997)Google Scholar
  11. 11.
    Varzi, A.C.: Reasoning about space: The hole story. Logic and Logical Philosophy 4, 3–39 (1996)MATHMathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Pedro Cabalar
    • 1
  • Paulo Santos
    • 2
  1. 1.Department of Computer ScienceCorunna UniversityGaliciaSpain
  2. 2.Department of Electrical EngineeringCentro Universitário da FEISão PauloBrazil

Personalised recommendations