A Logical Approach to Representing and Reasoning About Space

Download PDF
Open Webpage

Anthony G. Cohn, John Gooday, Brandon Bennett, Nicholas Mark Gotts

Published: 1995, Last Modified: 25 Jan 2025Artif. Intell. Rev. 1995EveryoneRevisionsBibTeXCC BY-SA 4.0
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.