Multi-Paradigm Spatial Information Processing

For computer software, the semantics of spatial information is not a trivial issue. Due to the differences between human spatial cognition, reasoning, and communication, and its computerised counterpart, a number of difficulties persist in bringing the two paradigms together. While the qualitative way in which humans reason about space enables them to solve all kinds of spatial problems in their environment, the mostly quantitative mechanisms of computerised systems often fail to achieve the same results in a similarly elegant manner. Computers have difficulties to “understand” spatial notions and expressions such as “near the University”, “along the river”, “in the southern part of the city”, “behind the post office”, or “on the shelf next to the sugar”. For some tasks, however, quantitative methods implemented in software applications offer solutions far superior to qualitative spatial reasoning conducted by humans. This applies, for example, to route planning and navigation. When reviewing existing work, it becomes apparent that available spatial models and processing/reasoning techniques are mostly limited to certain application domains. A number of systems based on quantitative paradigms offer sophisticated and effective solutions, for example for route planning and navigation. Other work has focussed on qualitative aspects and addresses other problems with similar success. In both cases, there exist several very efficient and well-investigated methods to deal with certain tasks. What is still missing is a unifying component. There is very scarce evidence of work concentrating on making different paradigms available in a single system architecture. TheMulti-Paradigm Location Language (MPLL) presented in this work aims at bridging the gap between quantitative and qualitative spatial models, representations, and processing techniques, in the sense of providing a means for humans to individually specify the way they understand space, and a means for machines to apply quantitative and qualitative methods to these specifications. It provides a framework which facilitates implementing access to different services, which are specifically suited to perform special tasks, such as qualitative reasoning on spatial relations between different entities, or strictly geometrical computations. Spatial notions, however, are often highly subjective. MPLL, therefore, offers flexible means to adapt the specifications to individual needs and preferences, as well as the context of use. This thesis illustrates the approach to reach the objective of providing a flexible specification language embedded into an extensible system architecture for the purpose of providing the means to specify and process spatial information in geospatial scenarios. These scenarios primarily pertain to tasks which concern, and are conducted by, human beings, such as route planning in indoor and outdoor scenarios, and spatial relations between, and interaction with, real world objects. Zusammenfassung Die Semantik raumlicher Information mit Computerprogrammen zu verarbeiten, ist kein triviales Vorhaben. Aufgrund der Unterschiede zwischen der Art und Weise wie Menschen raumliche Problemstellungen kognitiv modellieren, diese kommunizieren und losen, und derjenigen, wie Maschinen dies bewerkstelligen, bestehen einige grundlegende Probleme, beide Paradigmen zu vereinen. Computersysteme konnen die qualitativen Techniken, die es Menschen erlauben, eine Vielzahl verschiedener Probleme in ihrer raumlichen Umwelt zu losen, mittels quantitativer Mechanismen oft nur unzureichend nachbilden. Maschinen haben Schwierigkeiten, raumliche Begriffe und Ausdrucke zu “verstehen”, wie zum Beispiel “Nahe der Universitat”, “entlang dem Flus”, “im Suden der Stadt”, “hinter der Post”, oder “im Regal neben dem Zucker”. Quantitative Methoden sind jedoch, in Form entsprechender Softwareapplikationen, in der Lage, einige spezielle Problemstellungen weit besser zu losen als der Mensch mit seinem raumlichen Denken dazu in der Lage ware. Vorhandene Arbeiten auf diesem Gebiet legen nahe, dass verfugbare Modelle und Techniken weitgehend auf bestimmte Anwendungsgebiete zugeschnitten sind. Zahlreiche Systeme basierend auf quantitativen Paradigmen offerieren ausgefeilte und effektive Losungen. Andere Arbeiten betrachten qualitative Aspekte und widmen sich anderen Problemstellungen mit ahnlichem Erfolg. In beiden Fallen existieren gleichermasen ausgereifte und effiziente Methoden zur Losung bestimmter Aufgaben. Was bisher fehlt ist eine ubergreifende Komponente. Es gibt nur sparliche Information uber Arbeiten, die paradigmenubergreifende Losungen in einer einzigen Systemarchitektur vereinen. Die Multi-Paradigm Location Language (MPLL) zielt darauf ab, die Lucke zwischen beiden Modellen, Reprasentationen und Verarbeitungstechniken zu schliesen. Sie soll es einerseits Menschen ermoglichen, ihr individuelles raumliches Verstandnis spezifizieren zu konnen, andererseits diese Spezifikationen fur quantitative und qualitative maschinelle Verarbeitung zuganglich machen. Im vorgestellten Systemgerust konnen Zugange zu unterschiedlichen Modulen und Diensten implementiert werden, die jeweils einzelne Aspekte raumlicher Problemstellungen losen konnen. Dazu gehoren z.B. qualitatives raumliches Schliesen, als auch strikt geometrische Berechnungen. Da raumliche Begriffe und Ausdrucke einen stark subjektiven Charakter haben, stellt MPLL die notwendigen Werkzeuge bereit, um die Spezifikationen an den individuellen Fall, Kontext und weitere Vorgaben anzupassen. Die vorliegende Arbeit illustriert den Ansatz, diese Ziele zu erreichen. Sie bestehen darin, eine Spezifikationssprache fur geographische Szenarien zu schaffen, die die angegebenen Eigenschaften erfullt und in ein erweiterbares System eingebettet ist. Hierbei liegt die Betonung auf geographischen Szenarien. Die typischen Probleme betreffen Menschen, und werden von ihnen in entsprechendem Umfeld bearbeitet. Darunter fallen z.B. Routenplanung innerhalb und ausserhalb von Gebauden, raumliche Relationen, sowie die Interaktion mit realen Objekten.