Skip to main content
SpringerLink
Log in

A formalism for model-based spatial planning

  • Conference paper
  • First Online:
Spatial Information Theory A Theoretical Basis for GIS (COSIT 1995)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 988))

Included in the following conference series:

Abstract

This paper presents a formalism for spatial planning based on a symbolic array representation of the world. Entities in the world are denoted as symbols in the array and relations in the world are modeled using array inspection functions. A plan is constructed using array transformation functions that correspond to physical transformations in the world. This model-based approach to planning supports the implementation of heuristic search strategies similar to those applied by humans when reasoning with cognitive maps.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J. Barwise and J. Etchemendy. Hyperproof: Logical reasoning with diagrams. In Working Notes of the AAAI Spring Symposium on Reasoning with Diagrammatic Representations, 1992.

    Google Scholar 

  2. J. Barwise and J. Ethemendy. Heterogeneous logic. In Working notes of the 1993 IJCAI Workshop on Principles of Hybrid Representation and Reasoning, 1993.

    Google Scholar 

  3. B. Chandrasekaran and N.H. Narayanan. Towards a theory of commonsense visual reasoning. In K.F. Nori and C.E. Veni Madhavan, editors, Foundations of Software Technology and Theoretical Science, pages 388–409. Springer-Verlag: Berlin, 1990.

    Google Scholar 

  4. D. Chapman. Planning for conjunctive goals. Artificial Intelligence, 32:333–377, 1987.

    Google Scholar 

  5. M. Denis. Imagery and thinking. In C. Cornoldi and M.A. McDaniel, editors, Imagery and Cognition, pages 103–131. Springer-Verlag: New York, 1991.

    Google Scholar 

  6. G.W. Evans. Environmental cognition. In Psychological Bulletin, volume 88, pages 259–287, 1980.

    Google Scholar 

  7. R.E. Fikes and N.J. Nilsson. STRIPS: a new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2:189–208, 1971.

    Google Scholar 

  8. C. Freksa and K. Zimmermann. On the unilization of spatial structures for cognitively plausible and efficient reasoning. In Proceedings of the IJCAI '93 Workshop on Spatial and Temporal Reasoning, pages 61–66, 1993.

    Google Scholar 

  9. M. Georgeff and A. Lansky. Reactive reasoning and planning. In Proceedings of the Sixth National Conference on Artificial Intelligence AAAI '87, 1987.

    Google Scholar 

  10. J.I. Glasgow. Imagery and AI — where do we go from here? Computational Intelligence, 9(4):424–435, 1993. Response to taking issue forum.

    Google Scholar 

  11. J.I. Glasgow. The imagery debate revisited: A computational perspective. Computational Intelligence, 9(4):309–333, 1993. Taking issue paper.

    Google Scholar 

  12. J.I. Glasgow. Representation of spatial models for geographic information systems. In N. Pissinou, editor, Proceedings of the ACM Workshop on Advances in Geographic Information Systems, pages 112–117, Arlington, VA, 1993.

    Google Scholar 

  13. J.I. Glasgow. Array representations for model-based spatial reasoning. In Proceedings of the Sixteenth Annual Conference of the Cognitive Science Society, Atlanta, 1994.

    Google Scholar 

  14. J.I. Glasgow. Spatial models for indeterminate worlds. In Proceedings of AAAI '94, Seattle, 1994.

    Google Scholar 

  15. J.I. Glasgow and D. Papadias. Computational imagery. Cognitive Science, 16(3):355–394, 1992.

    Google Scholar 

  16. C. Habel, S. Pribbenow, and G. Simmons. Propositional and depictorial partonomies: A hybrid approach. In Proceedings of IJCAI '93 Workshop on Principles of Hybrid Representation and Reasoning, pages 62–71, 1993.

    Google Scholar 

  17. P. Hayes. Some problems and non-problems in representation theory. In Proceedings of AISB Summer Conference, pages 63–79, University of Sussex, 1974.

    Google Scholar 

  18. B. Hayes-Roth and F. Hayes-Roth. A cognitive model of planning. Cognitive Science, 3:275–310, 1979.

    Google Scholar 

  19. M.A. Jenkins and J.I. Glasgow. A logical basis for nested array data structures. Programming Languages Journal, 14(1):35–49, 1989.

    Google Scholar 

  20. M.A. Jenkins and W.H. Jenkins. The Q'Nial Reference Manual. Nial Systems Ltd., Kingston, Ontario, 1985.

    Google Scholar 

  21. P.N. Johnson-Laird. Mental Models. Harvard University Press: Cambridge, Mass., 1983.

    Google Scholar 

  22. S.M. Kosslyn. Image and Mind. Harvard University Press, 1980.

    Google Scholar 

  23. B. Kuipers. Modeling spatial knowledge. Cognitive Science, 2:129–154, 1978.

    Google Scholar 

  24. B.J. Kuipers. Modeling spatial knowledge. In S. Chen, editor, Advances in spatial reasoning, pages 171–198. Ablex Publishing Corp., 1990.

    Google Scholar 

  25. B.J. Kuipers and T.S. Levitt. Navigation and mapping in large-scale space. In Advances in spatial reasoning, volume 2, pages 207–252. Ablex Publishing Corp., 1990.

    Google Scholar 

  26. T.S. Levitt and D.T. Lawton. Qualitative navigation for mobile robots. Artificial Intelligence, 44:305–360, 1990.

    Google Scholar 

  27. D.V. McDermott and E. Davis. Planning routes through uncertain territory. Artificial Intelligence, 22, 1984.

    Google Scholar 

  28. T.P. McNamara. Mental representation of spatial relations. Cognitive Psychology, 18:87–121, 1986.

    Google Scholar 

  29. T. More. The nested rectangular array as a model of data. In APL Quote Quad, 9, 1979. From the proceedings of APL79.

    Google Scholar 

  30. K. Myers and K Konolige. Reasoning with analogical representations. In Proceedings of the Conference on Principles of Knowledge Representations and Reasoning, Los Altos, CA, 1992. Morgan Kaufmann.

    Google Scholar 

  31. J. Pailhous. La Representation de l'espace urbain. Paris: Presses Universitaires de France, 1970.

    Google Scholar 

  32. D. Papadias and J.I. Glasgow. A knowledge representation scheme for computational imagery. In Proceedings of the Thirteenth Annual Meeting of the Cognitive Science Society, pages 48–54, Chicago, 1991. Lawrence Erlbaum Associates: Hillsdale, NJ.

    Google Scholar 

  33. D. Papadias and T. Sellis. The semantics of relations in 2d space using representative points: Spatial indices. In A.U. Frank and I. Campari, editors, Spatial Information Theory: A theretical basis for GIS. Proceedings of the European Conference on Spatial Information Theory (COSIT '93), volume 716, pages 234–247. Springer-Verlag Lecture Notes on Computer Science, 1993.

    Google Scholar 

  34. M.E. Pollack and M. Ringuette. Introducing the tileworld: experimentally evaluating agent architectures. In Proceedings of the Eighth National Conference on Artificial Intelligence, pages 183–189, 1990.

    Google Scholar 

  35. H. Samet. The Design and Analysis of Spatial Data Structures. Addison-Wesley, 1989.

    Google Scholar 

  36. A. Sloman. Afterthoughts on analogical representation. In Proceedings of Theoretical Issues in Natural Language Processing, pages 164–168, Cambridge, MA, 1975.

    Google Scholar 

  37. A. Sloman. Varieties of fomalisms for knowledge representation. Computational Intelligence, 9(4):413–423, 1993.

    Google Scholar 

  38. A. Stevens and P. Coupe. Distortions in judged spatial relations. Cognitive Psychology, 10:422–437, 1978.

    Google Scholar 

  39. H.A. Taylor and B. Tversky. Spatial mental models derived from survey and route descriptions. Journal of Memory and Language, 31:261–292, 1992.

    Google Scholar 

  40. B. Tversky. Cognitve maps, cognitive collages, and spatial mental models. In A.U. Frank and I. Campari, editors, Spatial Information Theory, A Theoretical Basis for GIS, Proceedings of the European Conference, (COSIT '93), volume 716, pages 14–24. Springer Verlag Lecture Notes in Computer Science, 1993.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computing and Information Science, Queen's University, K7L 3N6, Kingston, Ontario

    Janice Glasgow

Authors
  1. Janice Glasgow
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Andrew U. Frank Werner Kuhn

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Glasgow, J. (1995). A formalism for model-based spatial planning. In: Frank, A.U., Kuhn, W. (eds) Spatial Information Theory A Theoretical Basis for GIS. COSIT 1995. Lecture Notes in Computer Science, vol 988. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60392-1_33

Download citation

  • DOI: https://doi.org/10.1007/3-540-60392-1_33

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60392-4

  • Online ISBN: 978-3-540-45519-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation