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 to check access.
Buy single article
Instant access to the full article PDF.
Price includes VAT for USA
Subscribe to journal
Immediate online access to all issues from 2019. Subscription will auto renew annually.
This is the net price. Taxes to be calculated in checkout.
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 ofThe 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 ofAAAI-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ölder-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 Carreté, 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. ProceedingsAAAI-92, 679–687 AAAI Press: Menlo Park, California.
Gooday, J. M. & Cohn, A. G. (1994). Conceptual Neighbourhoods in Spatial and Temporal Reasoning. In Rodríguez, R. (ed.) ProceedingsECAI-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 ofThe 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 ofThe 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. Also appears inSemantic 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. ProceedingsCADE 11, Springer Verlag: Berlin.
Randell, D. A., Cohn, A. G. & Cui, Z. (1992b). An Interval Logic for Space Based on “Connection”. ProceedingsECAI-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 ofThe 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.
About this article
Cite this article
Cohn, A.G., Gooday, J.M., Bennett, B. et al. A logical approach to representing and reasoning about space. Artif Intell Rev 9, 255–259 (1995). https://doi.org/10.1007/BF00849038
- spatial reasoning
- qualitative reasoning