Skip to main content
SpringerLink
Log in

Spatial persistence

  • Published:
Applied Intelligence Aims and scope Submit manuscript

Abstract

We examine the spatial version of the persistence problem. In temporal reasoning, this is the problem of determining whether or not the validity of a fact at some point in time persists until another point in time, given that certain events or processes may happen in between. We show that its analog does intuitively exist in spatial reasoning, and review under the aspect of transferability to space different approaches for achieving persistence in temporal reasoning. Finally, we present reasoning with generalized spatial Allen relations as an instance of reasoning under the assumption of spatial persistence.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. J. Allen. Maintaining knowledge about temporal intervals. Communications of the ACM, 26:832–843, 1983.

    Google Scholar 

  2. J. Allen. Temporal reasoning and planning. In Reasoning about Plans [3], chapter 1, pages 1–68.

  3. J. Allen, H. Kautz, R. Pelavin, and J. Tenenberg. Reasoning about Plans. Morgan Kaufmann, San Mateo, California, 1991.

    Google Scholar 

  4. D.G. Bobrow (ed.). Special issue on nonmonotonic reasoning. J. Artificial Intelligence, 13(1), 1980.

  5. G. Brewka and J. Hertzberg. How to do things with worlds: On formalizing actions and plans. J. Logic and Computation, 3(5):517–532, 1993.

    Google Scholar 

  6. M.O. Cordier and P. Siegel. A temporal revision model for reasoning about world change. In B. Nebel, C. Rich, and W. Swartout, editors, Principles of Knowledge Representation and Reasoning (KR'92), pages 732–739. Morgan Kaufmann, 1992.

  7. T.L. Dean and D.V. McDermott. Temporal data base management. J. Artificial Intelligence, 32:1–55, 1987.

    Google Scholar 

  8. R.E. Fikes and N.J. Nilsson. STRIPS: A new approach to theorem proving in problem solving. J. Artificial Intelligence, 2:189–208, 1971.

    Google Scholar 

  9. C. Freksa. Qualitative spatial reasoning. In Mark and Frank [23], pages 361–372.

  10. C. Freksa. Temporal reasoning based on semi-intervals. J. Artificial Intelligence, 54:199–227, 1992.

    Google Scholar 

  11. M.L. Ginsberg and D.E. Smith. Reasoning about action I: A possible worlds approach. J. Artificial Intelligence, 35:165–195, 1988.

    Google Scholar 

  12. T.F. Gordon, J. Hertzberg, and A. Horz. A planner for “beautifying” business graphics. TASSO-Report 45, BMFT-Verbundprojekt TASSO, 1993.

  13. G. Große and R. Waldinger. Towards a theory of simultaneous actions. In J. Hertzberg, editor, European Workshop on Planning. EWSP'91, Sankt Augustin, FRG, Proceedings, pages 78–87. Springer (LNAI vol. 522), 1991.

  14. H.W. Guesgen. Spatial reasoning based on Allen's temporal logic. Technical Report TR-89–049, ICSI, Berkeley, California, 1989.

    Google Scholar 

  15. H.W. Guesgen and J. Hertzberg. A constraint-based approach to spatiotemporal reasoning. J. Applied Intelligence, 3:71–90, 1993. Vorversion als TASSO-Report Nr. 31, GMD, 1991.

    Google Scholar 

  16. H.W. Guesgen and J. Hertzberg. Spatial persistence: Preliminary report. Computer Science Report No. 77, University of Auckland, Auckland, New Zealand, 1993. Also as Arbeitspapiere der GMD 790, St. Augustin, Germany.

    Google Scholar 

  17. S. Hanks and D. McDermott. Default reasoning, nonmonotonic logics, and the frame problem. In Proc. of the 5 th AAAI, pages 328–333, Philadelphia, Pennsylvania, 1986.

  18. D. Hernández. Relative representation of spatial knowledge: The 2-D case. In Mark and Frank [23], pages 373–385.

  19. J. Hertzberg. Über Verzweigungen, Kulissen und das Yaler Schießen-Probleme beim reasoning about change. In H.W. Guesgen and J. Hertzberg, editors, On Space and Time, pages 143–158. Arbeitspapiere der GMD No. 608, 1992.

  20. J. Hertzberg and S. Thiébaux. Turning an action formalism into a planner—a case study. Submitted for publication, 1993.

  21. G.E. Hinton and T.J. Sejnowski. Learning and relearning in Boltzmann machines. In A. Rumelhart, J.L. McClelland, and the PDP Research Group, editors, Parallel Distributed Processing: Explorations in the Microstructure of Cognition, vol. 1, pages 282–317. MIT Press, Cambridge, Massachusetts, 1986.

    Google Scholar 

  22. V. Lifschitz. On the semantics of STRIPS. In M.P. Georgeff and A.L. Lansky, editors, Proc. 1986 Workshop Reasoning about Actions and Plans, Timberline, OR, pages 1–9, Los Altos, 1987. Morgan Kaufmann.

  23. D.M. Mark and A.U. Frank, editors Cognitive and Linguistic Aspects of Geographic Space. NATO Advanced Studies Institute Series. Kluwer, Dordrecht, The Netherlands, 1991.

    Google Scholar 

  24. S. Materne and J. Hertzberg. MTMM — correcting and extending time map management. In J. Hertzberg, editor, European Workshop on Planning. EWSP '91, Sankt Augustin, FRG, March 1991, Proceedings. Springer Verlag (Band 522 der Serie Lecture Notes in AI (LNAI)), 1991.

  25. J. McCarthy and P. Hayes. Some philosophical problems from the standpoint of artificial intelligence. Machine Intelligence, 4:463–507, 1969.

    Google Scholar 

  26. D. McDermott. Robot planning. AI Magazine, 13(2):55–79, 1992.

    Google Scholar 

  27. A. Mukerjee and G. Joe. A qualitative model for space. In Proc. of the 9 th AAAI, pages 721–727, Boston, Massachusetts, 1990.

  28. G. Retz-Schmidt. Various views on spatial prepositions. AI Magazine, 9(2):95–105, 1988.

    Google Scholar 

  29. E. Sandewall. Features and fluents. A systematic approach to the representation of knowledge about dynamical systems. Technical Report LiTH-IDA-R-92-30, Dept. of Computer and Information Sciences, Linköping University, 1992.

  30. Y. Shoham. Reasoning about change: Time and causation from the standpoint of artificial intelligence. Technical Report YALE/CSD/RR 507, Yale University, Dept. of Computer Science, 1987.

  31. Y. Shoham and D.V. McDermott. Problems in formal temporal reasoning. J. Artificial Intelligence, 36:49–61, 1988.

    Google Scholar 

  32. M. Winslett. Reasoning about action using a possible models approach. In Proc. AAAI-88, pages 89–93, 1988.

Download references

Author information

Authors and Affiliations

  1. Computer Science Department, University of Auckland, Auckland, New Zealand

    Hans W. Guesgen

  2. GMD, AI Research Division, Schloss Birlinghoven, 53757, Sankt Augustin, Germany

    Joachim Hertzberg

Authors
  1. Hans W. Guesgen
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Joachim Hertzberg
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

This author has partially been supported under grant numbers A18/XXXXX/62090/3414014 and A18/XXXXX/62090/F3414025 by the University of Auckland Research Fund.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Guesgen, H.W., Hertzberg, J. Spatial persistence. Appl Intell 6, 11–28 (1996). https://doi.org/10.1007/BF00117598

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00117598

Keywords

Search

Navigation