Qualitative Spatial Reasoning with Cardinal Directions
Generate an AI Snapshot to get a quick, structured summary of this paper.
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
An algebraic method is used to formalize the meaning of cardinal directions and two examples of systems to determine and reason with cardinal directions are discussed in some detail and results from a prototype are given.
Abstract
Following reviews of previous approaches to spatial reasoning, a completely qualitative method for reasoning about cardinal directions, without recourse to analytical procedures, is introduced and a method is presented for a formal comparison with quantitative formulae. We use an algebraic method to formalize the meaning of cardinal directions. The standard directional symbols (N, S, E, W) are extended with a symbol 0 to denote an undecided case, which greatly increases the power of inference. Two examples of systems to determine and reason with cardinal directions are discussed in some detail and results from a prototype are given. The deduction rules for the coordination of directional symbols are formalized as equations; for inclusion in an expert system they can be coded as a look-up table (given in the text). The conclusions offer some direction for future work.
