Qualitative Spatial Reasoning with Topological Information

2002
ISBN: 978-3-540-43346-0
Verlag: Springer Berlin Heidelberg

Buch, Englisch, Band 2293, 212 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 353 g

Reihe: Lecture Notes in Computer Science

Spatial knowledge representation and reasoning with spatial knowledge are relevant issues for many application areas such as robotics, geographical information systems, and computer vision. Exceeding purely quantitative approaches, more recently initiated qualitative approaches allow for dealing with spatial information on a more abstract level that is closer to the way humans think and speak.
Starting out with the qualitative, topological constraint calculus RCC8 proposed by Randell, Cui, and Cohn, this work presents answers to a variety of open questions regarding RCC8. The open issues concerning computational properties are solved by exploiting a broad variety of results and methods from logic and theoretical computer science. Questions concerning practical performance are addressed by large-scale empirical computational experiments. The most impressive result is probably the complete classification of computational properties for all fragments of RCC8.

Zielgruppe

Research

Autoren/Hrsg.

Renz, Jochen

Fachgebiete

• Mathematik | Informatik EDV | Informatik Informatik Künstliche Intelligenz Wissensbasierte Systeme, Expertensysteme
• Mathematik | Informatik EDV | Informatik Daten / Datenbanken Zeichen- und Zahlendarstellungen
• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Grafikprogrammierung

Inhaltsverzeichnis

Background.- Qualitative Spatial Representation and Reasoning.- The Region Connection Calculus.- Cognitive Properties of Topological Spatial Relations.- Computational Properties of RCC-8.- A Complete Analysis of Tractability in RCC-8.- Empirical Evaluation of Reasoning with RCC-8.- Representational Properties of RCC-8.- Conclusions.- A. Enumeration of the Relations of the Maximal Tractable Subsets of RCC-8.