Abstract
A major issue in Pervasive Computing in order to design and implement context–aware applications is to correlate information provided by distributed devices to furnish a more comprehensive view of the context they habit. Such a correlation activity requires considering a spatial model of this environment, even if the kind of information processed is not only of spatial nature. This paper focuses on the notions of place and conceptual spatial relation to present a commonsense formal model of space supporting reasoning about meaningful correlation. The model consists of a relational structure that can be viewed as the semantic specification for a hybrid logic language, whose formulas represent contextual information and whose satisfiability procedures enhance reasoning, allowing the local perspective typical of many approach to context–awareness.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Zambonelli, F., Parunak, H.: Signs of a revolution in computer science and software engineering. In: Petta, P., Tolksdorf, R., Zambonelli, F. (eds.) ESAW 2002. LNCS (LNAI), vol. 2577, pp. 13–28. Springer, Heidelberg (2003)
Bandini, S., Mosca, A., Palmonari, M., Sartori, F.: A conceptual framework for monitoring and control system development. In: Baresi, L., Dustdar, S., Gall, H.C., Matera, M. (eds.) UMICS 2004. LNCS, vol. 3272, pp. 111–124. Springer, Heidelberg (2004)
Joshi, A., Finin, T., Yesha, Y.: Me-services: A framework for secure & personalized discovery, composition and management of services in pervasive environments. In: Bussler, C.J., McIlraith, S.A., Orlowska, M.E., Pernici, B., Yang, J. (eds.) CAiSE 2002 and WES 2002. LNCS, vol. 2512, pp. 248–259. Springer, Heidelberg (2002)
Davis, E.: Representations of commonsense knowledge. Morgan Kaufmann Publishers, San Francisco (1990)
Randell, D.A., Cui, Z., Cohn, A.G.: A spatial logic based on regions and connection. In: Proc. 3rd Int. Conf. on Knowledge Representation and Reasoning, San Mateo, CA, pp. 165–176. Morgan Kaufmann, San Francisco (1992)
Aiello, M., Benthem, J.V.: A modal walk trough space. Journal of Applied Non-Classical Logics 12, 319–363 (2002)
Kuipers, B.: Modelling spatial knowledge. Cognitive Science 2, 129–154 (1978)
Leisler, D., Zilbershatz, A.: The traveller: A computational model of spatial network learning. Environment and Behaviour 21, 435–463 (1989)
Gopal, S., Klatzky, R., Smith, T.: Navigator: A psychologically based model of environmental learning through navigation. Journal of Environmental Psychology 9, 309–331 (1989)
Bandini, S., Bogni, D., Manzoni, S., Mosca, A.: A ST-modal logic approach to alarm correlation in monitoring and control of italian highways traffic. In: Ali, M., Esposito, F. (eds.) IEA/AIE 2005. LNCS (LNAI), vol. 3533, pp. 819–828. Springer, Heidelberg (2005)
Harary, F.: Graph Theory. Addison-Wesley, Reading (1972)
Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2000)
Blackburn, P.: Representation, reasoning and realtional structures: a hybrid logic manifesto. Logic Journal of the IGPL 8, 339–365 (2000)
Bandini, S., Bogni, D., Manzoni, S.: Alarm correlation in traffic monitoring and control systems: a knowledge-based approach. In: van Harmelen, F. (ed.) Proceedings of the 15th European Conference on Artificial Intelligence, Lyon (F), Amsterdam, July 21-26, pp. 638–642. IOS Press, Amsterdam (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bandini, S., Mosca, A., Palmonari, M. (2005). Commonsense Spatial Reasoning for Context–Aware Pervasive Systems. In: Strang, T., Linnhoff-Popien, C. (eds) Location- and Context-Awareness. LoCA 2005. Lecture Notes in Computer Science, vol 3479. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11426646_17
Download citation
DOI: https://doi.org/10.1007/11426646_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25896-4
Online ISBN: 978-3-540-32042-5
eBook Packages: Computer ScienceComputer Science (R0)