Dynamical Spatial Systems - A Potential Approach for the Application of Qualitative Spatial Calculi
Mehul Bhatt · 2008
A dynamical systems approach for modeling changing spa-tial environments is formalised. The formalisation adheres to the representational and computational semantics of situation calculus and includes a systematic account of all aspects nec-essary to implement a domain-independent qualitative spa-tial theory that is applicable across diverse application areas. Foundational to the formalisation is a situation calculus based causal theory and a generalised view of qualitative spatial cal-culi that encompass one or more spatial domains. Further-more, aspects considered inherent to dynamic spatial systems are also accounted for and the relevant computational tasks addressed by the proposed formalisation are stated explicitly.