A General Framework Based on Dynamic Constraints for the Enrichment of a Topological Theory of Spatial Simulation

Bhatt, Mehul,Professor,1980-Department of Computer Science, La Trobe University, Melbourne, Australia,AASS (author)

Qualitative spatial representation and reasoning has emerged as a major sub-field of AI in the past decade. An important research problem within the field is that of integrated reasoning about various spatial aspects such as distance, size, topology etc - an important application here being the qualitative simulation of physical processes. Approaches based on topology alone fail to provide an explicit account of other important aspects of spatial change thereby also not utilizing dynamically available information pertaining to them. Our work in this paper is based on the idea that a general theory of spatial simulation based on topological changes alone can be enriched by the inclusion of sub-theories relevant to other aspects of spatial change. We propose a general framework consisting of dynamic constraints for the enrichment of a topological theory of spatial changes. We propose the utilisation of such dynamic constraints for the incorporation of dynamically available information relevant to various aspects of space thereby making that aspect explicit in the theory. As an example of the proposed approach, we integrate dynamically available information pertaining to motion and size with the topological theory of RCC-8 using our framework of dynamic constraints.

Rahayu, WennyDepartment of Computer Science, La Trobe University, Melbourne, Australia (author)
Sterling, GeraldAir-Operations Division, DSTO, Melbourne, Australia (author)
Department of Computer Science, La Trobe University, Melbourne, AustraliaAASS (creator_code:org_t)

In:Knowledge-Based Intelligent Information and Engineering SystemsBerlin, Heidelberg : Springer, s. 366-37397835402889789783540319979

About the subject

NATURAL SCIENCES: NATURAL SCIENCES; and Computer and Inf ...; and Computer Science ...

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.