Keywords and Phrases
Qualitative Spatial Reasoning; Region Connection Calculi (RCC); Temporal Reasoning
"Qualitative Spatial Reasoning (QSR) has varying applications in Geographic Information Systems (GIS), visual programming language semantics, and digital image analysis. Systems for spatial reasoning over a set of objects have evolved in both expressive power and complexity, but implementations or usages of these systems are not common. This is partially due to the computational complexity of the operations required by the reasoner to make informed decisions about its surroundings. These theoretical systems are designed to focus on certain criteria, including efficiency of computation, ease of human comprehension, and expressive power. Sadly, the implementation of these systems is frequently left as an exercise for the reader.
Herein, a new QSR system, VRCC-3D+, is proposed that strives to maximize expressive power while minimizing the complexity of reasoning and computational cost of using the system. This system is an evolution of RCC-3D; the system and implementation are constantly being refined to handle the complexities of the reasoning being performed. The refinements contribute to the accuracy, correctness, and speed of the implementation. To improve the accuracy and correctness of the implementation, a way to dynamically change error tolerance in the system to more accurately reflect what the user sees is designed. A method that improves the speed of determining spatial relationships between objects by using composition tables and decision trees is introduced, and improvements to the system itself are recommended; by streamlining the relation set and enforcing strict rules for the precision of the predicates that determine the relationships between objects. A potential use case and prototype implementation is introduced to further motivate the need for implementations of QSR systems, and show that their use is not precluded by computational complexity."--Abstract, page iv.
Ph. D. in Computer Science
Missouri University of Science and Technology
Journal article titles appearing in thesis/dissertation
- Efficient computation of object boundary intersection and error tolerance in VRCC-3D+
- Efficient determination of spatial relations using composition tables and decision trees
- Spatial temporal reasoning using image processing, physics, and qualitative spatial reasoning
- Dual graph partitioning for bottom-up BVH construction
- A more efficient representation of obscuration for VRCC-3D+ relations
xv, 117 pages
© 2015 Nathan Webster Eloe, All rights reserved.
Dissertation - Open Access
Library of Congress Subject Headings
Spatial analysis (Statistics)
Space and time -- Mathematical models
Logic, Symbolic and mathematical
Knowledge representation (Information theory)
Electronic OCLC #
Link to Catalog Recordhttp://laurel.lso.missouri.edu/record=b10848342~S5
Eloe, Nathan, "VRCC-3D+: Qualitative spatial and temporal reasoning in 3 dimensions" (2015). Doctoral Dissertations. 2380.