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 | |
|
Attachments
|
|
|
Notes
|
|
|
|
|
|
Topics
|
|
