Reasoning about Space, Actions, and Change

Abstract

Qualitative spatial conceptualizations provide a relational abstraction and interface to the metrical realities of the physical world. Humans, robots, and systems that act and interact, are embedded in space. The space itself undergoes change all the time, typically as a result of volitional actions performed by an agent, and events, both deterministic and otherwise, which occur in the environment. Both categories of occurrences are a critical link to the external world, in a predictive as well as an explanatory sense: anticipations of spatial reality conform to commonsense knowledge of the effects of actions and events on material entities. Similarly, explanations of the perceived reality too are established on the basis of such apriori established commonsense notions. The author reasons about space, actions, and change in an integrated manner, either without being able to clearly demarcate the boundaries of each type of reasoning, or because such boundaries do not exist per se. This chapter is an attempt to position such integrated reasoning as a useful paradigm for the utilization of qualitative spatial representation and reasoning techniques in relevant application domains. From a logical perspective, the author notes that formalisms already exist and that effort need only be directed at specific integration tasks at a commonsense conceptual, formal representational, and computational level.