Universität Bremen  
  FB 3  
  AG BKB > Publikationen > Suche > Deutsch

Suche nach Veröffentlichungen - Detailansicht

Art der Veröffentlichung: Artikel
Autor: Reinhard Moratz, Dominik Lücke, Till Mossakowski
Titel: A Condensed Semantics for Qualitative Spatial Reasoning About Oriented Straight Line Segments
Band: 175
Seite(n): 2099 – 2127
Zeitschrift: Artificial Intelligence Journal
Erscheinungsjahr: 2011
Abstract / Kurzbeschreibung: More than 15 years ago, a set of qualitative spatial relations between oriented straight line segments (dipoles) was suggested by Schlieder. However, it turned out to be difficult to establish a sound constraint calculus based on these relations. In this paper, we present the results of a new investigation into dipole constraint calculi which uses algebraic methods to derive sound results on the composition of relations of dipole calculi. This new method, which we call condensed semantics, is based on an abstract symbolic model of a specific fragment of our domain. It is based on the fact that qualitative dipole relations are invariant under orientation preserving affine transformations.

The dipole calculi allow for a straightforward representation of prototypical reasoning tasks for spatial agents. As an example, we show how to generate survey knowledge from local observations in a street network. The example illustrates the fast constraint-based reasoning capabilities of dipole calculi. We integrate our results into two reasoning tools which are publicly available.
Internet: http://dx.doi.org/10.1016/j.artint.2011.07.004
PDF Version: http://www.informatik.uni-bremen.de/~till/papers/oslsa.pdf
Schlagworte: Qualitative Spatial Reasoning Relation Algebra Affine Geometry
Status: Reviewed
Letzte Aktualisierung: 01. 02. 2012

 Zurück zum Suchergebnis
Autor: Automatisch generierte Seite
Zuletzt geändert am: 23. Februar 2006   impressum