Approximate spatial reasoning

It is a truism that much of human reasoning is <italic>approximate</italic> in nature. <italic>Spatial reasoning</italic> is an area where humans consistently reason approximately with demonstrably good results. The unique mental processes behind these actions are not well understood. However, it is important that we try to incorporate such <italic>approximate reasoning</italic> techniques in our computer systems. Approximate spatial reasoning is very important for <italic>intelligent mobile agents</italic> (e.g., robots), specially for those operating in <italic>uncertain</italic> or <italic>unknown</italic> or <italic>dynamic</italic> domains. In such situations, besides the <italic>hazard</italic> in the domain, the <italic>real constraints</italic> (e.g., limited memory and limited time for observations and/or inferencing) faced by agents makes the use of <italic>approximate</italic> reasoning techniques imperative. In this paper we present a model for approximate spatial reasoning using <italic>fuzzy logic</italic> to represent the uncertainty in the environment. We develop algorithms to reason about spatial information expressed in the form of approximate linguistic descriptions, very similar to the kind of spatial information processed by humans. We only deal with <italic>static</italic> spatial reasoning in this paper.