Skip to main content
SpringerLink
Log in

Strings and Holes: An Exercise on Spatial Reasoning

  • Conference paper
Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 (IBERAMIA 2006, SBIA 2006)

Part of the book series: Lecture Notes in Computer Science ((LNAI,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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Clementini, E., di Felice, P., Hernandez, D.: Qualitative representation of positional information. Artificial Intelligence (1997)

    Google Scholar 

  2. Cohn, A.G., Hazarika, S.M.: Qualitative spatial representation and reasoning: An overview. Fundamenta Informaticae 46(1-2), 1–29 (2001)

    MATH  MathSciNet  Google Scholar 

  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. Meathrel, R.C., Galton, A.P.: A hierarchy of boundary-based shape descriptors. In: Proc. of IJCAI, pp. 1359–1369 (2001)

    Google Scholar 

  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. 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. Reidemeister, K.: Knot Theory. BCS Associates (1983)

    Google Scholar 

  8. Santos, P., Shanahan, M.: Hypothesising object relations from image transitions. In: Proc. of ECAI 2002, pp. 292–296 (2002)

    Google Scholar 

  9. Shanahan, M.: Default reasoning about spatial occupancy. Artificial Intelligence 74(1), 147–163 (1995)

    Article  Google Scholar 

  10. Stock, O. (ed.): Spatial and Temporal Reasoning. Kluwer Academic, Dordrecht (1997)

    Google Scholar 

  11. Varzi, A.C.: Reasoning about space: The hole story. Logic and Logical Philosophy 4, 3–39 (1996)

    MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Corunna University, Galicia, Spain

    Pedro Cabalar

  2. Department of Electrical Engineering, Centro Universitário da FEI, São Paulo, Brazil

    Paulo Santos

Authors
  1. Pedro Cabalar
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Paulo Santos
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Laboratório de Técnicas Inteligentes (LTI) Escola Politécnica (EP), Universidade de São Paulo (USP),  

    Jaime Simão Sichman

  2. Dep. de Informática, Universidade de Lisboa, Campo Grande, 1749-016, Lisboa, Portugal

    Helder Coelho

  3. Institute of Mathematics and Computer Science, Department of Computer Science, University of São Paulo,, Av. Trabalhador Sao-Carlense, 400, Centro, CP: 668, 13560-970, São Carlos, SP, Brazil

    Solange Oliveira Rezende

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Cabalar, P., Santos, P. (2006). Strings and Holes: An Exercise on Spatial Reasoning. In: Sichman, J.S., Coelho, H., Rezende, S.O. (eds) Advances in Artificial Intelligence - IBERAMIA-SBIA 2006. IBERAMIA SBIA 2006 2006. Lecture Notes in Computer Science(), vol 4140. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11874850_46

Download citation

  • DOI: https://doi.org/10.1007/11874850_46

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-45462-5

  • Online ISBN: 978-3-540-45464-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation