A dynamical systems approach for modeling changing spatial environments is formalized. The formalization adheres to the representational and computational semantics of situation calculus and includes a systematic account of all aspects necessary to implement a domain-independent qualitative spatial theory that is applicable across diverse application areas. Foundational to the formalization is a situation calculus based causal theory and a generalized view of qualitative spatial calculi that encompass one or more spatial domains. Furthermore, aspects considered inherent to dynamic spatial systems are also accounted for and the relevant computational tasks addressed by the proposed formalization are stated explicitly.
Subjects: 11. Knowledge Representation; 3.5 Qualitative Reasoning
Submitted: Feb 8, 2008