Abstract
The need for a formal language in which to express and reason about spatial concepts is of crucial importance in many areas of AI and visual systems. For the last five years, spatial reasoning research by the Qualitative Spatial Reasoning Group, University of Leeds, has centred on the development and application of such a language — the RCC spatial logic. Below, we briefly describe the work of the group in this area.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Allen, J. F. (1983). Maintaining Knowledge About Temporal Intervals. Communications of the ACM 26(11): 832–843.
Bennett, B. (1994). Spatial Reasoning with Propositional Logics. In Doyle, J., Sandewall E. & Torasso, P. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of The 4th International Conference (KR94), Morgan Kaufamnn: San Francisco, CA.
Clarke, B. L. (1981). A Calculus of Individuals Based on Connection. Notre Dame Journal of Formal Logic 23(3): 204–218.
Clarke, B. L. (1985). Individuals and Points. Notre Dame Journal of Formal Logic 26(1): 61–75.
Cohn, A. G. & Gooday, J. M. (1994). Defining the Syntax and the Semantics of a Visual Programming Language in a Spatial Logic. In Anger, F. D. & Loganantharaj, R. (eds.) Proceedings of AAAI-94 Spatial and Temporal Reasoning Workshop.
Cohn, A. G. & Gotts, N. M. (1994). The ‘Egg-Yolk’ Representation of Regions with Indeterminate Boundaries. Proceedings, GISDATA Specialist Meeting on Geographical Objects with Undetermined Boundaries, Baden, Austria, 8–12 June 1994 (to appear).
Cohn, A. G., Gooday, J. M. & Bennett, B. (1994). A Comparison of Structures in Spatial and Temporal Logics. In Casati, R., Smith, B. & White, G. (eds.) Philosophy and the Cognitive Sciences: Proceedings of the 16th International Wittgenstein Symposium. HöTder-Pichler-Tempsky: Vienna (to appear).
Cohn, A. G., Randell, D. A. & Cui, Z. (1994). Taxonomies of Logically Defined Qualitative Spatial Relations. In Guarino, N. & Poli, R. (eds.) Formal Ontology in Conceptual Analysis and Knowledge Representation. Kluwer (to appear).
Cohn, A. G., Randell, D. A., Cui, Z. & Bennett, B. (1993). Qualitative Spatial Reasoning and Representation. In Carrete, N. P. & Singh, M. G. (eds.) Qualitative Reasoning and Decision Technologies, 513–522. CIMNE: Barcelona.
Cui, Z., Cohn, A. G. & Randell, D.A. (1992a). Qualitative Simulation Based on a Logic of Space and Time. QR-92, Heriot-Watt University: Scotland.
Cui, Z., Cohn, A. G. & Randell, D. A. (1992b). Qualitative Simulation Based on a Logical Formalism of Space and Time. Proceedings AAAI-92, 679–687 AAAI Press: Menlo Park, California.
Gooday, J. M. & Cohn, A. G. (1994). Conceptual Neighbourhoods in Spatial and Temporal Reasoning. In Rodriguez, R. (ed.) Proceedings ECAI-94 Workshop on Spatial and Temporal Reasoning.
Gotts, N. M. (1994). How Far Can We ‘C’? Defining a ‘Doughnut’ Using Connection Alone. In Doyle, J., Sandewall, E. & Torasso, P. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of The 4th International Conference (KR94). Morgan Kaufmann: San Francisco, CA.
Randell, D. A. & Cohn, A. G. (1989), Modelling Topological and Metrical Properties of Physical Processes, In Brachman, R., Levesque, H. & Reiter, R. (eds.) Proceedings of The International Conference on the Principles of Knowledge Representation and Reasoning, Morgan Kaufamnn: Los Altos.
Randell, D. A. & Cohn, A. G. (1992). Exploiting Lattices in a Theory of Space and Time. Computers and Mathematics with Applications 23(6–9): 459–476.
Randell, D. A. & Cohn, A. G. (1992). Exploiting Lattices in a Theory of Space and Time. Also appears in Semantic Networks, F. Lehmann (ed.), Pergamon Press: Oxford, pp. 459–476, 1992.
Randell, D. A., Cohn, A. G. & Cui, Z. (1992a). Computing Transitivity Tables: A Challenge for Automated Theorem Provers. Proceedings CADE 11, Springer Verlag: Berlin.
Randell, D. A., Cohn, A. G. & Cui, Z. (1992b). An Interval Logic for Space Based on “Connection”. Proceedings ECAI-92, 394–398. John Wiley: Chichester.
Randell, D. A., Cohn, A. G. & Cui, Z. (1992c). Naive Topology: Modelling the Force Pump. In Struss, P. & Faltings, B. (eds.) Advances in Qualitative Physics, 177–192. MIT Press.
Randell, D. A., Cui, Z. & Cohn, A. G. (1992). A Spatial Logic Based on Regions and Connection. Proceedings of The 3rd International Conference on Knowledge Representation and Reasoning, 165–176. Morgan Kaufamnn: San Mateo.
Vieu, L. (1991). Sémantique des relations spatiales et inférences spatio-temporelles. PhD thesis, Université Paul Sabatier, Toulouse.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 Kluwer Academic Publishers
About this chapter
Cite this chapter
Cohn, A.G., Gooday, J.M., Bennett, B., Gotts, N.M. (1995). A Logical Approach to Representing and Reasoning About Space. In: Mc Kevitt, P. (eds) Integration of Natural Language and Vision Processing. Springer, Dordrecht. https://doi.org/10.1007/978-94-009-1639-5_2
Download citation
DOI: https://doi.org/10.1007/978-94-009-1639-5_2
Publisher Name: Springer, Dordrecht
Print ISBN: 978-0-7923-3944-1
Online ISBN: 978-94-009-1639-5
eBook Packages: Springer Book Archive