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

  • Mehul Bhatt
  • Wenny Rahayu
  • Gerald Sterling
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3684)


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.


Topological Change Spatial Change Spatial Aspect Dynamic Constraint Topological Theory 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Vieu, L.: Spatial representation and reasoning in AI. In: Stock, O. (ed.) Spatial and Temporal Reasoning, Kluwer Academic Publishers, pp. 5–40. Kluwer Academic Publishers, Dordrecht (1997)CrossRefGoogle Scholar
  2. 2.
    Cohn, A.: Qualitative spatial representations. In: Working Notes of IJCAI 1999 Workshop on Adaptive Spatial Representations of Dynamic Environments, pp. 33–52 (1999)Google Scholar
  3. 3.
    Hernandez, D.: Qualitative Representation of Spatial Knowledge. Springer, New York (1994)zbMATHCrossRefGoogle Scholar
  4. 4.
    Kuipers, B.J.: Qualitative simulation. Artif. Intell. 29, 289–338 (1986)zbMATHCrossRefMathSciNetGoogle Scholar
  5. 5.
    Cui, Z., Cohn, A.G., Randell, D.A.: Qualitative simulation based on a logical formalism of space and time. In: Proceedings of AAAI 1992, pp. 679–684. AAAI Press, Menlo Park (1992)Google Scholar
  6. 6.
    Randell, D.A., Cohn, A.G., Cui, Z.: Naive topology: Modelling the force pump. In: Struss, P., Faltings, B. (eds.) Advances in Qualitative Physics, pp. 177–192. MIT Press, Cambridge (1992)Google Scholar
  7. 7.
    Kuipers, B.: Qualitative reasoning: modeling and simulation with incomplete knowledge. MIT Press, Cambridge (1994)Google Scholar
  8. 8.
    Freksa, C.: Conceptual neighborhood and its role in temporal and spatial reasoning. In: Singh, M., Travé-Massuyès, L. (eds.) Decision Support Systems and Qualitative Reasoning, pp. 181–187. North-Holland, Amsterdam (1991)Google Scholar
  9. 9.
    Randell, D.A., Cui, Z., Cohn, A.: A spatial logic based on regions and connection. In: Nebel, B., Rich, C., Swartout, W. (eds.) KR 1992. Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference, pp. 165–176. Morgan Kaufmann, San Mateo (1992)Google Scholar
  10. 10.
    Hernandez, D.: Reasoning with qualitative representations: Exploiting the structure of space. In: Carrete, N., Singh, M. (eds.) Qualitative Reasoning and Decision Technologies, pp. 493–502. CIMNE, Barcelona (1993)Google Scholar
  11. 11.
    Galton, A.: Towards an integrated logic of space, time and motion. In: IJCAI, pp. 1550–1557 (1993)Google Scholar
  12. 12.
    Weld, D.S., de Kleer, J.: Readings in Qualitative Reasoning about Physical Systems. Morgan Kaufmann Publishers, San Francisco (1989)Google Scholar
  13. 13.
    Santos, P., Shanahan, M.: From regions to transitions, from transitions to objects. In: Baral, C., McIlraith, S. (eds.) AAAI 2002 Cognitive Robotics Workshop, Working notes of the AAAI Workshop on Cognitive Robotics (2002)Google Scholar
  14. 14.
    Gerevini, A., Renz, J.: Combining topological and size information for spatial reasoning. Artif. Intell. 137, 1–42 (2002)zbMATHCrossRefMathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Mehul Bhatt
    • 1
  • Wenny Rahayu
    • 1
  • Gerald Sterling
    • 2
  1. 1.Department of Computer ScienceLa Trobe UniversityMelbourneAustralia
  2. 2.Air-Operations DivisionDSTOMelbourneAustralia

Personalised recommendations