Qualitative spatial reasoning about distances and directions in geographic space

摘要: Abstract Most known methods for spatial reasoning translate a problem into an analytical formulation in order to solve it quantitatively. This paper describes method formal, qualitative about distances and cardinal directions geographic space. The addressed is how deduce the distance direction from point A C, given B C. We use algebraic approach, discussing manipulation of symbols (e.g. ‘N’, ‘E’, ‘S’ ‘W’, or ‘Far’ ‘Close’) define two operations, composition inverse , applied them. After review other approaches, desirable properties deduction rules values are analyzed. includes specification ‘path’ image schema, which most follow. Specific systems explored. For directions, formalization well-known triangular concept (here called cone-shaped directions) alternative projection-based approach leads completion with identity element, standing itself. so completed axiom system allows deductions, at least ‘Euclidean-approximate’, any combination input values.