Calculi for qualitative spatial reasoning

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1138, Issue , 1996, Pages 124-143

  Cohn, A G ^a  

^a UNIVERSITY OF LEEDS   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

BIOMINERALIZATION;

QUALITATIVE REASONING; QUALITATIVE SPATIAL REASONING; TECHNICAL DETAILS;

ARTIFICIAL INTELLIGENCE;

EID: 84947921911     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61732-9_54     Document Type: Conference Paper

References (91)

1. J F Allen. An interval-based representation of temporal knowledge. In Proceedings 7th IJCAI, pages 221-226, 1981.
2. J F Allen. Maintaining knowledge about temporal intervals. Communications of the ACM, 26(11):832-843, 1983.
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.
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.
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.
6. B. Bennett. Some observations and puzzles about composing spatial and temporal relations. In R Rodriguez, editor, Proceedings ECAI-94 Workshop on Spatial and Temporal Reasoning, 1994.
7. B. Bennett. Spatial reasoning with prepositional 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.
8. B Bennett. Carving up space: steps towards construction of an absolutely complete theory of spatial regions. In Proc. JELIA96, 1996.
9. B Bennett. Modal logics for qualitative spatial reasoning. Bulletin of the Interest Group in Pure and Applied Logic (IGPL), 1996.
10. L. Biacino and G. Gerla. Connection structures. Notre Dame Journal of Formal Logic, 32(2), 1991.
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.
12. J M Brady. Criteria for representations of shape. Human and Machine Vision, 1993.
13. R Casati and A Varzi. Holes and Other Superficialities. MIT Press, Cambridge, MA, 1994.
14. B L Clarke. A calculus of individuals based on ‘connection’. Notre Dame Journal of Formal Logic, 23(3):204-218, July 1981.
15. B L Clarke. Individuals and points. Notre Dame Journal of Formal Logic, 26(1):61-75, 1985.
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.
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.
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.
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.
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.
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.
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.
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.
24. E Davis. Personal communication., June 1996.
25. T. de Laguna. Point, line and surface as sets of solids. The Journal of Philosophy, 19:449-461, 1922.
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.
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.
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.
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.
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.
31. B. Faltings. A symbolic approach to qualitative kinematics. Artificial Intelligence, 56(2), 1992.
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.
33. B. Faltings and P. Struss, editors. Recent Advances in Qualitative Physics. MIT Press, Cambridge, Ma, 1992.
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.
35. A Frank. Qualitative spatial reasoning with cardinal directions. Journal of Visual Languages and Computing, 3:343-371, 1992.
36. C Freksa. Temporal reasoning based on semi-intervals. Artificial Intelligence, 54:199-227, 1992.
37. H Fujihara and A Mukerjee. Qualitative reasoning about document design. Technical report, Texas A and M University, 1991.
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.
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.
40. G. Gerla. Pointless geometries. In F. Buekenhout, editor, Handbook of Incidence Geometry, chapter 18, pages 1015-1031. Eslevier Science B.V., 1995.
41. J Glasgow et al. Diagrammatic Reasoning. MIT Press, 1995.
42. J M Gooday and A G Cohn. Using spatial logic to describe visual languages. Artificial Intelligence Review, 10(1-2), 1995.
43. N Gotts. Personal communication, June 1996.
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.
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 J,th International Conference (KR94). Morgan Kaufmann, 1994.
46. N M Gotts. Formalising commonsense topology: The inch calculus. In Proc. Fourth International Symposium on Artificial Intelligence and Mathematics, 1996.
47. N M Gotts and A G Cohn. A mereological approach to spatial vagueness. In Proceedings, Qualitative Reasoning Workshop 1995 (QR-95), 1995.
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.
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.
50. P J Hayes. The naive physics manifesto. In D Mitchie, editor, Expert systems in the micro-electronic age. Edinburgh University Press, 1979.
51. D Hernandez. Qualitative Representation of Spatial Knowledge, volume 804 of Lecture Notes in Artificial Intelligence. Springer-Verlag, 1994.
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.
53. A Herskovits. Language and Spatial Cognition. An interdisciplinary study of prepositions in English. Cambridge University Press, 1986.
54. J Hobbs. Granularity. In Proceedings IJCAI-85, pages 432-435, 1985.
55. S Kaufman. A formal theory of spatial reasoning. In Proc Int. Conf. on Knowledge Representation and Reasoning, pages 347-356, 1991.
56. M Knauff, R Rauh, and C Schlieder. Preferred mental models in qualitative spatial reasoning: A cognitive assessment of alien’s calculus. In Proc. 17th Annual Conf. of the Cognitive Science Society, 1995.
57. B Kuipers. Qualitative Reasoning. MIT Press, Cambridge, MA., 1994.
58. B J Kuipers and T S Levitt. Navigating and mapping in large-scale space. AI Magazine, 9(2):25-43, 1988.
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.
60. M Leyton. A process grammar for shape. Artificial Intelligence, page 34, 1988.
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.
62. M Lundell. A qualitative model of gradient flow in a spatially distributed parameter. In Proc 9th Int. Workshop on Qualtiative Reasoning, Amsterdam, 1995.
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.
64. M Mavrovouniotis and G Stephanopoulos. Formal order-of-magnitude reasoning in process engineering. Computers and Chemical Engineering, 12:867-881, 1988.
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.
66. P Mukerjee and G Joe. A qualitative model for space. In Proceedings AAAI-90, pages 721-727, Los Altos, 1990. Morgan Kaufmann.
67. B. Nebel. Computational properties of qualitative spatial reasoning: First results. In Procedings of the 19th German AI Conference, 1995.
68. O Raiman. Order of magnitude reasoning. In AAAI-86: Proceedings of the National Conference on AI, pages 100-104, 1996.
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.
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.
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.
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.
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.
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.
75. R Rohrig. A theory for qualitative spatial reasoning based on order relations. In AAAI-94: Proceedings of the 12th National Conference on A I, volume 2, pages 1418-1423, Seattle, 1994.
76. C Schlieder. Representing visible locations for qualitative navigation. In N Piera Carrete and M G Singh, editors, Qualitative Reasoning and Decision Technologies, pages 523-532, Barcelona, 1993. CIMNE.
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.
78. C Schlieder. Qualitative shape representation. In P Burrough and A M Frank, editors, Proceedings, GIS DATA Specialist Meeting on Geographical Objects with Undetermined Boundaries. Francis Taylor, 1996.
79. M Shanahan. Default reasoning about spatial occupancy. Artificial Intelligence, 1995.
80. J Sklansky. Measuring concavity on a rectangular mosaic. IEEE Trans, on Computers, C-21(12):1355-1364, 1972.
81. A. Tarski. Foundations of the geometry of solids. In Logic, Semantics, Metamathematics, chapter 2. Oxford Clarendon Press, 1956. trans. J.H. Woodger.
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.
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.
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.
85. L Vieu. Semantique des relations spatiales et inferences spatio-temporelles. PhD thesis, Universite Paul Sabatier, Toulouse, 1991.
86. D S Weld and J De Kleer, editors. Readings in Qualitative Reasoning About Physical Systems. Morgan Kaufman, San Mateo, Ca, 1990.
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.
88. J.H. Woodger. The Axiomatic Method in Biology. Cambridge University Press, 1937.
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.
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.
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.