A Causal Perspective to Qualitative Spatial Reasoning in the Situation Calculus
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.
KeywordsSituation Calculus Qualitative Simulation Spatial Occurrent Region Connection Calculus Qualitative Spatial Reasoning
Unable to display preview. Download preview PDF.
- 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.Dylla, F., Moratz, R.: Exploiting qualitative spatial neighborhoods in the situation calculus. Spatial Cognition, 304–322 (2004)Google Scholar
- 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.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.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.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.Lakemeyer, G., Grosskreutz, H.: On-line execution of cc-golog plans. In: IJCAI, pp. 12–18 (2001)Google Scholar
- 9.Lin, F.: Embracing causality in specifying the indirect effects of actions. In: IJCAI, pp. 1985–1993 (1995)Google Scholar
- 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.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.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