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

Deriving extensional spatial composition tables

El-Geresy, Baher A., Abdelmoty, Alia and Ware, Andrew J. 2010. Deriving extensional spatial composition tables. Presented at: 29th SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, England, Published in: Bramer, M., Ellis, R. and Petridis, M. eds. Research and Development in Intelligent Systems XXVI: Incorporating Applications and Innovations in Intelligent Systems XVII. London: Springer, pp. 93-106. 10.1007/978-1-84882-983-1_7

Full text not available from this repository.

Abstract

Spatial composition tables are fundamental tools for the realisation of qualitative spatial reasoning techniques. Studying the properties of these tables in relation to the spatial calculi they are based on is essential for understanding the applicability of these calculi and how they can be extended and generalised. An extensional interpretation of a spatial composition table is an important property that has been studied in the literature and is used to determine the validity of the table for the models it is proposed for. It provides means for consistency checking of ground sets of relations and for addressing spatial constraint satisfaction problems. Furthermore, two general conditions that can be used to test for extensionality of spatial composition tables are proposed and applied to the RCC8 composition table to verify the allowable models in this calculus.

Item Type: Conference or Workshop Item (Paper)
Date Type: Publication
Status: Published
Schools: Computer Science & Informatics
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Additional Information: This volume comprises the refereed papers presented at AI-2009, the Twenty-ninth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, held in Cambridge in December 2009 in both the technical and the application streams. The conference was organised by SGAI, the British Computer Society Specialist Group on Artificial Intelligence.
Publisher: Springer
ISBN: 9781848829824
Last Modified: 04 Jun 2017 02:56
URI: http://orca-mwe.cf.ac.uk/id/eprint/14093

Actions (repository staff only)

Edit Item Edit Item