[BibTeX] [RIS]
Dynamical Spatial Systems---A Potential Approach for the Application of Qualitative Spatial Calculi
Type of publication: Inproceedings
Citation: flairs-Bhatt08
Booktitle: Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society Conference, May 15-17, 2008, Coconut Grove, Florida, USA
Year: 2008
Pages: 580-585
Publisher: AAAI Press; Menlo Park, CA
ISBN: 978-1-57735-365-2
Crossref: DBLP:conf/flairs/2008:
Abstract: 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.
Userfields: project={R3-QShape}, status={Reviewed},
Keywords: Dynamic Spatial Systems, Knowledge Representation, Qualitative Reasoning, Qualitative Spatial Reasoning
Authors Bhatt, Mehul