A Causal Perspective to Qualitative Spatial Reasoning in the Situation Calculus

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


We propose the utilisation of a general formalism to reason about action & change for reasoning about the dynamic purpose-directed aspects of spatial change. Such an approach is necessary toward the general integration of qualitative spatial reasoning with reasoning about the teleological aspects of spatial change. With this as the overall context, the main contribution of this paper is to illustrate first ideas relevant to providing a causal perspective to qualitative spatial reasoning using the situation calculus. With minimal notions about space & spatial dynamics, we perform a naive characterisation of objects based on their physical properties and investigate the key representational aspects of a topological theory of space, namely the region connection calculus, in the situation calculus. Further, ontological distinctions are made between various occurrents, i.e., actions and internal & external events, and a domain level characterisation of spatial occurrents in terms of their spatial pre-conditions & effects is performed so as to provide a causal perspective to spatial reasoning.


Situation Calculus Qualitative Simulation Spatial Occurrent Region Connection Calculus Qualitative Spatial Reasoning 
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.
    Cohn, A., Hazarika, S.: Qualitative spatial representation and reasoning: an overview. Fundam. Inf. 46(1-2), 1–29 (2001) ISSN 0169-2968MATHMathSciNetGoogle Scholar
  2. 2.
    Cui, Z., Cohn, A.G., Randell, D.A.: Qualitative simulation based on a logic of space and time. In: QR 1992, Heriot-Watt University, Scotland (1992)Google Scholar
  3. 3.
    Dylla, F., Moratz, R.: Exploiting qualitative spatial neighborhoods in the situation calculus. Spatial Cognition, 304–322 (2004)Google Scholar
  4. 4.
    Freksa, C.: Conceptual neighborhood and its role in temporal and spatial reasoning. In: Decision Support Systems and Qualitative Reasoning, Amsterdam, pp. 181–187 (1991)Google Scholar
  5. 5.
    Freksa, C.: Using orientation information for qualitative spatial reasoning. In: Proceedings of the International Conference on GIS, London, pp. 162–178. Springer, Heidelberg (1992)Google Scholar
  6. 6.
    Gooday, J., Cohn, A.: Transition-based qualitative simulation. In: Proceeding of the 10th International Workshop on Qualitative Reasoning, pp. 74–82. AAAI Press, Menlo Park (1996)Google Scholar
  7. 7.
    Hernandez, D., Clementini, E., Felice, P.D.: Qualitative distances. In: Kuhn, W., Frank, A.U. (eds.) COSIT 1995. LNCS, vol. 988, pp. 45–58. Springer, Heidelberg (1995)Google Scholar
  8. 8.
    Lakemeyer, G., Grosskreutz, H.: On-line execution of cc-golog plans. In: IJCAI, pp. 12–18 (2001)Google Scholar
  9. 9.
    Lin, F.: Embracing causality in specifying the indirect effects of actions. In: IJCAI, pp. 1985–1993 (1995)Google Scholar
  10. 10.
    Lin, F., Reiter, R.: State constraints revisited. Journal of Logic and Computation 4, 655–678 (1994)MATHCrossRefMathSciNetGoogle Scholar
  11. 11.
    McCarthy, J., Hayes, P.J.: Some philosophical problems from the standpoint of artificial intelligence. In: Meltzer, B., Michie, D. (eds.) Machine Intelligence, vol. 4, pp. 463–502. Edinburgh University Press, Edinburgh (1969)Google Scholar
  12. 12.
    Randell, D.A., Cui, Z., Cohn, A.: A spatial logic based on regions and connection. In: KR 1992. Principles of Knowledge Representation and Reasoning, pp. 165–176. Morgan Kaufmann, California (1992)Google Scholar
  13. 13.
    Reiter, R.: The frame problem in situation the calculus: a simple solution (sometimes) and a completeness result for goal regression, pp. 359–380 (1991)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Mehul Bhatt
    • 1
  • Wenny Rahayu
    • 1
  • Gerald Sterling
    • 2
  1. 1.Department of Computer ScienceLa Trobe UniversityMelbourneAustralia
  2. 2.Air-Operations DivisionDefence Science Technology OrganisationMelbourneAustralia

Personalised recommendations