A Representation Theorem for Spatial Relations

Abstract

Spatial relations have been investigated in various inter-related areas such as qualitative spatial reasoning (for agents moving in an environment), geographic information science, general topology, and others. Most of the results are specific constructions of spatial relations that fulfill some required properties. Results on setting up axioms that capture the desired properties of the relations are rare. And results that characterize spatial relations in the sense that they give a complete set of axioms for the intended spatial relations still have to be presented. This paper aims at filling the gap by providing a representation theorem: It shows that there is a finite set of axioms that are fulfilled by a binary relation if and only if it can be constructed as a binary spatial relation based on a nested partition chain.
OriginalspracheEnglisch
TitelAI 2015: Advances in Artificial Intelligence
Redakteure/-innenBernhard Pfahringer, Jochen Renz
Seitenumfang13
Band9457
ErscheinungsortCham
Herausgeber (Verlag)Springer International Publishing
Erscheinungsdatum22.11.2015
Seiten444-456
ISBN (Print)978-3-319-26349-6
ISBN (elektronisch)978-3-319-26350-2
DOIs
PublikationsstatusVeröffentlicht - 22.11.2015
Veranstaltung28th Australasian Joint Conference on Artificial Intelligence - Canberra, Australien
Dauer: 30.11.201504.12.2015
Konferenznummer: 157849

Fingerprint

Untersuchen Sie die Forschungsthemen von „A Representation Theorem for Spatial Relations“. Zusammen bilden sie einen einzigartigen Fingerprint.

Zitieren