Cardiff University | Prifysgol Caerdydd ORCA
Online Research @ Cardiff 
WelshClear Cookie - decide language by browser settings

Order in space: a general formalism for spatial reasoning

El-Geresy, Baher A. and Abdelmoty, Alia ORCID: https://orcid.org/0000-0003-2031-4413 1997. Order in space: a general formalism for spatial reasoning. International Journal on Artificial Intelligence Tools 06 (04) , pp. 423-445. 10.1142/S0218213097000232

[thumbnail of allijait.pdf]
Preview
PDF - Accepted Post-Print Version
Download (375kB) | Preview

Abstract

In this paper we propose a general approach for reasoning in space. The approach is composed of a set of two general constraints to govern the spatial relationships between objects in space, and two rules to propagate relationships between those objects. The approach is based on a novel representation of the topology of the space as a connected set of components using a structure called adjacency matrix which can capture the topology of objects of different complexity in any space dimension. The formalism is used to explain spatial compositions resulting in indefinite and definite relations and it is shown to be applicable to reasoning in the temporal domain. The main contribution of the formalism is that it provides means for constructing composition tables for objects with arbitrary complexity in any space dimension. A new composition table between spatial objects of different types is presented. A major advantage of the method is that reasoning between objects of any complexity can be achieved in a defined limited number of steps. Hence, the incorporation of spatial reasoning mechanisms in spatial information systems becomes possible.

Item Type: Article
Date Type: Publication
Status: Published
Schools: Computer Science & Informatics
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Uncontrolled Keywords: Spatial reasoning; knowledge representation; spatial relations; qualitative reasoning
Publisher: World Scientific
ISSN: 0218-2130
Date of First Compliant Deposit: 18 January 2017
Date of Acceptance: 5 May 1997
Last Modified: 06 Nov 2023 20:57
URI: https://orca.cardiff.ac.uk/id/eprint/97361

Citation Data

Actions (repository staff only)

Edit Item Edit Item

Downloads

Downloads per month over past year

View more statistics