Abstract
In ambient intelligence systems, it is necessary to represent and reason about dynamic spatial scenes and configurations. Primarily, the ability to perform predictive and explanatory analyses on the basis of available sensory data is crucial toward serving a useful intelligent function within such environments. In this paper, we present a qualitative model for representing the relevant aspects of these environments in an adequate manner. The model is suited for reasoning about spatial configurations and dynamics in spatial environments. We clarify and elaborate on our ideas with examples grounded in a smart home environment.
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
Gottfried, B., Guesgen, H.W., Hübner, S.: Spatiotemporal reasoning for smart homes. In: Designing Smart Homes, pp. 16–34 (2006)
Galton, A.: Causal reasoning for alert generation in smart homes. In: Designing Smart Homes, pp. 57–70 (2006)
Cohn, A., Hazarika, S.: Qualitative spatial representation and reasoning: An overview. Fundam. Inf. 46(1-2), 1–29 (2001)
Randell, D.A., Cui, Z., Cohn, A.: A spatial logic based on regions and connection. In: KR 1992. Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference, pp. 165–176. Morgan Kaufmann, San Mateo (1992)
Moratz, R.: Representing relative direction as a binary relation of oriented points. In: Brewka, G., Coradeschi, S., Perini, A., Traverso, P. (eds.) ECAI, Riva del Garda, Italy, pp. 407–411. IOS Press, Amsterdam (2006)
Freksa, C.: Qualitative spatial reasoning. In: Mark, D., Frank, A. (eds.) Cognitive and linguistic aspects of geographic space, pp. 361–372. Kluwer, Dordrecht (1991)
Freksa, C., Röhrig, R.: Dimensions of qualitative spatial reasoning. In: Carreté, N.P., Singh, M.G. (eds.) Proceedings of the III IMACS International Workshop on Qualitative Reasoning and Decision Technologies – QUARDET 1993, CIMNE Barcelona, pp. 483–492 (1993)
Balbiani, P., Osmani, A.: A model for reasoning about topologic relations between cyclic intervals. In: Cohn, A.G., Giunchiglia, F., Selman, B. (eds.) KR 2000: Principles of Knowledge Representation and Reasoning, pp. 378–385. Morgan Kaufmann, San Francisco (2000)
Freksa, C.: Using orientation information for qualitative spatial reasoning. In: Frank, A.U., Campari, I., Formentini, U. (eds.) Theories and methods of spatio-temporal reasoning in geographic space, pp. 162–178. Springer, Berlin (1992)
Schlieder, C.: Reasoning about ordering. In: Kuhn, W., Frank, A.U. (eds.) COSIT 1995. LNCS, vol. 988, pp. 341–349. Springer, Heidelberg (1995)
Freksa, C.: Conceptual neighborhood and its role in temporal and spatial reasoning. In: Singh, M.G., Travé-Massuyès, L. (eds.) Proceedings of the IMACS Workshop on Decision Support Systems and Qualitative Reasoning, pp. 181–187. North-Holland, Amsterdam (1991)
Renz, J., Rauh, R., Knauff, M.: Towards cognitive adequacy of topological spatial relations. In: Spatial Cognition II, Integrating Abstract Theories, Empirical Studies, Formal Methods, and Practical Applications, pp. 184–197. Springer, Heidelberg (2000)
Knauff, M., Rauh, R., Renz, J.: A cognitive assessment of topological spatial relations: Results from an empirical investigation. In: Frank, A.U. (ed.) COSIT 1997. LNCS, vol. 1329, pp. 193–206. Springer, Heidelberg (1997)
Clarke, B.L.: A calculus of individuals based on ‘connection’. Notre Dame Journal of Formal Logic 22(3), 204–218 (1991)
Clarke, B.L.: Individuals and points. Notre Dame Journal of Formal Logic 26(1), 61–75 (1985)
Egenhofer, M.J., Franzosa, R.D.: Point Set Topological Relations. International Journal of Geographical Information Systems 5(2), 161–174 (1991)
Dylla, F., Wallgrün, J.O.: Qualitative spatial reasoning with conceptual neighborhoods for agent control. Journal of Intelligent and Robotic Systems 48(1), 55–78 (2007)
Lin, F.: Embracing causality in specifying the indirect effects of actions. In: IJCAI, pp. 1985–1993 (1995)
Bhatt, M., Loke, S.: Modelling dynamic spatial systems in the situation calculus. Journal of Spatial Cognition and Computation: Special Issue on Spatio-Temporal Reasoning (to appear, 2008)
Lin, F., Reiter, R.: State constraints revisited. Journal of Logic and Computation 4, 655–678 (1994)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dylla, F., Bhatt, M. (2008). Qualitative Spatial Scene Modeling for Ambient Intelligence Environments. In: Xiong, C., Huang, Y., Xiong, Y., Liu, H. (eds) Intelligent Robotics and Applications. ICIRA 2008. Lecture Notes in Computer Science(), vol 5314. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-88513-9_77
Download citation
DOI: https://doi.org/10.1007/978-3-540-88513-9_77
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-88512-2
Online ISBN: 978-3-540-88513-9
eBook Packages: Computer ScienceComputer Science (R0)