Deakin University
Browse

File(s) under permanent embargo

Modelling dynamic spatial systems in the situation calculus

journal contribution
posted on 2008-01-01, 00:00 authored by M Bhatt, Seng LokeSeng Loke
We propose and systematically formalise a dynamical spatial systems approach for the modelling of changing spatial environments. The formalisation adheres to the semantics of the situation calculus and includes a systematic account of key aspects that are necessary to realize a domain-independent qualitative spatial theory that may be utilised across diverse application domains. The spatial theory is primarily derivable from the all-pervasive generic notion of "qualitative spatial calculi" that are representative of differing aspects of space. In addition, the theory also includes aspects, both ontological and phenomenal in nature, that are considered inherent in dynamic spatial systems. Foundational to the formalisation is a causal theory that adheres to the representational and computational semantics of the situation calculus. This foundational theory provides the necessary (general) mechanism required to represent and reason about changing spatial environments and also includes an account of the key fundamental epistemological issues concerning the frame and the ramification problems that arise whilst modelling change within such domains. The main advantage of the proposed approach is that based on the structure and semantics of the proposed framework, fundamental reasoning tasks such as projection and explanation directly follow. Within the specialised spatial reasoning domain, these translate to spatial planning/re-configuration, causal explanation and spatial simulation. Our approach is based on the hypothesis that alternate formalisations of existing qualitative spatial calculi using high-level tools such as the situation calculus are essential for their utilisation in diverse application domains such as intelligent systems, cognitive robotics and event-based GIS. © Taylor & Francis Group, LLC.

History

Journal

Spatial cognition and computation

Volume

8

Pagination

86-130

Location

Abingdon, Eng.

ISSN

1387-5868

eISSN

1542-7633

Language

eng

Publication classification

C1.1 Refereed article in a scholarly journal

Copyright notice

2008, Taylor & Francis Group, LLC.

Issue

1-2

Publisher

Taylor & Francis

Usage metrics

    Research Publications

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC