Dynamical Spatial Systems - A Potential Approach for the Application of Qualitative Spatial Calculi
نویسنده
چکیده
A dynamical systems approach for modeling changing spatial environments is formalised. The formalisation 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 formalisation is a situation calculus based causal theory and a generalised 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 formalisation are stated explicitly.
منابع مشابه
Modelling Dynamic Spatial Systems in the Situation Calculus
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 the...
متن کاملتحلیل فضایی در مطالعات جغرافیایی
Spatial analysis as the main approach of geography was reviewed and searched through its historical development. The results of this exploratory research showed that this approach was born after the Second World War due to the overall interest of geographers to develop universal theories and laws. The advocators of this field believed that the old regional geography was not able to develop ...
متن کاملA Causal Approach for Modelling Spatial Dynamics∗ A Preliminary Report
We propose a causal approach, involving events identified by their causes and effects, for the modelling of spatial dynamics. The suitability of situation calculus as a high-level formalism for representing and reasoning about spatial dynamics is explored and the causal framework is formalised using the same. A systematic illustration of the manner in which various aspects of axiomatic qualitat...
متن کاملSpatial Analysis of Regional Resilience in Geographic Information Systems with a Planning Approach Eastern Region of Urmia Lake
The resiliency approach has the potential to pay attention to the sustainability paradigm in the area of planning in different dimensions and sectors as a new shadow approach to local policies with a global approach to regional development. However, the concept of resilience has emerged over the past years as an emerging approach to environmental planning and management literature. In this...
متن کاملA new reduced mathematical model to simulate the action potential in end plate of skeletal muscle fibers
Usually mathematicians use Hodgkin-Huxley model or FitzHug-Nagumo model to simulate action potentials of skeletal muscle fibers. These models are electrically excitable, but skeletal muscle fibers are stimulated chemically. To investigate skeletal muscle fibers we use a model with six ordinary differential equations. This dynamical system is sensitive to initial value of some variables so it is...
متن کامل