Commonsense Inference in Dynamic Spatial Systems: Epistemological Requirements
Mehul Bhatt · 2010
We demonstrate the role of commonsense inference to-ward the modeling of qualitative notions of space and spatial change within a dynamic setup. The inference patterns are connected to those that are required to han-dle the frame problem whilst modeling inertia, and the causal minimisation of Lin [1995] that is required to ac-count for the ramifications of occurrences. Such patterns are both useful and necessary in order to operationalize a domain-independent qualitative spatial theory that is re-usable in arbitrary dynamic spatial systems, e.g., for spatial planning and causal explanation tasks. The illus-tration, grounded in the context of embedding arbitrary ‘qualitative spatial calculi ’ within the situation calculus, utilizes topological and orientation calculi as examples. 1