Skip to main content
SpringerLink
Log in

Calculi for qualitative spatial reasoning

  • Conference paper
  • First Online:
Artificial Intelligence and Symbolic Mathematical Computation (AISMC 1996)

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

Abstract

Although Qualitative Reasoning has been a lively subfield of AI for many years now, it is only comparatively recently that substantial work has been done on qualitative spatial reasoning; this paper lays out a guide to the issues involved and surveys what has been achieved. The papers is generally informal and discursive, providing pointers to the literature where full technical details may be found.

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 F Allen. An interval-based representation of temporal knowledge. In Proceedings 7th IJCAI, pages 221–226, 1981.

    Google Scholar 

  2. J F Allen. Maintaining knowledge about temporal intervals. Communications of the ACM, 26(11):832–843, 1983.

    Google Scholar 

  3. N Asher and J Lang. When nonmonotonicity comes from distance. In L Nebel, B amd Dreschler-Fischer, editor, KI-94: Advances in Artificial Intelligence, pages 308–318. Springer-Verlag, 1994.

    Google Scholar 

  4. N Asher and L Vieu. Toward a geometry of common sense: A semantics and a complete axiomatization of mereotopology. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-95), Montreal, 1995.

    Google Scholar 

  5. M Aurnague and L Vieu. A three-level approach to the semantics of space. In C Zelinsky-Wibbelt, editor, The semantics of prepositions — from mental processing to natural language processing, Berlin, 1993. Mouton de Gruyter.

    Google Scholar 

  6. B. Bennett. Some observations and puzzles about composing spatial and temporal relations. In R Rodríguez, editor, Proceedings ECAI-94 Workshop on Spatial and Temporal Reasoning, 1994.

    Google Scholar 

  7. B. Bennett. Spatial reasoning with propositional logics. In J Doyle, E Sandewall, and P Torasso, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the 4th International Conference (KR94), San Francisco, CA., 1994. Morgan Kaufmann.

    Google Scholar 

  8. B Bennett. Carving up space: steps towards construction of an absolutely complete theory of spatial regions. In Proc. JELIA96, 1996.

    Google Scholar 

  9. B Bennett. Modal logics for qualitative spatial reasoning. Bulletin of the Interest Group in Pure and Applied Logic (IGPL), 1996.

    Google Scholar 

  10. L. Biacino and G. Gerla. Connection structures. Notre Dame Journal of Formal Logic, 32(2), 1991.

    Google Scholar 

  11. S Borgo, N Guarino, and C Masolo. A pointless theory of spade based on strong connecction and congruence. Technical report, LADSEB-CNR, Padova, 1996.

    Google Scholar 

  12. J M Brady. Criteria for representations of shape. Human and Machine Vision, 1993.

    Google Scholar 

  13. R Casati and A Varzi. Holes and Other Superficialities. MIT Press, Cambridge, MA, 1994.

    Google Scholar 

  14. B L Clarke. A calculus of individuals based on ‘connection'. Notre Dame Journal of Formal Logic, 23(3):204–218, July 1981.

    Google Scholar 

  15. B L Clarke. Individuals and points. Notre Dame Journal of Formal Logic, 26(1):61–75, 1985.

    Google Scholar 

  16. E Clementini and P Di Felice. An algebraic model for spatial objects with undetermined boundaries. In P Burrough and A M Frank, editors, Proceedings, GISDATA Specialist Meeting on Geographical Entities with Undetermined Boundaries,.Taylor Francis, 1996.

    Google Scholar 

  17. A G Cohn. A hierarchcial representation of qualitative shape based on connection and convexity. In A Frank, editor, Proc COSIT95, LNCS, pages 311–326. Springer Verlag, 1995.

    Google Scholar 

  18. A G Cohn, B Bennett, J Gooday, and N Gotts. Representing and reasoning with qualitative spatial relations about regions. In O Stock, editor, Temporal and spatial reasoning. Kluwer, to appear.

    Google Scholar 

  19. A G Cohn, J M Gooday, and B Bennett. A comparison of structures in spatial and temporal logics. In R Casati, B Smith, and G White, editors, Philosophy and the Cognitive Sciences: Proceedings of the 16th International Wittgenstein Symposium, Vienna, 1994. Hölder-Pichler-Tempsky.

    Google Scholar 

  20. A G Cohn and N M Gotts. A theory of spatial regions with indeterminate boundaries. In C. Eschenbach, C. Habel, and B. Smith, editors, Topological Foundations of Cognitive Science, 1994.

    Google Scholar 

  21. A G Cohn and N M Gotts. The ‘egg-yolk’ representation of regions with indeterminate boundaries. In P Burrough and A M Frank, editors, Proceedings, GISDATA Specialist Meeting on Geographical Objects with Undetermined Boundaries, pages 171–187. Francis Taylor, 1996.

    Google Scholar 

  22. A G Cohn, D A Randell, and Z Cui. Taxonomies of logically defined qualitative spatial relations. Int. J of Human-Computer Studies, 43:831–846, 1995.

    Google Scholar 

  23. Z Cui, A G Cohn, and D A Randell. Qualitative simulation based on a logical formalism of space and time. In Proceedings AAAI-92, pages 679–684, Menlo Park, California, 1992. AAAI Press.

    Google Scholar 

  24. E Davis. Personal communication., June 1996.

    Google Scholar 

  25. T. de Laguna. Point, line and surface as sets of solids. The Journal of Philosophy, 19:449–461, 1922.

    Google Scholar 

  26. M Egenhofer. Topological similarity. In Proc FISI workshop on the Toplogical Foundations of Cognitive Science, volume 37 of Reports of the Doctoral Series in Cognitive Science. University of Hamburg, 1994.

    Google Scholar 

  27. M Egenhofer and J Herring. Categorizing topological spatial relationships between point, line and area objects. In The 9-intersection: formalism and its use for natural language spatial predicates, Technical Report 94-1. National Center for Geographic Information and Analysis, Santa Barbara, 1994.

    Google Scholar 

  28. M J Egenhofer and K K Al-Taha. Reasoning about gradual changes of topological relationships. In A U Frank, I Campari, and U Formentini, editors, Theories and Methods of Spatio-temporal Reasoning in Geographic Space, volume 639 of Lecture Notes in Computer Science, pages 196–219. Springer-Verlag, Berlin, 1992.

    Google Scholar 

  29. M J Egenhofer, E Clementini, and P Di Felice. Toplogical relations between regions with holes. Int. Journal of Geographical Information Systems, 8(2):129–144, 1994.

    Google Scholar 

  30. M J Egenhofer and D Mark. Naive geography. In A U Frank and W Kuhn, editors, Spatial Information Theory: a theoretical basis for GIS, volume 988 of Lecture Notes in Computer Science, pages 1–16. Springer-Verlag, Berlin, 1995.

    Google Scholar 

  31. B. Faltings. A symbolic approach to qualitative kinematics. Artificial Intelligence, 56(2), 1992.

    Google Scholar 

  32. B Faltings. Qualitative spatial reaoning using algebraic topology. In A U Frank and W Kuhn, editors, Spatial Information Theory: a theoretical basis for GIS, volume 988 of Lecture Notes in Computer Science, pages 17–30, Berlin, 1995. Springer-Verlag.

    Google Scholar 

  33. B. Faltings and P. Struss, editors. Recent Advances in Qualitative Physics. MIT Press, Cambridge, Ma, 1992.

    Google Scholar 

  34. J Fernyhough, A G Cohn, and D C Hogg. Real time generation of semantic regions from video sequences. In Proc. ECCV96, LNCS. Springer Verlag, 1996.

    Google Scholar 

  35. A Frank. Qualitative spatial reasoning with cardinal directions. Journal of Visual Languages and Computing, 3:343–371, 1992.

    Google Scholar 

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

    MathSciNet  Google Scholar 

  37. H Fujihara and A Mukerjee. Qualitative reasoning about document design. Technical report, Texas A and M University, 1991.

    Google Scholar 

  38. M Gahegan. Proximity operators for qualitative spatial reasoning. In W Kuhn A Frank, editor, Spatial Information Theory: a theoretical basis for GIS, number 988 in Lecture Notes in Computer Science, pages 31–44, Berlin, 1995. Springer Verlag.

    Google Scholar 

  39. A Galton. Towards a qualitative theory of movement. In W Kuhn A Frank, editor, Spatial Information Theory: a theoretical basis for GIS, number 988 in Lecture Notes in Computer Science, pages 377–396, Berlin, 1995. Springer Verlag.

    Google Scholar 

  40. G. Gerla. Pointless geometries. In F. Buekenhout, editor, Handbook of Incidence Geometry, chapter 18, pages 1015–1031. Eslevier Science B.V., 1995.

    Google Scholar 

  41. J et al Glasgow. Diagrammatic Reasoning. MIT Press, 1995.

    Google Scholar 

  42. J M Gooday and A G Cohn. Using spatial logic to describe visual languages. Artificial Intelligence Review, 10(1–2), 1995.

    Google Scholar 

  43. N Gotts. Personal communication, June 1996.

    Google Scholar 

  44. N M Gotts. Defining a ‘doughnut’ made difficult. In C. Eschenbach, C. Habel, and B. Smith, editors, Topological Foundations of Cognitive Science, volume 37 of Reports of the Doctoral programme in Cognitive Science. University of Hamburg, 1994.

    Google Scholar 

  45. N M Gotts. How far can we ‘C'? defining a ‘doughnut’ using connection alone. In J Doyle, E Sandewall, and P Torasso, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the 4th International Conference (KR94). Morgan Kaufmann, 1994.

    Google Scholar 

  46. N M Gotts. Formalising commonsense topology: The inch calculus. In Proc. Fourth International Symposium on Artificial Intelligence and Mathematics, 1996.

    Google Scholar 

  47. N M Gotts and A G Cohn. A mereological approach to spatial vagueness. In Proceedings, Qualitative Reasoning Workshop 1995 (QR-95), 1995.

    Google Scholar 

  48. N M Gotts, J M Gooday, and A G Cohn. A connection based approach to commonsense topological description and reasoning. The Monist, 79(1):51–75, 1996.

    Google Scholar 

  49. M. Grigni, D. Papadias, and C. Papadimitriou. Topological inference. In C.S. Mellish, editor, proceedings of the fourteenth international joint conference on artificial intelligence (IJCAI-95), volume I, pages 901–906. Morgan Kaufmann, 1995.

    Google Scholar 

  50. P J Hayes. The naive physics manifesto. In D Mitchie, editor, Expert systems in the micro-electronic age. Edinburgh University Press, 1979.

    Google Scholar 

  51. D Hernández. Qualitative Representation of Spatial Knowledge, volume 804 of Lecture Notes in Artificial Intelligence. Springer-Verlag, 1994.

    Google Scholar 

  52. D Hernandez, E Clementini, and P Di Felice. Qualitative distances. In W Kuhn A Frank, editor, Spatial Information Theory: a theoretical basis for GIS, number 988 in Lecture Notes in Computer Science, pages 45–58, Berlin, 1995. Springer Verlag.

    Google Scholar 

  53. A Herskovits. Language and Spatial Cognition. An interdisciplinary study of prepositions in English. Cambridge University Press, 1986.

    Google Scholar 

  54. J Hobbs. Granularity. In Proceedings IJCAI-85, pages 432–435, 1985.

    Google Scholar 

  55. S Kaufman. A formal theory of spatial reasoning. In Proc Int. Conf. on Knowledge Representation and Reasoning, pages 347–356, 1991.

    Google Scholar 

  56. M Knauff, R Rauh, and C Schlieder. Preferred mental models in qualitative spatial reasoning: A cognitive assessment of allen's calculus. In Proc. 17th Annual Conf. of the Cognitive Science Society, 1995.

    Google Scholar 

  57. B Kuipers. Qualitative Reasoning. MIT Press, Cambridge, MA., 1994.

    Google Scholar 

  58. B J Kuipers and T S Levitt. Navigating and mapping in large-scale space. AI Magazine, 9(2):25–43, 1988.

    Google Scholar 

  59. F Lehmann and A G Cohn. The EGG/YOLK reliability hierarchy: Semantic data integration using sorts with prototypes. In Proc. Conf. on Information Knowledge Management, pages 272–279. ACM Press, 1994.

    Google Scholar 

  60. M Leyton. A process grammar for shape. Artificial Intelligence, page 34, 1988.

    Google Scholar 

  61. G Ligozat. Towards a general characterization of conceptual neighbourhoods in temporal and spatial reasoning. In F D Anger and R Loganantharah, editors, Proceedings AAAI-94 Workshop on Spatial and Temporal Reasoning, 1994.

    Google Scholar 

  62. M Lundell. A qualitative model of gradient flow in a spatially distributed parameter. In Proc 9th Int. Workshop on Qualitative Reasoning, Amsterdam, 1995.

    Google Scholar 

  63. D Mark, D Comas, M Egenhofer, S Freundschuh, J Gould, and J Nunes. Evaluating and refining computational models of spatial relations through cross-linguistic human-subjects testing. In W Kuhn A Frank, editor, Spatial Information Theory: a theoretical basis for GIS, number 988 in Lecture Notes in Computer Science, pages 553–568, Berlin, 1995. Springer Verlag.

    Google Scholar 

  64. M Mavrovouniotis and G Stephanopoulos. Formal order-of-magnitude reasoning in process engineering. Computers and Chemical Engineering, 12:867–881, 1988.

    Google Scholar 

  65. D Montello. Scale and multiple pyschologies of space. In I Campari A Frank, editor, Spatial Information Theory: a theoretical basis for GIS, number 716 in Lecture Notes in Computer Science, pages 312–321, Berlin, 1993. Springer Verlag.

    Google Scholar 

  66. P Mukerjee and G Joe. A qualitative model for space. In Proceedings AAAI-90, pages 721–727, Los Altos, 1990. Morgan Kaufmann.

    Google Scholar 

  67. B. Nebel. Computational properties of qualitative spatial reasoning: First results. In Procedings of the 19th German AI Conference, 1995.

    Google Scholar 

  68. O Raiman. Order of magnitude reasoning. In AAAI-86: Proceedings of the National Conference on AI, pages 100–104, 1996.

    Google Scholar 

  69. D A Randell and A G Cohn. Exploiting lattices in a theory of space and time. Computers and Mathematics with Applications, 23(6–9): 459–476, 1992. Also appears in “Semantic Networks”, ed. F. Lehmann, Pergamon Press, Oxford, pp. 459–476, 1992.

    Google Scholar 

  70. D A Randell, A G Cohn, and Z Cui. Computing transitivity tables: A challenge for automated theorem provers. In Proceedings CADE 11, Berlin, 1992. Springer Verlag.

    Google Scholar 

  71. D A Randell, A G Cohn, and Z Cui. Naive topology: Modelling the force pump. In P Struss and B Faltings, editors, Advances in Qualitative Physics, pages 177–192. MIT Press, 1992.

    Google Scholar 

  72. D A Randell, Z Cui, and A G Cohn. A spatial logic based on regions and connection. In Proc. 3rd Int. Conf. on Knowledge Representation and Reasoning, pages 165–176, San Mateo, 1992. Morgan Kaufmann.

    Google Scholar 

  73. D.A. Randell and A.G. Cohn. Modelling topological and metrical properties of physical processes. In R Brachman, H Levesque, and R Reiter, editors, Proceedings 1st International Conference on the Principles of Knowledge Representation and Reasoning, pages 55–66, Los Altos, 1989. Morgan Kaufmann.

    Google Scholar 

  74. A A G Requicha and H B Boelcke. Solid modelling: a historical summary aand contemporary assessment. IEEE Computer Graphics and Applications, 2:9–24, 1992.

    Google Scholar 

  75. R Röhrig. A theory for qualitative spatial reasoning based on order relations. In AAAI-94: Proceedings of the 12th National Conference on AI, volume 2, pages 1418–1423, Seattle, 1994.

    Google Scholar 

  76. C Schlieder. Representing visible locations for qualitative navigation. In N Piera Carreté and M G Singh, editors, Qualitative Reasoning and Decision Technologies, pages 523–532, Barcelona, 1993. CIMNE.

    Google Scholar 

  77. C Schlieder. Reasoning about ordering. In W Kuhn A Frank, editor, Spatial Information Theory: a theoretical basis for GIS, number 988 in Lecture Notes in Computer Science, pages 341–349, Berlin, 1995. Springer Verlag.

    Google Scholar 

  78. C Schlieder. Qualitative shape representation. In P Burrough and A M Frank, editors, Proceedings, GISDATA Specialist Meeting on Geographical Objects with Undetermined Boundaries. Francis Taylor, 1996.

    Google Scholar 

  79. M Shanahan. Default reasoning about spatial occupancy. Artificial Intelligence, 1995.

    Google Scholar 

  80. J Sklansky. Measuring concavity on a rectangular mosaic. IEEE Trans. on Computers, C-21(12):1355–1364, 1972.

    Google Scholar 

  81. A. Tarski. Foundations of the geometry of solids. In Logic, Semantics, Metamathematics, chapter 2. Oxford Clarendon Press, 1956. trans. J.H. Woodger.

    Google Scholar 

  82. A Tate, J Hendler, and M Drummond. A review of AI planning techniques. In J Allen, J Hendler, and A Tate, editors, Readings in Planning. Morgan Kaufman, San Mateo, CA, 1990.

    Google Scholar 

  83. T Topaloglou. First order theories of approximate space. In F Anger et al., editor, Working notes of AAAI workshop on spatial and temporal reasoning, pages 283–296, Seattle, 1994.

    Google Scholar 

  84. A C Varzi. Spatial reasonng in a holey world. In Proceedings of the Spatial and Temporal Reasoning workshop, IJCAI-93, pages 47–59, 1993.

    Google Scholar 

  85. L Vieu. Sémantique des relations spatiales et inférences spatio-temporelles. PhD thesis, Université Paul Sabatier, Toulouse, 1991.

    Google Scholar 

  86. D S Weld and J De Kleer, editors. Readings in Qualitative Reasoning About Physical Systems. Morgan Kaufman, San Mateo, Ca, 1990.

    Google Scholar 

  87. A N Whitehead. Process and reality: corrected edition. The Free Press, Macmillan Pub. Co., New York, 1978. edited by D.R. Griffin and D.W. Sherburne.

    Google Scholar 

  88. J.H. Woodger. The Axiomatic Method in Biology. Cambridge University Press, 1937.

    Google Scholar 

  89. K Zimmermann. Enhancing qualitative spatial reasoning — combining orientation and distance. In I Campari A Frank, editor, Spatial Information Theory: a theoretical basis for GIS, number 716 in Lecture Notes in Computer Science, pages 69–76, Berlin, 1993. Springer Verlag.

    Google Scholar 

  90. K Zimmermann. Measuring without distances: the delta calculus. In W Kuhn A Frank, editor, Spatial Information Theory: a theoretical basis for GIS, number 988 in Lecture Notes in Computer Science, pages 59–68, Berlin, 1995. Springer Verlag.

    Google Scholar 

  91. K Zimmermann and C Freksa. Enhancing spatial reasoning by the concept of motion. In A Sloman, editor, Prospects for Artificial Intelligence, pages 140–147. IOS Press, 1993.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Division of Artificial Intelligence, School of Computer Studies, University of Leeds, LS2 JT, Leeds, UK

    A. G. Cohn

Authors
  1. A. G. Cohn
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jacques Calmet John A. Campbell Jochen Pfalzgraf

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Cohn, A.G. (1996). Calculi for qualitative spatial reasoning. In: Calmet, J., Campbell, J.A., Pfalzgraf, J. (eds) Artificial Intelligence and Symbolic Mathematical Computation. AISMC 1996. Lecture Notes in Computer Science, vol 1138. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61732-9_54

Download citation

  • DOI: https://doi.org/10.1007/3-540-61732-9_54

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-61732-7

  • Online ISBN: 978-3-540-70740-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation