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.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
J. Barwise and J. Etchemendy. Hyperproof: Logical reasoning with diagrams. In Working Notes of the AAAI Spring Symposium on Reasoning with Diagrammatic Representations, 1992.
J. Barwise and J. Ethemendy. Heterogeneous logic. In Working notes of the 1993 IJCAI Workshop on Principles of Hybrid Representation and Reasoning, 1993.
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.
D. Chapman. Planning for conjunctive goals. Artificial Intelligence, 32:333–377, 1987.
M. Denis. Imagery and thinking. In C. Cornoldi and M.A. McDaniel, editors, Imagery and Cognition, pages 103–131. Springer-Verlag: New York, 1991.
G.W. Evans. Environmental cognition. In Psychological Bulletin, volume 88, pages 259–287, 1980.
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.
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.
M. Georgeff and A. Lansky. Reactive reasoning and planning. In Proceedings of the Sixth National Conference on Artificial Intelligence AAAI '87, 1987.
J.I. Glasgow. Imagery and AI — where do we go from here? Computational Intelligence, 9(4):424–435, 1993. Response to taking issue forum.
J.I. Glasgow. The imagery debate revisited: A computational perspective. Computational Intelligence, 9(4):309–333, 1993. Taking issue paper.
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.
J.I. Glasgow. Array representations for model-based spatial reasoning. In Proceedings of the Sixteenth Annual Conference of the Cognitive Science Society, Atlanta, 1994.
J.I. Glasgow. Spatial models for indeterminate worlds. In Proceedings of AAAI '94, Seattle, 1994.
J.I. Glasgow and D. Papadias. Computational imagery. Cognitive Science, 16(3):355–394, 1992.
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.
P. Hayes. Some problems and non-problems in representation theory. In Proceedings of AISB Summer Conference, pages 63–79, University of Sussex, 1974.
B. Hayes-Roth and F. Hayes-Roth. A cognitive model of planning. Cognitive Science, 3:275–310, 1979.
M.A. Jenkins and J.I. Glasgow. A logical basis for nested array data structures. Programming Languages Journal, 14(1):35–49, 1989.
M.A. Jenkins and W.H. Jenkins. The Q'Nial Reference Manual. Nial Systems Ltd., Kingston, Ontario, 1985.
P.N. Johnson-Laird. Mental Models. Harvard University Press: Cambridge, Mass., 1983.
S.M. Kosslyn. Image and Mind. Harvard University Press, 1980.
B. Kuipers. Modeling spatial knowledge. Cognitive Science, 2:129–154, 1978.
B.J. Kuipers. Modeling spatial knowledge. In S. Chen, editor, Advances in spatial reasoning, pages 171–198. Ablex Publishing Corp., 1990.
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.
T.S. Levitt and D.T. Lawton. Qualitative navigation for mobile robots. Artificial Intelligence, 44:305–360, 1990.
D.V. McDermott and E. Davis. Planning routes through uncertain territory. Artificial Intelligence, 22, 1984.
T.P. McNamara. Mental representation of spatial relations. Cognitive Psychology, 18:87–121, 1986.
T. More. The nested rectangular array as a model of data. In APL Quote Quad, 9, 1979. From the proceedings of APL79.
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.
J. Pailhous. La Representation de l'espace urbain. Paris: Presses Universitaires de France, 1970.
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.
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.
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.
H. Samet. The Design and Analysis of Spatial Data Structures. Addison-Wesley, 1989.
A. Sloman. Afterthoughts on analogical representation. In Proceedings of Theoretical Issues in Natural Language Processing, pages 164–168, Cambridge, MA, 1975.
A. Sloman. Varieties of fomalisms for knowledge representation. Computational Intelligence, 9(4):413–423, 1993.
A. Stevens and P. Coupe. Distortions in judged spatial relations. Cognitive Psychology, 10:422–437, 1978.
H.A. Taylor and B. Tversky. Spatial mental models derived from survey and route descriptions. Journal of Memory and Language, 31:261–292, 1992.
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.
Author information
Authors and Affiliations
Editor information
Rights 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