Dynamical Spatial Systems—A Potential Approach for the Application of Qualitative Spatial Calculi

Mehul Bhatt

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


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.