Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Cohn, A., Hazarika, S.: Qualitative spatial representation and reasoning: an overview. Fundam. Inf. 46(1-2), 1–29 (2001) ISSN 0169-2968
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)
Dylla, F., Moratz, R.: Exploiting qualitative spatial neighborhoods in the situation calculus. Spatial Cognition, 304–322 (2004)
Freksa, C.: Conceptual neighborhood and its role in temporal and spatial reasoning. In: Decision Support Systems and Qualitative Reasoning, Amsterdam, pp. 181–187 (1991)
Freksa, C.: Using orientation information for qualitative spatial reasoning. In: Proceedings of the International Conference on GIS, London, pp. 162–178. Springer, Heidelberg (1992)
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)
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)
Lakemeyer, G., Grosskreutz, H.: On-line execution of cc-golog plans. In: IJCAI, pp. 12–18 (2001)
Lin, F.: Embracing causality in specifying the indirect effects of actions. In: IJCAI, pp. 1985–1993 (1995)
Lin, F., Reiter, R.: State constraints revisited. Journal of Logic and Computation 4, 655–678 (1994)
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)
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)
Reiter, R.: The frame problem in situation the calculus: a simple solution (sometimes) and a completeness result for goal regression, pp. 359–380 (1991)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bhatt, M., Rahayu, W., Sterling, G. (2006). A Causal Perspective to Qualitative Spatial Reasoning in the Situation Calculus. In: Sichman, J.S., Coelho, H., Rezende, S.O. (eds) Advances in Artificial Intelligence - IBERAMIA-SBIA 2006. IBERAMIA SBIA 2006 2006. Lecture Notes in Computer Science(), vol 4140. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11874850_47
Download citation
DOI: https://doi.org/10.1007/11874850_47
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-45462-5
Online ISBN: 978-3-540-45464-9
eBook Packages: Computer ScienceComputer Science (R0)