Qualitative Reasoning About Cardinal Directions Using Answer Set Programming

In real world, the regions occupied by these entities may the location of an object, involve dealing with spatial properties have holes (e.g., Store A may have a small garden in the and relations of objects. For higher precision of solutions, middle) or may be disconnected (e.g., Store A may consist if data is available, quantitative approaches can be of two parts across a small street). Moreover, the given set of employed to find metric solutions for these tasks. On the constraints may be incomplete (i.e., qualitative spatial relations other hand, for some applications (e.g., exploration of an between some spatial objects are not known) or some unknown environment), quantitative data may not always be constraints may involve disjunctions (e.g., missing child is available due to incomplete knowledge about the environment; to the south of Store A or to the north of Store B). In such and, for some applications (e.g., that involve humanrobot cases, with uncertainty or incomplete knowledge, checking interactions) sociable and understandable interactions the consistency of a given set of constraints is NPcomplete and acceptable explanations are often more desirable than (Table 1).