Abstract
Most known methods for spatial reasoning translate a spatial problem into an analytical formulation in order to solve it quantitatively. This paper describes a method for formal, qualitative reasoning about distances and cardinal directions in geographic space. The problem addressed is how to deduce the distance and direction from point A to C, given the distance and direction from A to B and B to C. We use an algebraic approach, discussing the manipulation of distance and direction symbols (e.g. ‘N’, ‘E’, ‘S’ and ‘W’, or ‘Far’ and ‘Close’) and define two operations, composition and inverse, applied to them. After a review of other approaches, the desirable properties of deduction rules for distance and direction values are analyzed. This includes an algebraic specification of the ‘path’ image schema, from which most of the properties of distance and direction manipulation follow. Specific systems for composition of distance are explored. For directions, a formalization of the well-known triangular concept of directions (here called cone-shaped directions) and an alternative projection-based concept are explored. The algebraic approach leads to the completion of distance or direction symbols with an identity element, standing for the direction or distance from a point to itself. The so completed axiom system allows deductions, at least ‘Euclidean-approximate’, for any combination of input values.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.